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-07-02 | SAT (TO) | 38399 | 2400.11 | 2370.74 |
| 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 | 35807 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| 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.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 1409180837 0.67/0.56 c timeout: 2400 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 15.93/9.16 c Parsing done, starting search... 23.29/11.63 o 39695 24.23/12.44 o 39639 24.23/12.45 o 39633 24.23/12.45 o 39604 24.23/12.46 o 39599 25.90/13.45 o 39501 25.90/13.45 o 39370 25.90/13.49 o 39321 25.90/13.49 o 39313 25.90/13.49 o 39277 26.05/13.57 o 39267 26.31/13.70 o 39259 26.51/13.87 o 39251 26.51/13.88 o 39249 44.34/28.34 o 39221 44.34/28.35 o 39216 45.24/29.21 o 39214 45.24/29.24 o 39200 45.24/29.25 o 39188 45.34/29.32 o 39185 45.34/29.34 o 39179 45.48/29.46 o 39168 45.48/29.47 o 39130 45.48/29.47 o 39124 56.25/40.01 o 39092 56.94/40.72 o 39075 57.54/41.34 o 39055 57.54/41.35 o 39026 58.74/42.56 o 39009 785.06/765.23 o 38981 785.56/765.72 o 38979 787.67/767.87 o 38971 787.91/768.07 o 38955 790.91/771.04 o 38944 795.61/775.76 o 38943 809.00/789.03 o 38925 813.39/793.42 o 38907 818.20/798.15 o 38898 818.20/798.15 o 38875 818.39/798.32 o 38859 939.69/919.18 o 38839 939.69/919.18 o 38804 939.78/919.24 o 38802 939.78/919.24 o 38791 939.78/919.27 o 38735 940.88/920.32 o 38717 941.28/920.77 o 38698 941.28/920.79 o 38694 941.38/920.83 o 38681 941.38/920.83 o 38635 941.38/920.84 o 38625 950.27/929.62 o 38601 950.27/929.62 o 38594 950.47/929.81 o 38547 951.78/931.14 o 38523 957.97/937.33 o 38522 957.97/937.33 o 38516 958.27/937.64 o 38431 958.27/937.67 o 38399 2400.05/2370.70 s SATISFIABLE 2400.05/2370.71 v <instantiation> 2400.05/2370.71 v <list> 2400.05/2370.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] 2400.05/2370.71 v </list> 2400.05/2370.71 v <values> 2400.05/2370.71 v 7 46 26 64 53 21 70 33 23 2 60 22 47 0 15 16 40 27 34 13 59 11 25 32 3 36 58 10 24 1 43 50 52 20 28 45 4 41 31 63 17 12 56 62 57 51 9 61 68 67 35 44 37 39 69 71 19 30 65 18 5 14 49 29 42 48 66 38 8 6 54 55 2 2 0 10 2 2 2 0 0 0 2 5 0 2 10 0 2 5 2 1 0 4 1 5 0 5 1 1 5 5 5 2 2 5 0 0 0 5 0 4 2 2 3 0 0 10 1 0 3 3 1 2 2 0 1 2 5 0 2 0 5 4 5 5 0 2 0 2 2 0 0 10 10 0 5 5 0 5 5 0 2 1 6 1 1 5 0 5 5 3 0 10 4 0 5 0 0 1 2 5 10 0 2 1 0 0 3 10 2 0 5 2 2 0 10 5 1 0 2 0 2 0 4 6 4 4 6 0 1 1 0 0 1 5 5 5 1 0 2 0 0 5 10 0 0 0 0 1 6 1 0 5 5 2 5 5 2 2 10 0 0 1 1 4 1 5 3 4 3 0 1 0 5 2 0 1 0 4 5 2 0 0 0 0 0 4 3 0 1 0 10 1 6 0 0 0 5 5 5 0 2 10 2 2 1 1 0 3 1 5 2 10 5 2 0 5 10 3 0 0 0 2 5 1 1 10 5 0 0 5 2 2 5 0 1 1 5 2 10 1 5 10 2 0 0 0 0 1 0 5 3 2 5 0 5 0 10 2 5 0 0 0 5 4 5 2 2 5 0 5 1 0 5 5 2 3 1 2 2 2 0 10 2 0 0 10 0 5 2 2 5 0 0 1 0 2 5 0 0 1 0 0 1 2 5 0 0 2 5 5 0 2 0 2 0 1 1 0 1 1 5 5 2 2 5 1 2 0 5 2 0 5 3 5 0 0 2 0 0 5 5 0 0 3 5 5 2 0 5 0 5 0 10 1 5 0 5 10 10 10 3 5 10 0 1 2 0 0 5 1 0 6 5 0 10 6 5 10 5 0 1 0 10 1 0 0 2 2 2 0 0 2 2 5 6 0 2 0 0 5 5 5 3 2 2 5 0 2 0 10 1 5 0 2 2 0 0 3 5 5 2 0 0 4 2 5 0 2 2 5 5 5 5 1 10 0 0 2 5 4 0 2 2 1 0 0 10 5 4 0 2 0 2 2 2 5 5 10 3 0 2 0 0 10 10 2 0 1 0 5 5 2 5 10 1 1 10 5 0 2 1 0 5 2 0 0 1 0 4 2 5 1 2 1 1 4 3 10 3 0 0 0 5 0 3 0 0 0 0 1 0 1 1 2 2 2 0 1 10 1 6 2 2 1 1 0 4 5 0 0 0 2 4 0 0 2 10 10 2 5 4 4 5 0 2 0 1 5 5 2 2 0 5 4 2 2 0 0 5 3 4 0 0 1 1 0 1 2 5 0 2 0 3 2 1 0 5 0 1 0 5 2 2 5 1 1 1 10 0 2 5 2 2 0 1 10 0 5 5 0 3 5 2 3 0 0 2 2 1 5 5 0 0 0 0 0 1 0 5 1 2 6 1 1 0 5 5 0 6 1 0 1 0 0 1 0 2 0 5 2 0 5 0 5 5 2 1 0 5 5 0 1 0 0 2 2 0 10 5 1 2 0 0 5 10 5 1 3 5 4 4 5 1 0 2 1 10 0 1 5 5 5 0 1 0 4 1 0 0 2 0 0 0 5 2 0 1 0 0 0 2 10 0 5 10 0 4 2 4 5 2 5 10 2 2 5 2 2 0 5 4 5 5 5 2 5 10 0 10 2 2 5 2 10 4 5 2 5 10 2 5 3 2 0 5 2 0 0 2 5 0 0 1 2 5 0 2 0 2 5 5 0 1 0 0 0 2 0 4 0 0 5 2 1 2 5 5 1 4 5 3 1 1 10 5 0 0 0 0 0 5 0 4 0 0 2 5 0 5 0 5 5 0 0 1 0 1 1 0 0 10 5 10 5 6 0 5 4 0 5 2 2 4 5 1 5 10 0 5 0 2 0 10 0 6 5 4 0 10 0 5 2 2 2 0 10 5 3 4 5 2 0 0 10 10 10 1 10 0 1 0 0 1 2 2 10 1 2 0 10 2 0 0 1 2 2 10 2 0 1 5 2 5 6 6 0 0 2 2 5 10 4 0 0 2 1 4 4 0 0 10 2 1 4 10 0 0 5 5 2 5 2 1 0 2 0 0 0 0 3 0 0 0 0 0 2 3 1 2 4 5 0 0 3 2 1 5 5 4 1 0 0 2 0 10 2 5 0 10 0 3 2 5 5 10 10 4 5 5 4 0 5 5 0 0 0 2 5 10 5 6 4 0 5 2 1 0 5 1 0 2 0 1 5 5 0 5 2 2 1 5 0 3 3 6 0 1 0 2 5 2 6 1 5 2 2 5 5 0 0 5 10 2 0 3 0 2 0 0 0 1 5 1 0 0 2 2 0 1 5 2 0 0 5 2 5 10 10 10 2 5 1 2 10 2 0 0 5 1 10 0 2 5 0 3 10 0 0 0 3 4 5 0 1 2 0 0 1 0 5 0 5 5 0 1 10 3 0 2 5 0 5 5 2 2 0 2 5 5 0 0 0 1 1 3 0 10 0 5 5 3 1 3 1 0 0 10 10 0 5 0 1 0 0 0 0 5 2 5 2 5 5 0 2 4 4 5 5 2 5 0 5 1 4 0 5 2 0 5 5 0 4 0 10 0 2 5 0 0 2 2 1 5 2 0 0 0 5 10 1 0 2 4 0 2 0 0 0 2 0 5 6 5 2 1 0 5 2 1 0 5 0 4 0 5 0 2 0 5 5 0 10 3 3 0 0 1 0 1 10 0 0 1 0 5 0 2 1 2 2 2 1 2 0 4 5 1 2 2 1 0 0 5 4 2 0 2 0 2 5 3 5 2 0 0 0 0 0 1 0 0 2 2 1 2 1 6 0 10 6 6 5 0 3 2 5 0 3 5 0 6 10 0 2 2 3 10 2 0 2 0 0 0 2 5 5 2 2 5 5 1 0 0 3 10 2 0 5 5 5 0 5 0 6 1 0 2 2 5 2 0 0 1 2 4 6 0 2 2 3 5 1 0 1 0 0 5 0 0 1 1 0 0 5 0 5 0 1 2 1 2 3 5 2 1 5 1 5 10 0 0 10 2 2 2 2 1 5 2 0 5 0 0 6 3 2 0 2 5 1 0 2 0 5 0 1 0 2 2 5 0 1 2 0 2 0 4 0 1 10 5 2 2 2 5 2 5 0 0 1 3 10 5 2 0 0 0 1 0 10 5 2 2 1 2 4 2 0 0 10 5 2 1 0 0 0 5 2 2 0 1 5 5 5 3 4 5 3 5 2 5 10 0 0 0 1 0 1 5 5 0 0 0 2 0 10 1 0 0 0 10 0 2 10 0 0 2 5 10 10 0 10 0 3 2 0 0 10 0 1 1 0 1 10 0 5 6 5 10 0 10 4 5 0 6 0 3 4 5 5 10 0 10 5 0 0 1 3 2 10 2 0 1 4 10 2 1 5 5 0 5 10 5 2 5 3 1 0 1 5 0 5 5 3 0 0 2 0 0 10 2 2 5 1 0 10 5 5 1 3 0 5 0 0 2 1 5 2 2 0 5 1 2 2 0 0 5 5 1 10 0 1 5 2 5 1 10 2 0 1 1 5 10 0 2 2 3 5 1 0 1 1 1 2 0 10 0 0 1 10 0 2 0 5 5 2 0 4 2 1 0 0 4 0 3 0 0 0 2 0 3 0 0 0 2 2 3 5 0 1 0 0 10 0 1 0 2 0 2 10 1 5 5 5 1 10 0 1 5 10 5 5 2 6 5 0 2 0 0 5 0 2 1 2 2 2 10 2 0 0 5 10 0 2 4 3 1 1 10 5 0 5 5 6 2 10 5 3 5 0 5 0 0 0 0 1 0 0 5 2 0 0 2 0 0 10 0 1 10 0 5 5 0 4 0 1 10 3 5 0 2 5 0 2 5 1 5 10 0 1 5 1 5 4 2 0 2 2 0 4 10 5 1 2 10 0 1 5 0 1 0 10 1 0 0 1 5 1 3 5 0 0 0 5 5 0 10 2 5 5 2 2 1 2 4 10 1 0 5 0 0 0 5 2 2 2 2 5 0 3 0 1 0 6 2 2 2 0 6 1 0 0 1 0 0 1 0 2 2 5 5 0 2 10 0 10 0 5 5 1 5 0 1 0 1 5 5 5 2 2 2 10 1 4 1 5 6 2 2 1 3 5 2 0 5 5 1 1 5 0 2 5 3 5 5 2 5 5 0 0 5 5 0 5 2 0 0 2 5 5 5 2 0 1 0 1 1 0 0 1 0 5 0 0 4 5 5 0 5 2 2 0 3 10 0 0 5 4 0 4 5 5 2 2 5 10 2 4 1 0 5 10 10 0 5 5 10 2 0 0 1 2 3 5 10 4 5 5 0 5 10 0 1 10 2 1 5 0 1 3 5 5 2 5 5 5 2 1 1 2 10 0 2 0 5 3 3 3 5 2 5 2 0 3 2 5 2 1 0 1 0 1 2 0 1 10 5 4 10 6 2 2 3 0 0 0 10 2 5 1 5 10 0 0 1 3 5 5 3 0 1 4 0 2 6 0 0 4 2 5 2 5 0 0 2 5 5 2 0 2 5 0 5 1 5 1 1 2 0 5 5 0 0 10 2 5 6 1 2 0 5 1 1 2 2 10 1 4 2 0 0 0 5 0 4 2 0 0 0 5 0 0 1 1 10 2 1 5 0 2 2 0 2 2 0 2 10 0 5 0 0 5 2 10 0 1 5 1 2 5 5 0 0 2 0 5 10 0 0 0 10 10 6 2 5 10 5 2 0 1 0 2 2 3 5 3 0 5 3 5 1 2 5 5 2 1 5 0 5 1 1 0 0 5 2 5 2 5 10 10 4 0 0 0 0 0 0 5 5 1 0 10 0 1 0 5 0 1 10 2 10 6 1 10 3 0 0 0 0 3 0 3 0 2 0 0 4 5 10 0 10 0 0 10 5 5 2 6 0 0 3 10 4 0 0 6 10 3 0 10 0 10 10 5 5 2 0 0 0 0 0 0 4 0 2 4 3 5 5 5 0 2 2 3 0 10 5 0 0 2 1 2 4 0 1 0 5 0 0 2 1 0 0 2 2 5 2 1 10 4 1 2 0 2 5 0 5 2 1 5 1 0 1 5 10 10 5 0 0 2 1 0 2 10 5 5 5 1 0 0 2 5 2 5 2 1 5 0 5 1 5 5 10 3 0 0 10 5 2 4 2 5 5 10 1 6 4 2 5 0 3 1 1 5 5 1 2 1 0 2 2 10 10 1 2 0 1 1 10 4 5 5 0 2 5 1 0 0 0 0 0 0 2 0 10 10 5 0 0 2 0 5 1 0 5 1 2 10 0 0 6 0 5 2 1 5 1 2 5 0 1 0 1 0 1 1 6 3 0 5 1 2 0 0 2 5 5 5 10 0 0 5 5 10 3 1 0 0 0 5 0 1 10 0 1 0 2 3 0 10 0 5 0 0 0 1 10 1 2 2 0 10 6 0 5 3 4 0 0 0 2 3 5 5 5 10 3 3 1 0 2 2 5 5 0 5 2 5 5 5 5 0 5 1 5 1 5 4 0 5 1 5 1 2 0 5 2 0 0 5 1 1 2 2 0 5 5 5 5 0 5 5 2 2 2 3 5 2 10 10 5 2 5 3 0 5 6 2 5 0 5 2 4 10 2 5 5 4 6 3 1 2 0 1 5 0 0 1 1 5 5 0 5 5 10 0 10 2 1 5 1 0 2 5 2 10 2 5 10 2 5 2 0 0 0 0 10 5 10 2 0 5 10 0 1 1 10 0 1 5 0 10 5 4 0 0 2400.05/2370.71 v </values> 2400.05/2370.71 v </instantiation>
OK 38399
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 (10191 MiB free)
memory of node 1: 16384 MiB (10921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290390-1532239428/watcher-4290390-1532239428 -o /tmp/evaluation-result-4290390-1532239428/solver-4290390-1532239428 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31762 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1409180837 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290390-1532239428.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=867, runsolver pid=864
[startup+0.100094 s]*
/proc/loadavg: 1.94 1.51 1.46 3/217 882
/proc/meminfo: memFree=21601348/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14082740 memory=30992 CPUtime=0.12 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 6694 0 0 0 11 1 0 0 20 0 15 0 41505938 14420725760 7748 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3520685 7748 3138 1 0 3482761 0
[pid=867/tid=869] ppid=864 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 4772 0 0 0 9 0 0 0 20 0 15 0 41505938 14420725760 7748 33554432000 4194304 4196468 140722558587184 140199321567360 140199301416286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14082740 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14082740 memory=288370688117249664 CPUtime=0 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14082740 memory=140311965537920 CPUtime=0 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41505940 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41505941 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198296093600 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41505941 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198295041008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14082740 memory=140311965537920 CPUtime=0.01 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 41505943 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14082740 memory=140311965537920 CPUtime=0 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505944 14420725760 7748 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30992 KiB
[startup+0.210965 s]*
/proc/loadavg: 1.94 1.51 1.46 5/217 882
/proc/meminfo: memFree=21585844/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14082740 memory=47044 CPUtime=0.3 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 10393 0 0 0 29 1 0 0 20 0 15 0 41505938 14420725760 11761 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3520685 11761 3373 1 0 3482761 0
[pid=867/tid=869] ppid=864 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 8122 0 0 0 19 1 0 0 20 0 15 0 41505938 14420725760 11761 33554432000 4194304 4196468 140722558587184 140199321564080 140199317357146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14082740 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14082740 memory=288370688117249664 CPUtime=0 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14082740 memory=140311965537920 CPUtime=0 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41505940 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41505941 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198296093600 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41505941 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198295041008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) R 864 867 31730 0 -1 4202560 456 0 0 0 2 0 0 0 20 0 15 0 41505943 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198292937200 140199300758182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) R 864 867 31730 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 41505943 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14082740 memory=140311965537920 CPUtime=0.06 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) R 864 867 31730 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 15 0 41505943 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198290829048 140199301416286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14082740 memory=140311965537920 CPUtime=0 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505944 14420725760 11761 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47044 KiB
[startup+0.310658 s]*
/proc/loadavg: 1.94 1.51 1.46 3/217 882
/proc/meminfo: memFree=21582184/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14082740 memory=50840 CPUtime=0.44 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 10802 0 0 0 42 2 0 0 20 0 15 0 41505938 14420725760 12710 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3520685 12710 3419 1 0 3482761 0
[pid=867/tid=869] ppid=864 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 8480 0 0 0 29 1 0 0 20 0 15 0 41505938 14420725760 12710 33554432000 4194304 4196468 140722558587184 140199321514728 140199298899374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14082740 memory=12972 CPUtime=0 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14082740 memory=796 CPUtime=0 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14082740 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41505939 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14082740 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41505940 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14082740 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41505941 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198296093600 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14082740 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41505941 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198295041008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14082740 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 41505943 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 41505943 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14082740 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 41505943 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505944 14420725760 12710 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50840 KiB
[startup+0.700783 s]
/proc/loadavg: 1.94 1.51 1.46 4/217 882
/proc/meminfo: memFree=21557876/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14084808 memory=89232 CPUtime=0.99 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 17641 0 0 0 95 4 0 0 20 0 15 0 41505938 14422843392 22308 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3521202 22308 3504 1 0 3483273 0
[pid=867/tid=869] ppid=864 vsize=14084808 memory=4140 CPUtime=0.68 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 14937 0 0 0 65 3 0 0 20 0 15 0 41505938 14422843392 22308 33554432000 4194304 4196468 140722558587184 140199321557976 140199309575453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14084808 memory=14340 CPUtime=0 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14084808 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14084808 memory=280623633708040 CPUtime=0 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14084808 memory=10127063123713 CPUtime=0 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41505939 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14084808 memory=138456390961898 CPUtime=0 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41505940 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14084808 memory=138568060111594 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41505941 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198296093600 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14084808 memory=138572355078890 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41505941 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198295041008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14084808 memory=138589534948074 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14084808 memory=138593829915370 CPUtime=0.07 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 600 0 0 0 7 0 0 0 20 0 15 0 41505943 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14084808 memory=280623634371968 CPUtime=0.07 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 15 0 41505943 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14084808 memory=5900815305450 CPUtime=0.14 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 388 0 0 0 14 0 0 0 20 0 15 0 41505943 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14084808 memory=5900815305450 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14084808 memory=5900815305450 CPUtime=0 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505944 14422843392 22308 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89232 KiB
[startup+1.50081 s]
/proc/loadavg: 1.94 1.51 1.46 5/217 882
/proc/meminfo: memFree=21506412/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14086856 memory=182304 CPUtime=3.24 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 22109 0 0 0 317 7 0 0 20 0 15 0 41505938 14424940544 45576 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3521714 45576 3552 1 0 3483785 0
[pid=867/tid=869] ppid=864 vsize=14086856 memory=132264 CPUtime=1.46 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 16152 0 0 0 141 5 0 0 20 0 15 0 41505938 14424940544 45576 33554432000 4194304 4196468 140722558587184 140199321572816 140198960200031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14424940544 45576 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14424940544 45576 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41505939 14424940544 45576 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41505939 14424940544 45576 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 41505940 14424940544 45576 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
################
# More data... #
################
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 187804 0 0 0 225301 46 0 0 20 0 15 0 41505938 14429134848 933730 33554432000 4194304 4196468 140722558587184 140199321574064 140198965176503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14090952 memory=3734920 CPUtime=7.44 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 43257 0 0 0 676 68 0 0 20 0 15 0 41505939 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14090952 memory=280623634712736 CPUtime=7.42 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 46838 0 0 0 675 67 0 0 20 0 15 0 41505939 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14090952 memory=3735944 CPUtime=7.43 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 44717 0 0 0 676 67 0 0 20 0 15 0 41505939 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14090952 memory=3735432 CPUtime=7.43 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 40552 0 0 0 673 70 0 0 20 0 15 0 41505939 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14090952 memory=3735432 CPUtime=0.49 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 19476 0 0 0 44 5 0 0 20 0 15 0 41505940 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 68 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14090952 memory=3736972 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198296093664 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14090952 memory=3736972 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198295041024 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14090952 memory=3734920 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14090952 memory=1200 CPUtime=2.05 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 6028 0 0 0 203 2 0 0 20 0 15 0 41505943 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 70 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14090952 memory=3736972 CPUtime=2.32 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 9455 0 0 0 231 1 0 0 20 0 15 0 41505943 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14090952 memory=3736972 CPUtime=1.03 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 11179 0 0 0 101 2 0 0 20 0 15 0 41505943 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 74 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14090952 memory=3735432 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14090952 memory=3735944 CPUtime=1.16 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1270 0 0 0 54 62 0 0 20 0 15 0 41505944 14429134848 933730 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 75 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 2290.34 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3734920 KiB
[startup+2322.3 s]
/proc/loadavg: 1.67 1.67 1.66 3/215 1043
/proc/meminfo: memFree=17678060/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14090952 memory=3727220 CPUtime=2351 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 420969 0 0 0 234720 380 0 0 20 0 15 0 41505938 14429134848 931805 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3522738 931805 3615 1 0 3484809 0
[pid=867/tid=869] ppid=864 vsize=14090952 memory=3728244 CPUtime=2313.2 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 189489 0 0 0 231274 46 0 0 20 0 15 0 41505938 14429134848 931805 33554432000 4194304 4196468 140722558587184 140199321573792 140198965177976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14090952 memory=3728760 CPUtime=7.66 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 45402 0 0 0 697 69 0 0 20 0 15 0 41505939 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14090952 memory=3727732 CPUtime=7.64 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 48363 0 0 0 697 67 0 0 20 0 15 0 41505939 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14090952 memory=3728244 CPUtime=7.63 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 46357 0 0 0 696 67 0 0 20 0 15 0 41505939 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14090952 memory=3727732 CPUtime=7.64 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 41955 0 0 0 694 70 0 0 20 0 15 0 41505939 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14090952 memory=3727220 CPUtime=0.53 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 19991 0 0 0 47 6 0 0 20 0 15 0 41505940 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 68 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14090952 memory=3727220 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198296093664 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14090952 memory=3729272 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198295041024 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14090952 memory=3727732 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14090952 memory=3727732 CPUtime=2.05 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 6034 0 0 0 203 2 0 0 20 0 15 0 41505943 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 70 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14090952 memory=3727220 CPUtime=2.32 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 9459 0 0 0 231 1 0 0 20 0 15 0 41505943 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14090952 memory=3727732 CPUtime=1.03 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 11185 0 0 0 101 2 0 0 20 0 15 0 41505943 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 74 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14090952 memory=3727732 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14090952 memory=3727732 CPUtime=1.19 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1308 0 0 0 55 64 0 0 20 0 15 0 41505944 14429134848 931805 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 75 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 2351 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3727220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2370.7 s]
/proc/loadavg: 1.57 1.64 1.66 3/215 1043
/proc/meminfo: memFree=16941268/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14090952 memory=3704632 CPUtime=2400.05 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 427015 0 0 0 239622 383 0 0 20 0 15 0 41505938 14429134848 926158 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3522738 926158 3615 1 0 3484809 0
[pid=867/tid=869] ppid=864 vsize=14090952 memory=3705656 CPUtime=2361.34 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 190909 0 0 0 236088 46 0 0 20 0 15 0 41505938 14429134848 926158 33554432000 4194304 4196468 140722558587184 140199321574064 140198965134890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14090952 memory=3705656 CPUtime=7.87 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 46069 0 0 0 718 69 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14090952 memory=3717968 CPUtime=7.85 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 49708 0 0 0 718 67 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14090952 memory=3707196 CPUtime=7.84 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 47921 0 0 0 717 67 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14090952 memory=3707196 CPUtime=7.85 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 42710 0 0 0 715 70 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14090952 memory=3708736 CPUtime=0.57 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 20257 0 0 0 50 7 0 0 20 0 15 0 41505940 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 68 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14090952 memory=3706172 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198296093664 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14090952 memory=3706172 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198295041024 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14090952 memory=3705144 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14090952 memory=3705144 CPUtime=2.05 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 6037 0 0 0 203 2 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 70 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14090952 memory=3714892 CPUtime=2.32 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 9461 0 0 0 231 1 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14090952 memory=3710788 CPUtime=1.03 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 11188 0 0 0 101 2 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 74 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14090952 memory=3705656 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14090952 memory=3705656 CPUtime=1.21 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1329 0 0 0 56 65 0 0 20 0 15 0 41505944 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 75 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3704632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2370.74 s]
# the end of solver process 867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.25 s, system=3.85383 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2370.7 s]
/proc/loadavg: 1.57 1.64 1.66 3/215 1043
/proc/meminfo: memFree=16941268/32770624 swapFree=67108860/67108860
[pid=867] ppid=864 vsize=14090952 memory=3704632 CPUtime=2400.05 cores=1,3,5,7
/proc/867/stat : 867 (java) S 864 867 31730 0 -1 1077944320 427015 0 0 0 239622 383 0 0 20 0 15 0 41505938 14429134848 926158 33554432000 4194304 4196468 140722558587184 140722558569728 140199317335799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
/proc/867/statm: 3522738 926158 3615 1 0 3484809 0
[pid=867/tid=869] ppid=864 vsize=14090952 memory=3705656 CPUtime=2361.34 cores=1,3,5,7
/proc/867/task/869/stat : 869 (java) R 864 867 31730 0 -1 4202560 190909 0 0 0 236088 46 0 0 20 0 15 0 41505938 14429134848 926158 33554432000 4194304 4196468 140722558587184 140199321574064 140198965134890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=870] ppid=864 vsize=14090952 memory=3705656 CPUtime=7.87 cores=1,3,5,7
/proc/867/task/870/stat : 870 (java) S 864 867 31730 0 -1 1077944384 46069 0 0 0 718 69 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198912801552 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=871] ppid=864 vsize=14090952 memory=3717968 CPUtime=7.85 cores=1,3,5,7
/proc/867/task/871/stat : 871 (java) S 864 867 31730 0 -1 1077944384 49708 0 0 0 718 67 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198911749008 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=872] ppid=864 vsize=14090952 memory=3707196 CPUtime=7.84 cores=1,3,5,7
/proc/867/task/872/stat : 872 (java) S 864 867 31730 0 -1 1077944384 47921 0 0 0 717 67 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198910696464 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=873] ppid=864 vsize=14090952 memory=3707196 CPUtime=7.85 cores=1,3,5,7
/proc/867/task/873/stat : 873 (java) S 864 867 31730 0 -1 1077944384 42710 0 0 0 715 70 0 0 20 0 15 0 41505939 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198909643920 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=874] ppid=864 vsize=14090952 memory=3708736 CPUtime=0.57 cores=1,3,5,7
/proc/867/task/874/stat : 874 (java) S 864 867 31730 0 -1 1077944384 20257 0 0 0 50 7 0 0 20 0 15 0 41505940 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198297147376 140199317346946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 68 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=875] ppid=864 vsize=14090952 memory=3706172 CPUtime=0 cores=1,3,5,7
/proc/867/task/875/stat : 875 (java) S 864 867 31730 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198296093664 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=876] ppid=864 vsize=14090952 memory=3706172 CPUtime=0 cores=1,3,5,7
/proc/867/task/876/stat : 876 (java) S 864 867 31730 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 41505941 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198295041024 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=877] ppid=864 vsize=14090952 memory=3705144 CPUtime=0 cores=1,3,5,7
/proc/867/task/877/stat : 877 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198293989584 140199317354395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=878] ppid=864 vsize=14090952 memory=3705144 CPUtime=2.05 cores=1,3,5,7
/proc/867/task/878/stat : 878 (java) S 864 867 31730 0 -1 1077944384 6037 0 0 0 203 2 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198292937200 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 70 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=879] ppid=864 vsize=14090952 memory=3714892 CPUtime=2.32 cores=1,3,5,7
/proc/867/task/879/stat : 879 (java) S 864 867 31730 0 -1 1077944384 9461 0 0 0 231 1 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198291884656 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=880] ppid=864 vsize=14090952 memory=3710788 CPUtime=1.03 cores=1,3,5,7
/proc/867/task/880/stat : 880 (java) S 864 867 31730 0 -1 1077944384 11188 0 0 0 101 2 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198290832112 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 74 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=881] ppid=864 vsize=14090952 memory=3705656 CPUtime=0 cores=1,3,5,7
/proc/867/task/881/stat : 881 (java) S 864 867 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41505943 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198289779808 140199317346005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
[pid=867/tid=882] ppid=864 vsize=14090952 memory=3705656 CPUtime=1.21 cores=1,3,5,7
/proc/867/task/882/stat : 882 (java) S 864 867 31730 0 -1 1077944384 1329 0 0 0 56 65 0 0 20 0 15 0 41505944 14429134848 926158 33554432000 4194304 4196468 140722558587184 140198288726320 140199317346946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 75 0 0 6293624 6294260 18583552 140722558592072 140722558592265 140722558592265 140722558595023 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3704632 KiB
Child status: 143
Real time (s): 2370.74
CPU time (s): 2400.11
CPU user time (s): 2396.25
CPU system time (s): 3.85383
CPU usage (%): 101.239
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 4162748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.25
system time used= 3.85383
maximum resident set size= 4163268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60725
involuntary context switches= 1613
# summary of solver processes directly reported to runsolver:
# pid: 867
# total CPU time (s): 2400.11
# total CPU user time (s): 2396.25
# total CPU system time (s): 3.85383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.393 second user time and 21.2757 second system time
The end
Begin job on node137 at 2018-07-22 08:03:48 IDJOB=4290390 IDBENCH=141244 IDSOLVER=2743 FILE ID=node137/4290390-1532239428 RUNJOBID= node137-1532225156-31762 PBS_JOBID= 21018945 Free space on /tmp= 56856 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02 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-4290390-1532239428/watcher-4290390-1532239428 -o /tmp/evaluation-result-4290390-1532239428/solver-4290390-1532239428 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31762 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1409180837 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290390-1532239428.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4 RANDOM SEED=1409180837 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21619520 kB MemAvailable: 31784732 kB Buffers: 229004 kB Cached: 10135232 kB SwapCached: 0 kB Active: 1889212 kB Inactive: 8682812 kB Active(anon): 210052 kB Inactive(anon): 16944 kB Active(file): 1679160 kB Inactive(file): 8665868 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35792 kB Writeback: 0 kB AnonPages: 214384 kB Mapped: 48812 kB Shmem: 17036 kB Slab: 276004 kB SReclaimable: 248644 kB SUnreclaim: 27360 kB KernelStack: 3568 kB PageTables: 5732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1181044 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 56824 MiB End job on node137 at 2018-07-22 08:43:19