Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b seq (e747e1e) | SAT (TO) | 36707 | 2520.11 | 2507.03 |
| 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.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306640-1534073695.xml" -tl '2520s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.17 c [HOME/instance-4306640-1534073695.xml, -tl, 2520s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 13.59/7.72 c solve instance... 866.91/856.87 o 37296 866.91/856.89 o 37282 866.91/856.90 o 37187 1072.92/1061.33 o 36972 1072.92/1061.34 o 36917 1072.92/1061.39 o 36897 1073.35/1061.79 o 36877 1607.14/1594.94 o 36853 1607.14/1594.94 o 36847 1607.14/1594.96 o 36810 1607.14/1594.97 o 36802 1607.14/1594.98 o 36797 1607.26/1595.01 o 36783 1607.26/1595.02 o 36779 2447.69/2434.82 o 36776 2447.79/2434.98 o 36753 2448.00/2435.18 o 36730 2448.79/2435.92 o 36707 2520.08/2507.01 s SATISFIABLE 2520.08/2507.01 v <instantiation> 2520.08/2507.01 v <list>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] </list> 2520.08/2507.01 v <values>26 3 37 16 0 13 8 46 33 25 56 28 7 39 58 31 42 15 71 44 35 54 70 24 18 6 40 53 1 10 14 43 32 5 19 49 67 65 63 48 57 68 29 59 41 61 36 47 22 45 50 64 12 51 23 66 34 20 62 21 38 9 55 60 17 11 4 27 30 52 69 2 1 10 2 5 2 0 10 0 0 0 5 2 1 1 0 2 5 0 0 1 1 0 3 5 3 5 10 4 5 0 3 1 5 0 2 0 5 4 2 0 3 10 10 1 4 4 0 1 2 0 5 2 0 0 1 2 0 0 0 1 0 5 6 5 0 0 5 0 1 6 1 0 10 10 4 0 0 2 5 10 1 5 2 2 0 10 1 10 0 10 10 2 10 0 1 0 0 0 5 2 0 5 3 10 0 2 10 0 0 0 0 0 0 0 10 5 0 10 5 0 2 0 0 2 1 0 0 1 0 1 0 0 1 2 3 5 0 0 1 5 0 1 6 2 5 0 6 0 4 0 2 6 5 0 5 0 0 2 0 10 5 5 0 5 2 1 10 0 2 5 0 0 5 5 1 2 0 10 6 3 5 10 0 1 0 5 2 10 10 5 2 2 5 0 10 0 0 2 0 2 3 4 5 1 0 0 1 1 3 2 5 0 2 1 2 2 5 1 10 0 6 1 0 4 5 0 6 3 5 0 5 0 0 2 5 4 2 2 5 2 2 5 3 1 5 0 2 3 5 0 0 0 5 0 2 0 1 2 0 1 1 5 5 5 2 5 10 5 0 4 5 0 2 5 6 0 2 1 2 0 6 0 10 1 10 0 6 10 10 1 10 0 5 2 2 3 1 10 10 3 0 0 0 0 0 10 4 2 0 5 5 2 4 2 1 2 0 0 0 1 0 0 1 1 0 0 10 2 4 5 2 2 10 0 2 1 3 0 0 2 4 2 2 0 2 2 5 0 5 0 3 2 1 5 1 5 5 0 2 2 2 4 2 2 0 0 0 0 0 1 5 0 2 4 0 1 1 0 4 1 2 0 1 0 0 0 4 10 3 5 10 10 0 2 2 4 10 0 10 0 5 5 0 1 0 0 5 5 0 2 0 0 10 4 0 5 2 10 5 2 2 4 5 1 1 10 5 5 6 0 1 0 0 0 1 1 3 4 4 10 5 2 1 5 0 0 2 2 4 5 0 2 1 1 5 2 0 0 0 10 1 0 5 2 10 1 5 5 0 1 1 5 1 0 4 0 0 10 2 1 2 4 0 10 5 1 4 2 0 0 5 1 1 2 5 0 2 0 0 5 4 1 4 0 2 0 2 5 0 0 1 3 3 1 5 1 2 0 10 10 5 10 5 5 5 2 2 5 1 5 0 0 0 0 0 0 6 0 6 5 5 0 5 2 2 1 0 4 5 1 1 10 2 5 3 5 10 0 0 10 4 0 3 1 0 1 0 1 4 0 0 1 0 2 4 0 2 1 1 2 0 0 2 1 2 10 0 1 0 1 2 2 2 5 0 0 2 3 0 0 0 2 5 5 2 4 2 1 1 2 5 5 1 5 1 0 1 2 0 5 2 5 5 5 10 3 2 0 0 2 0 5 0 0 0 1 5 2 2 2 2 2 2 0 0 0 6 4 2 2 10 0 5 0 3 10 10 2 0 2 10 1 0 0 0 5 2 0 5 2 0 5 0 10 10 10 10 0 5 1 1 1 3 1 1 10 0 5 0 0 5 0 5 1 0 2 10 5 10 5 0 0 2 2 5 0 10 5 2 0 0 4 0 0 5 2 2 1 0 0 5 0 0 2 0 0 5 5 0 0 3 0 0 1 0 0 5 2 0 4 5 2 2 10 2 10 3 5 4 2 0 5 2 10 0 1 0 1 0 1 0 1 2 5 0 5 5 1 0 0 0 5 2 0 0 0 4 0 5 6 2 5 5 5 0 0 2 5 5 5 2 1 1 3 0 2 1 2 2 0 10 5 1 5 5 1 0 2 4 3 0 0 0 0 0 5 1 0 1 0 5 2 0 5 0 2 0 0 2 5 2 3 2 0 10 0 0 4 0 0 2 5 2 0 0 2 2 0 0 0 10 0 5 10 1 0 0 5 2 5 2 10 10 10 1 0 0 2 5 0 2 10 0 1 0 10 0 1 10 0 2 2 0 2 2 1 3 1 5 3 2 0 1 0 2 2 0 2 10 0 0 1 1 5 1 2 0 1 2 5 5 5 2 2 2 1 3 5 0 0 2 0 5 5 0 2 1 10 1 0 5 0 2 5 5 0 5 10 0 5 10 3 0 0 1 0 5 2 1 0 1 5 0 2 2 5 1 2 2 1 5 3 0 2 5 6 2 1 1 5 10 2 10 3 2 0 0 1 5 0 5 5 0 0 2 2 5 0 1 0 4 5 1 2 1 0 4 5 0 0 0 2 5 10 10 0 1 0 0 2 0 0 1 1 5 1 5 1 5 0 0 0 0 5 0 1 0 0 4 1 0 1 10 1 5 1 5 1 10 0 6 1 2 5 2 2 0 4 0 5 1 5 0 10 2 5 2 10 2 5 1 0 0 2 5 3 2 0 5 6 10 0 1 4 5 5 0 0 5 10 5 0 0 0 0 2 10 10 3 5 5 1 5 0 5 2 5 2 1 0 0 10 0 3 0 4 3 0 10 0 0 0 1 10 2 4 5 2 2 0 0 2 0 2 2 0 0 0 0 0 5 5 3 5 5 5 10 1 2 5 2 3 0 5 0 0 0 10 3 2 5 10 10 5 0 0 5 0 5 0 1 2 2 1 3 6 2 4 5 5 0 0 5 0 3 2 0 5 1 1 5 5 2 0 0 5 2 10 5 1 0 1 6 1 5 5 0 0 0 10 2 6 0 2 2 1 0 5 0 2 0 0 2 1 5 2 0 0 0 5 1 0 0 5 10 0 0 0 0 5 5 2 5 0 0 10 2 6 1 10 5 2 10 0 5 5 2 2 2 0 5 0 0 0 0 10 5 0 5 5 10 1 5 2 0 0 5 0 0 5 2 1 10 0 3 2 1 0 0 0 5 1 2 5 4 5 3 0 2 5 10 5 3 5 1 2 5 0 2 0 1 2 5 2 5 5 2 5 2 2 1 1 2 5 1 5 5 2 10 1 10 0 2 0 1 1 2 2 0 0 5 5 10 10 2 2 1 5 2 10 2 10 2 0 2 0 1 5 4 2 1 2 2 0 5 0 0 4 0 5 0 0 0 5 0 2 5 5 2 2 1 2 0 5 0 0 0 0 3 2 5 0 0 0 3 10 2 0 5 5 1 6 1 10 0 2 0 10 5 0 0 2 5 5 2 3 0 1 10 2 3 0 0 2 1 0 0 0 1 0 0 5 5 5 5 0 10 6 2 0 3 0 4 10 4 0 10 5 5 10 5 0 3 10 2 2 0 0 1 5 10 1 5 2 2 3 0 5 0 0 2 0 0 5 2 0 2 2 0 5 0 1 2 1 0 0 0 2 0 1 2 4 6 0 2 0 3 5 10 4 3 10 5 0 0 1 2 10 10 2 3 5 0 3 0 0 5 5 0 0 5 0 5 0 2 0 0 2 1 0 0 2 1 2 4 5 1 3 10 5 1 0 10 2 10 5 0 0 10 0 0 0 2 2 2 5 5 2 5 0 0 0 2 0 0 0 0 4 2 1 5 2 0 0 0 5 1 0 0 2 5 5 2 0 2 5 0 0 0 5 2 1 0 5 0 10 0 5 5 2 0 1 10 5 0 0 1 2 5 1 5 0 2 0 5 5 0 0 0 2 2 0 2 2 0 0 1 5 0 0 5 1 5 0 1 5 0 10 0 0 0 2 1 4 10 4 2 5 10 1 5 0 5 0 1 2 5 0 5 5 2 3 1 1 0 2 2 5 0 0 0 5 0 1 0 0 0 2 10 6 5 3 0 1 0 0 2 5 3 4 5 1 0 0 0 0 5 1 0 2 0 2 1 0 2 0 2 5 5 2 2 5 5 5 5 5 0 0 1 0 5 6 5 4 10 5 1 1 2 0 0 3 5 5 0 0 5 5 5 1 5 0 0 0 2 2 5 2 5 2 2 5 4 4 5 0 2 0 5 5 0 0 5 0 10 5 1 0 0 10 2 1 3 1 5 2 0 0 0 5 5 2 1 0 0 1 5 1 2 4 0 0 5 5 2 0 2 2 1 2 5 5 10 0 5 1 2 2 5 5 1 10 10 5 2 3 0 0 0 5 3 0 0 5 1 5 2 1 5 0 2 5 5 4 2 0 0 0 0 2 10 4 2 5 2 2 5 0 5 4 5 5 5 1 2 5 1 2 0 2 10 2 0 0 2 5 4 5 10 5 5 3 1 5 2 0 0 1 2 5 3 10 10 1 4 1 0 0 5 1 1 2 1 0 3 5 2 5 0 5 0 5 0 5 2 10 0 0 3 2 10 5 5 5 1 0 2 2 0 10 2 5 10 5 0 5 5 2 0 0 2 0 5 10 0 2 10 4 10 4 5 1 5 3 0 2 4 0 0 5 0 0 5 5 4 0 3 0 2 5 2 5 5 5 2 1 3 2 1 1 0 0 5 10 4 0 2 10 5 5 0 2 3 1 5 5 0 2 2 2 0 0 0 2 0 2 10 1 0 3 1 5 0 10 1 1 1 1 0 10 2 10 5 10 2 2 0 0 0 2 2 10 2 2 1 5 2 2 2 5 2 5 1 1 2 0 5 0 0 4 0 5 3 5 5 10 5 5 0 0 2 1 0 0 6 5 0 2 10 5 0 5 0 0 2 5 0 5 0 5 10 0 3 4 3 5 4 2 1 3 3 2 0 0 0 2 5 10 1 0 0 2 0 2 2 5 0 0 0 3 0 1 3 2 5 3 2 1 10 0 5 2 5 0 2 0 1 3 2 5 0 1 0 0 2 1 1 2 0 0 5 0 5 5 5 4 1 5 0 5 5 4 1 2 0 5 0 3 5 2 5 2 0 0 0 5 2 0 10 0 6 0 0 0 4 2 0 5 6 2 0 5 5 2 0 10 2 5 1 2 6 3 1 0 10 2 2 0 2 3 10 0 5 10 0 1 10 5 0 10 2 5 5 1 6 6 0 0 2 5 0 5 0 2 0 1 2 0 10 0 0 5 3 1 2 2 2 10 2 1 0 1 10 10 0 2 3 5 0 2 0 5 2 6 10 2 10 0 0 3 5 5 10 1 1 0 0 5 5 10 0 2 1 4 4 5 10 0 1 0 6 0 0 0 0 1 5 0 5 5 0 1 5 0 0 5 2 0 0 0 5 2 3 0 5 5 3 2 0 0 5 1 5 0 5 5 5 0 5 5 0 4 0 1 10 10 0 1 10 4 5 4 10 0 5 1 2 5 1 5 5 2 0 0 6 2 1 5 0 0 0 5 1 0 0 0 2 4 0 0 0 2 2 1 5 0 1 2 0 5 1 1 5 10 5 5 2 10 0 0 2 1 4 10 0 5 5 3 1 0 1 6 1 5 10 1 0 2 0 5 3 0 2 3 1 5 0 1 6 6 0 5 4 1 0 0 4 5 5 5 6 3 5 5 2 1 1 0 5 0 2 4 0 5 2 5 0 1 1 4 5 5 0 5 5 1 1 4 5 5 5 2 5 1 5 1 5 2 10 2 5 2 1 5 5 0 5 0 5 0 0 1 5 0 2 0 0 10 0 5 2 5 2 5 5 10 10 1 6 0 2 1 2 10 2 2 0 2 0 0 1 0 0 3 6 5 2 6 5 5 0 5 5 10 0 2 5 1 5 3 2 10 2 2 6 5 5 2 1 10 2 5 10 2 0 4 0 1 0 10 2 1 0 5 5 1 4 3 2 3 1 5 6 10 0 0 1 5 5 1 0 0 3 3 0 1 0 0 10 5 5 1 0 2 5 0 </values> 2520.08/2507.01 v </instantiation> 2520.08/2507.01 c Unexpected resolution interruption!
OK 36707
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 (10143 MiB free)
memory of node 1: 16384 MiB (6355 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306640-1534073695/watcher-4306640-1534073695 -o /tmp/evaluation-result-4306640-1534073695/solver-4306640-1534073695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580 HOME/xcsp3-exec -seed 1163733825 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306640-1534073695.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32675, runsolver pid=32672
[startup+0.100279 s]*
/proc/loadavg: 1.79 1.79 1.73 4/218 32691
/proc/meminfo: memFree=16878768/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14082940 memory=28320 CPUtime=0.12 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 5499 0 0 0 11 1 0 0 20 0 15 0 224932680 14420930560 7080 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3520735 7080 2997 1 0 3483012 0
[pid=32677/tid=32678] ppid=32675 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) R 32675 32675 31211 0 -1 4202560 3506 0 0 0 8 0 0 0 20 0 15 0 224932680 14420930560 7080 33554432000 4194304 4196468 140729292765904 140505341171504 140505329175358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 7080 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14082940 memory=140696549971584 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 7080 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14082940 memory=140696549971584 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932682 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224932683 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504810067616 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224932683 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504809014512 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 224932685 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 224932685 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14082940 memory=140696549971584 CPUtime=0.01 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) R 32675 32675 31211 0 -1 4202560 287 0 0 0 1 0 0 0 20 0 15 0 224932685 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504804804592 140505315761241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14082940 memory=140696549971584 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932686 14420930560 7145 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29772 KiB
[startup+0.210738 s]*
/proc/loadavg: 1.79 1.79 1.73 5/218 32691
/proc/meminfo: memFree=16867480/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14082940 memory=41072 CPUtime=0.34 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 8218 0 0 0 33 1 0 0 20 0 15 0 224932680 14420930560 10268 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3520735 10268 3216 1 0 3483012 0
[pid=32677/tid=32678] ppid=32675 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) D 32675 32675 31211 0 -1 1077944384 5423 0 0 0 19 1 0 0 20 0 15 0 224932680 14420930560 10268 33554432000 4194304 4196468 140729292765904 140505341162216 140505329616245 0 4 0 16800975 18446744072101797412 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14082940 memory=10537 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 10268 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14082940 memory=3977718779338938016 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14082940 memory=140696549971584 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224932682 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224932683 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504810067616 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224932683 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504809014512 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 476 0 0 0 3 0 0 0 20 0 15 0 224932685 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 224932685 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14082940 memory=140696549971584 CPUtime=0.08 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) S 32675 32675 31211 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 15 0 224932685 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504804804592 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932686 14420930560 10268 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42524 KiB
[startup+0.311209 s]*
/proc/loadavg: 1.79 1.79 1.73 5/218 32691
/proc/meminfo: memFree=16860780/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14087196 memory=48132 CPUtime=0.53 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 9171 0 0 0 51 2 0 0 20 0 15 0 224932680 14425288704 12033 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3521799 12033 3267 1 0 3483012 0
[pid=32677/tid=32678] ppid=32675 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) R 32675 32675 31211 0 -1 4202560 6136 0 0 0 28 2 0 0 20 0 15 0 224932680 14425288704 12033 33554432000 4194304 4196468 140729292765904 140505341172624 140505321018718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14425288704 12033 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224932682 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224932683 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504810067616 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224932683 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504809014512 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14087196 memory=4426078206164241782 CPUtime=0.06 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 562 0 0 0 6 0 0 0 20 0 15 0 224932685 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 226 0 0 0 3 0 0 0 20 0 15 0 224932685 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14087196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) S 32675 32675 31211 0 -1 1077944384 939 0 0 0 13 0 0 0 20 0 15 0 224932685 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504804804592 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932686 14425288704 12033 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49584 KiB
[startup+0.701892 s]
/proc/loadavg: 1.79 1.79 1.73 5/218 32691
/proc/meminfo: memFree=16834788/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14089320 memory=101032 CPUtime=1.76 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 12824 0 0 0 172 4 0 0 20 0 15 0 224932680 14427463680 25258 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3522330 25258 3348 1 0 3483524 0
[pid=32677/tid=32678] ppid=32675 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) R 32675 32675 31211 0 -1 4202560 6867 0 0 0 64 3 0 0 20 0 15 0 224932680 14427463680 25258 33554432000 4194304 4196468 140729292765904 140505341163520 140504973056140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14089320 memory=288230583149275406 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14427463680 25258 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14089320 memory=15261432669297800 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932681 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224932681 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224932682 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504810067616 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504809014512 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14089320 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) R 32675 32675 31211 0 -1 4202560 1365 0 0 0 37 0 0 0 20 0 15 0 224932685 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504806910192 140505336950166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14089320 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) R 32675 32675 31211 0 -1 4202560 1177 0 0 0 33 0 0 0 20 0 15 0 224932685 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504805857648 140505316784657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14089320 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) R 32675 32675 31211 0 -1 1077944384 2106 0 0 0 36 0 0 0 20 0 15 0 224932685 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504804802384 140505336948437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14089320 memory=3546375122240368740 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14089320 memory=8027789921012564068 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224932686 14427463680 25258 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 102484 KiB
[startup+1.50086 s]
/proc/loadavg: 1.79 1.79 1.73 3/218 32691
/proc/meminfo: memFree=16765348/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
[pid=32677/tid=32683] ppid=32675 vsize=14089320 memory=1452 CPUtime=0.16 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 3781 0 0 0 11 5 0 0 20 0 15 0 224932682 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14089320 memory=7525627597456172140 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504810067680 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504809014528 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14089320 memory=1471940 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14089320 memory=1452 CPUtime=2.78 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 18664 0 0 0 275 3 0 0 20 0 15 0 224932685 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14089320 memory=1471940 CPUtime=2.78 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 20018 0 0 0 275 3 0 0 20 0 15 0 224932685 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14089320 memory=4140 CPUtime=0.8 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) S 32675 32675 31211 0 -1 1077944384 14796 0 0 0 77 3 0 0 20 0 15 0 224932685 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504804804592 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14089320 memory=61032 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14089320 memory=1452 CPUtime=1.6 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1706 0 0 0 62 98 0 0 20 0 15 0 224932686 14427463680 367985 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 2395.16 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1473392 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.84 1.89 5/217 402
/proc/meminfo: memFree=15520264/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14089320 memory=1516952 CPUtime=2455.28 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 169545 0 0 0 245310 218 0 0 20 0 15 0 224932680 14427463680 379238 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3522330 379238 3440 1 0 3483524 0
[pid=32677/tid=32678] ppid=32675 vsize=14089320 memory=1471940 CPUtime=2440.55 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) R 32675 32675 31211 0 -1 4202560 90521 0 0 0 244039 16 0 0 20 0 15 0 224932680 14427463680 379238 33554432000 4194304 4196468 140729292765904 140505341174424 140504980221819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.62 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 3617 0 0 0 136 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.62 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 4477 0 0 0 136 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14089320 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 5199 0 0 0 137 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14089320 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 4996 0 0 0 137 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14089320 memory=1471940 CPUtime=0.17 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 3952 0 0 0 11 6 0 0 20 0 15 0 224932682 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504810067680 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14089320 memory=1516952 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504809014528 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14089320 memory=4140 CPUtime=2.78 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 18666 0 0 0 275 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14089320 memory=61032 CPUtime=2.78 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 20072 0 0 0 275 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14089320 memory=1516952 CPUtime=0.8 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) S 32675 32675 31211 0 -1 1077944384 14916 0 0 0 77 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504804804592 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.64 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1726 0 0 0 64 100 0 0 20 0 15 0 224932686 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 2455.28 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1518404 KiB
[startup+2502.3 s]
/proc/loadavg: 1.87 1.85 1.89 3/216 403
/proc/meminfo: memFree=15421344/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14089320 memory=1516952 CPUtime=2515.37 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 169913 0 0 0 251317 220 0 0 20 0 15 0 224932680 14427463680 379238 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3522330 379238 3440 1 0 3483524 0
[pid=32677/tid=32678] ppid=32675 vsize=14089320 memory=1516952 CPUtime=2500.55 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) R 32675 32675 31211 0 -1 4202560 90838 0 0 0 250039 16 0 0 20 0 15 0 224932680 14427463680 379238 33554432000 4194304 4196468 140729292765904 140505341174424 140504980221839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.62 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 3617 0 0 0 136 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.62 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 4477 0 0 0 136 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.63 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 5199 0 0 0 137 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14089320 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 4996 0 0 0 137 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14089320 memory=1516952 CPUtime=0.17 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 3952 0 0 0 11 6 0 0 20 0 15 0 224932682 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504810067680 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14089320 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504809014528 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14089320 memory=1516952 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14089320 memory=1516952 CPUtime=2.82 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 18680 0 0 0 279 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14089320 memory=1452 CPUtime=2.78 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 20072 0 0 0 275 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14089320 memory=1516952 CPUtime=0.81 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) S 32675 32675 31211 0 -1 1077944384 14949 0 0 0 78 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504804804592 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14089320 memory=1516952 CPUtime=1.67 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1730 0 0 0 66 101 0 0 20 0 15 0 224932686 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 2515.37 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1518404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507 s]*
/proc/loadavg: 1.88 1.85 1.89 3/216 403
/proc/meminfo: memFree=15417732/32770624 swapFree=67108844/67108860
[pid=32675] ppid=32672 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32675/stat : 32675 (xcsp3-exec) S 32672 32675 31211 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 224932680 115843072 363 33554432000 4194304 5098028 140729911488336 140729911486440 139876620407420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38387712 140729911489594 140729911489796 140729911489796 140729911492554 0
/proc/32675/statm: 28282 363 306 221 0 87 0
[pid=32677] ppid=32675 vsize=14089320 memory=1516952 CPUtime=2520.08 cores=1,3,5,7
/proc/32677/stat : 32677 (java) S 32675 32675 31211 0 -1 1077944320 170181 0 0 0 251788 220 0 0 20 0 15 0 224932680 14427463680 379238 33554432000 4194304 4196468 140729292765904 140729292748448 140505336938231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
/proc/32677/statm: 3522330 379238 3440 1 0 3483524 0
[pid=32677/tid=32678] ppid=32675 vsize=14089320 memory=6791534058613427641 CPUtime=2505.26 cores=1,3,5,7
/proc/32677/task/32678/stat : 32678 (java) R 32675 32675 31211 0 -1 4202560 91073 0 0 0 250510 16 0 0 20 0 15 0 224932680 14427463680 379238 33554432000 4194304 4196468 140729292765904 140505341174424 140504980221839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32679] ppid=32675 vsize=14089320 memory=4126316290023845779 CPUtime=1.62 cores=1,3,5,7
/proc/32677/task/32679/stat : 32679 (java) S 32675 32675 31211 0 -1 1077944384 3617 0 0 0 136 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140505293490704 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32680] ppid=32675 vsize=14089320 memory=288230574492221466 CPUtime=1.62 cores=1,3,5,7
/proc/32677/task/32680/stat : 32680 (java) S 32675 32675 31211 0 -1 1077944384 4477 0 0 0 136 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504931429008 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32681] ppid=32675 vsize=14089320 memory=0 CPUtime=1.63 cores=1,3,5,7
/proc/32677/task/32681/stat : 32681 (java) S 32675 32675 31211 0 -1 1077944384 5199 0 0 0 137 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504930375952 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32682] ppid=32675 vsize=14089320 memory=54916 CPUtime=1.63 cores=1,3,5,7
/proc/32677/task/32682/stat : 32682 (java) S 32675 32675 31211 0 -1 1077944384 4996 0 0 0 137 26 0 0 20 0 15 0 224932681 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504929323408 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32683] ppid=32675 vsize=14089320 memory=288230377074721057 CPUtime=0.17 cores=1,3,5,7
/proc/32677/task/32683/stat : 32683 (java) S 32675 32675 31211 0 -1 1077944384 3959 0 0 0 11 6 0 0 20 0 15 0 224932682 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504811121392 140505336949378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32684] ppid=32675 vsize=14089320 memory=281392836690824 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32684/stat : 32684 (java) S 32675 32675 31211 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504810067680 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32685] ppid=32675 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32685/stat : 32685 (java) S 32675 32675 31211 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 224932683 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504809014528 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32686] ppid=32675 vsize=14089320 memory=6944656591801717405 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32686/stat : 32686 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504807963088 140505336956827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32687] ppid=32675 vsize=14089320 memory=-7812193691855986592 CPUtime=2.82 cores=1,3,5,7
/proc/32677/task/32687/stat : 32687 (java) S 32675 32675 31211 0 -1 1077944384 18680 0 0 0 279 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504806910192 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32688] ppid=32675 vsize=14089320 memory=8128038100524230256 CPUtime=2.78 cores=1,3,5,7
/proc/32677/task/32688/stat : 32688 (java) S 32675 32675 31211 0 -1 1077944384 20072 0 0 0 275 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504805857648 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32689] ppid=32675 vsize=14089320 memory=-7965959121690140575 CPUtime=0.81 cores=1,3,5,7
/proc/32677/task/32689/stat : 32689 (java) S 32675 32675 31211 0 -1 1077944384 14949 0 0 0 78 3 0 0 20 0 15 0 224932685 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504804804592 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32690] ppid=32675 vsize=14089320 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/32677/task/32690/stat : 32690 (java) S 32675 32675 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224932686 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504803752288 140505336948437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
[pid=32677/tid=32691] ppid=32675 vsize=14089320 memory=7100839887319376492 CPUtime=1.67 cores=1,3,5,7
/proc/32677/task/32691/stat : 32691 (java) S 32675 32675 31211 0 -1 1077944384 1756 0 0 0 66 101 0 0 20 0 15 0 224932686 14427463680 379238 33554432000 4194304 4196468 140729292765904 140504802700336 140505336949378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 9969664 140729292768390 140729292768561 140729292768561 140729292771279 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1518404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.03 s]
# the end of solver process 32675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.9 s, system=2.21861 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.03
CPU time (s): 2520.11
CPU user time (s): 2517.9
CPU system time (s): 2.21861
CPU usage (%): 100.522
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1518404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.89
system time used= 2.21861
maximum resident set size= 1517308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58289
involuntary context switches= 887
# summary of solver processes directly reported to runsolver:
# pid: 32675
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.9
# total CPU system time (s): 2.21861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9451 second user time and 22.9556 second system time
The end
Begin job on node136 at 2018-08-12 13:34:55 IDJOB=4306640 IDBENCH=141244 IDSOLVER=2787 FILE ID=node136/4306640-1534073695 RUNJOBID= node136-1534063588-31243 PBS_JOBID= 21036988 Free space on /tmp= 35520 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306640-1534073695/watcher-4306640-1534073695 -o /tmp/evaluation-result-4306640-1534073695/solver-4306640-1534073695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580 HOME/xcsp3-exec -seed 1163733825 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306640-1534073695.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4 RANDOM SEED=1163733825 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16896056 kB MemAvailable: 31709252 kB Buffers: 249292 kB Cached: 14665048 kB SwapCached: 8 kB Active: 7418500 kB Inactive: 7746992 kB Active(anon): 200844 kB Inactive(anon): 102700 kB Active(file): 7217656 kB Inactive(file): 7644292 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108844 kB Dirty: 21744 kB Writeback: 0 kB AnonPages: 258324 kB Mapped: 65532 kB Shmem: 49788 kB Slab: 408080 kB SReclaimable: 379708 kB SUnreclaim: 28372 kB KernelStack: 3552 kB PageTables: 6020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1318868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 35496 MiB End job on node136 at 2018-08-12 14:16:42