Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 50537 | 2520.1201 | 2495.03 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml |
| MD5SUM | 7967f0a5d6026ea184db99fec624e08d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 47363 |
| Best CPU time to get the best result obtained on this benchmark | 2520.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6642 |
| Number of constraints | 3241 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 81 |
| Distribution of domain sizes | [{"size":8,"count":3240},{"size":81,"count":81}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 81 |
| Distribution of variable degrees | [{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 81 |
| Distribution of constraint arities | [{"arity":3,"count":3240},{"arity":81,"count":1}] |
| Number of extensional constraints | 3240 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3240},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272140-1502733855.xml" -tl '2520s' -p 1 -x 3 0.15/0.24 c [HOME/instance-4272140-1502733855.xml, -tl, 2520s, -p, 1, -x, 3] 0.15/0.30 c simple solver 0.34/0.37 c parse instance... 18.14/14.39 c solve instance... 1343.72/1325.44 o 50697 1344.19/1325.66 o 50669 1344.60/1325.82 o 50659 1346.39/1327.12 o 50608 1349.62/1330.27 o 50599 1352.54/1333.01 o 50589 1352.73/1333.23 o 50567 1352.83/1333.38 o 50550 1353.23/1333.77 o 50543 1356.92/1337.39 o 50540 1372.01/1351.44 o 50537 2520.09/2495.01 s SATISFIABLE 2520.09/2495.01 v <instantiation> 2520.09/2495.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] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] 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[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] 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[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] 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[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] 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[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] 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[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] 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[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] 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[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] 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[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] 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[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] 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[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] 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[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] 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[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] 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[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] 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[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] 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[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] 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[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] 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[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] 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[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] 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[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] 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[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] 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[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] 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[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][77] d[76][78] d[76][79] d[76][80] d[77][78] d[77][79] d[77][80] d[78][79] d[78][80] d[79][80] </list> 2520.09/2495.01 v <values>56 0 33 67 75 59 71 21 42 69 61 4 47 41 57 78 19 7 44 77 25 34 63 49 8 23 60 15 43 51 72 27 24 30 13 11 38 16 5 39 17 32 64 18 37 9 35 80 20 14 12 50 48 31 52 10 6 45 40 53 55 2 3 70 74 46 28 26 29 73 54 22 36 58 1 68 66 79 62 76 65 2 0 10 10 2 5 5 1 10 10 1 10 2 4 0 4 0 0 5 5 2 5 0 1 2 1 1 4 2 2 1 0 2 0 5 2 5 0 0 2 0 1 0 0 2 2 0 2 5 0 0 1 0 0 5 5 2 10 0 2 0 0 1 0 2 2 4 0 2 0 2 5 1 0 1 0 0 2 5 5 2 0 3 2 1 5 10 5 10 10 4 5 5 1 5 10 10 2 0 5 1 10 2 2 2 10 5 0 10 0 4 0 1 1 2 10 0 2 1 1 1 2 1 0 10 5 0 2 2 5 2 10 5 6 10 1 1 2 2 5 0 6 10 0 4 2 0 2 2 5 0 5 0 0 0 1 0 4 0 5 10 4 2 1 0 10 0 2 0 5 1 2 0 1 0 0 10 0 0 0 5 0 2 5 3 1 2 0 6 2 2 0 0 0 2 5 10 5 10 0 0 0 0 1 5 5 2 5 2 2 2 5 0 0 0 5 1 1 2 0 5 0 10 0 2 2 1 0 10 0 0 5 5 3 5 1 0 0 10 3 0 10 2 5 0 0 3 2 1 0 2 10 5 0 3 6 6 2 3 2 3 5 4 5 0 5 10 1 0 0 5 0 0 1 0 2 0 0 0 5 0 2 1 10 5 2 10 0 0 5 5 2 0 3 0 0 3 5 0 0 10 2 0 0 0 0 4 5 2 2 1 1 2 5 10 3 0 0 0 5 2 10 1 1 2 4 1 0 0 0 3 10 0 2 0 0 10 2 5 0 6 1 1 2 0 4 5 0 2 2 2 0 0 2 0 6 0 2 2 5 5 0 1 2 0 2 0 5 0 0 0 5 2 5 2 2 1 4 0 2 2 10 5 0 2 0 0 0 10 0 1 0 0 2 5 0 0 1 0 3 5 5 0 0 1 2 5 1 0 0 0 2 2 0 0 1 0 0 0 5 2 10 5 3 1 5 0 10 5 3 0 5 0 0 3 1 2 0 3 0 0 5 0 5 0 2 5 2 0 5 1 5 0 0 2 10 10 1 0 0 0 2 2 0 0 5 0 2 4 5 3 2 5 2 2 10 10 2 0 2 0 0 5 2 5 0 3 0 5 10 4 2 2 5 5 1 0 3 5 0 2 5 2 3 0 0 5 0 1 0 0 2 2 2 0 10 2 0 5 4 1 5 10 0 5 3 1 1 3 5 2 0 2 0 0 1 3 2 5 10 0 2 0 0 6 4 5 5 0 10 5 5 5 5 0 0 2 4 0 0 0 5 0 5 0 0 0 0 0 1 0 0 1 0 2 4 0 2 1 5 3 1 0 10 1 1 0 0 0 10 0 6 1 5 5 10 1 10 0 0 0 10 5 3 5 0 0 0 0 2 3 5 10 2 10 0 2 2 5 5 2 2 2 0 1 1 1 0 10 3 1 0 3 5 0 0 1 5 4 3 0 0 1 5 3 0 5 5 5 0 0 5 5 2 0 0 0 5 1 5 3 5 5 1 1 0 1 6 0 1 1 0 0 2 0 5 10 0 2 0 2 5 1 0 5 4 10 5 2 2 4 5 5 5 5 10 0 0 2 2 1 5 0 4 0 1 0 5 0 5 10 5 5 2 1 0 5 6 5 0 3 5 5 5 0 0 6 0 0 5 2 2 3 1 0 5 4 6 0 1 5 2 0 0 3 5 5 0 5 0 2 5 5 2 5 10 5 2 1 0 5 0 10 5 0 0 2 4 5 10 2 0 2 10 10 0 1 5 0 2 1 5 0 3 3 2 0 1 0 1 4 1 4 3 10 1 5 0 0 1 5 1 2 6 0 2 4 0 5 0 3 10 0 5 10 5 10 5 0 4 2 0 10 0 0 5 5 10 10 0 2 5 2 3 1 2 5 5 5 1 5 0 2 3 1 0 5 3 2 2 5 10 0 4 0 0 0 1 0 2 5 1 0 5 2 1 4 2 5 0 1 5 0 0 6 0 10 1 2 0 1 1 2 5 0 0 2 10 2 0 5 2 4 1 5 0 2 0 0 2 0 2 2 2 10 10 0 2 0 0 1 4 3 5 2 5 2 2 10 6 0 0 10 2 1 2 0 10 2 0 5 0 0 2 0 3 1 2 0 2 0 10 5 5 0 0 1 2 2 0 0 5 0 5 5 0 0 0 0 1 1 5 2 10 1 1 4 5 5 5 2 2 0 4 5 1 0 10 4 5 0 4 2 2 5 10 0 2 10 3 5 0 0 1 2 0 1 5 5 0 2 5 2 4 1 1 2 5 10 0 5 2 5 1 0 0 1 0 1 10 0 2 0 0 0 0 0 0 0 10 5 2 2 5 1 5 0 5 0 5 2 1 10 10 5 2 2 0 3 1 0 0 5 0 5 0 5 1 10 2 2 6 5 0 10 5 3 5 0 5 0 1 0 5 2 0 1 5 10 2 5 10 5 0 0 0 10 1 0 5 10 1 10 10 0 1 0 1 0 5 5 0 2 1 1 2 10 0 1 4 4 0 2 5 10 3 0 2 1 5 5 5 2 2 0 0 0 0 0 3 10 1 4 2 0 5 0 5 2 0 3 5 5 10 0 6 0 1 5 0 2 1 0 5 0 2 5 1 5 0 2 5 10 10 0 5 4 0 5 5 10 5 0 1 5 5 5 10 2 2 0 0 10 10 2 10 2 0 5 0 2 0 1 2 4 5 1 1 2 0 1 1 2 1 1 2 0 0 2 1 5 1 5 0 5 5 2 5 0 3 0 1 5 1 2 2 1 0 2 0 10 2 2 5 6 2 4 2 2 0 4 1 1 2 0 0 2 0 2 3 2 5 1 2 2 2 0 5 0 10 0 2 0 5 0 2 0 0 0 0 5 0 1 1 0 5 0 2 5 0 0 0 0 0 2 0 0 10 1 5 0 5 1 1 0 2 5 10 1 3 0 4 1 5 0 10 3 0 2 0 3 5 2 5 3 0 0 1 5 5 1 0 2 0 5 0 0 2 0 0 0 1 5 1 2 10 2 10 4 5 1 0 5 5 1 0 0 0 5 2 2 0 2 10 2 0 2 10 1 5 5 0 2 2 2 10 0 6 1 5 5 5 0 5 0 2 5 1 0 0 2 1 0 5 1 2 1 1 1 0 2 1 1 1 2 3 5 2 5 2 0 2 10 0 2 2 2 2 1 0 1 5 2 5 1 0 2 2 0 5 0 10 5 2 5 5 2 2 0 5 2 5 5 0 0 5 10 4 0 0 10 1 6 0 4 0 0 2 10 2 6 5 1 2 2 0 1 0 5 1 0 0 5 10 0 1 1 2 2 2 5 0 1 6 2 2 1 3 2 3 0 5 10 5 2 2 5 1 5 2 0 1 5 5 5 5 3 5 1 2 5 2 2 0 0 0 4 0 0 0 0 0 10 0 2 2 2 0 0 5 0 0 5 2 4 5 5 0 0 3 3 10 0 5 2 1 2 5 0 6 5 5 3 1 2 3 5 1 3 4 0 0 0 1 0 5 10 5 0 0 1 5 3 10 0 0 4 0 5 2 5 0 2 0 1 1 0 0 0 3 5 0 1 1 5 5 1 10 3 2 1 1 2 0 0 5 0 0 0 0 10 5 0 5 6 2 4 0 0 1 5 5 2 1 5 2 0 1 1 4 0 5 5 2 2 1 0 4 0 3 1 5 1 0 1 1 0 0 0 2 0 2 4 2 0 5 0 2 0 1 0 5 10 10 0 0 6 5 1 1 0 3 5 3 0 0 0 2 0 0 0 10 2 1 10 5 2 1 1 0 2 0 2 0 2 0 10 1 0 2 2 1 5 5 0 5 0 0 0 4 5 3 5 3 5 0 5 0 0 1 2 2 1 5 0 0 0 0 1 5 5 2 0 5 1 10 5 10 4 4 5 0 1 5 5 0 5 2 0 10 5 2 0 1 0 2 0 10 0 5 4 0 10 10 0 5 0 5 5 4 5 4 0 4 5 1 3 0 2 0 4 2 5 0 0 0 5 5 10 5 2 5 3 2 1 0 1 0 5 5 2 0 0 0 0 0 10 3 2 0 1 1 1 5 1 1 0 5 2 10 0 2 1 0 1 3 0 0 0 5 0 5 0 1 0 3 0 10 0 1 5 2 0 5 0 3 2 2 10 0 5 5 3 0 0 1 5 0 0 0 0 2 1 5 4 4 2 2 1 2 1 0 6 0 0 0 4 2 10 3 4 5 0 0 2 5 5 5 5 0 1 10 3 2 5 10 2 1 10 0 1 10 4 2 0 0 0 0 0 2 0 1 5 2 0 5 5 10 0 0 2 0 5 5 0 0 0 2 10 0 0 5 5 1 0 0 0 1 4 5 1 0 4 4 10 0 2 5 5 6 1 10 0 0 10 0 0 0 5 3 2 0 0 0 2 2 5 0 0 2 0 0 5 2 0 2 4 5 2 0 0 0 5 3 2 10 3 5 3 10 5 1 0 6 5 4 0 5 5 1 5 3 0 5 1 2 0 3 10 1 2 2 5 0 2 0 5 6 3 5 2 10 2 2 0 6 5 2 5 2 2 10 2 0 2 5 0 1 10 10 10 0 5 0 2 2 0 6 2 10 10 5 3 0 2 2 2 2 1 5 0 0 0 0 0 4 3 5 0 0 3 2 2 0 0 5 1 2 5 0 1 1 5 0 0 4 5 2 1 2 0 3 0 2 4 0 0 0 5 3 0 0 5 0 2 2 1 5 1 5 5 0 5 3 5 5 2 2 4 10 1 1 5 3 1 0 5 0 5 1 1 5 10 2 6 5 0 0 4 1 2 0 0 0 10 0 2 1 10 5 0 2 0 2 4 1 5 2 5 0 1 5 2 0 2 2 0 4 0 5 5 2 5 10 2 0 6 10 2 5 5 10 2 5 0 2 2 2 5 2 0 0 3 0 2 1 2 0 1 0 0 0 2 5 5 1 1 5 5 10 2 0 1 0 0 0 0 2 5 1 10 0 4 3 0 0 2 5 1 2 10 1 5 0 1 0 10 1 5 2 0 5 6 0 2 5 1 1 10 2 3 3 0 5 4 0 6 10 2 5 1 5 2 5 0 0 0 5 10 0 5 1 10 5 3 1 5 0 5 10 4 0 1 0 1 5 0 5 2 0 1 5 5 2 5 4 0 0 0 2 2 2 1 0 10 1 0 5 3 5 5 2 3 6 4 10 3 0 3 3 2 4 2 5 0 0 3 0 0 5 0 1 4 2 0 2 2 2 4 2 0 10 0 1 0 1 10 2 5 0 2 0 1 2 10 10 10 1 0 2 3 0 2 5 5 0 10 0 5 5 10 2 0 1 5 1 0 1 2 2 2 2 0 2 5 0 2 1 1 1 2 3 5 1 5 0 2 5 1 0 0 5 0 0 2 0 5 2 0 2 5 2 10 0 6 6 0 2 0 2 2 0 10 3 2 3 5 5 5 5 5 2 10 0 5 2 0 0 5 5 10 0 1 1 1 10 0 5 0 5 0 3 2 10 1 0 10 0 0 5 0 10 2 5 0 2 0 10 2 1 10 5 10 0 1 0 5 5 10 5 5 4 0 6 1 2 10 2 1 5 5 2 1 0 0 4 5 2 0 2 5 1 10 1 5 0 2 0 5 5 1 1 1 2 4 0 2 4 0 0 1 10 2 0 2 5 0 3 2 2 2 0 0 0 10 2 5 4 1 2 0 5 5 1 2 2 2 5 10 4 0 0 10 0 0 5 2 5 5 5 5 5 2 1 5 2 0 5 2 0 5 2 10 0 10 0 5 1 1 0 5 3 1 2 0 2 5 0 0 2 2 10 3 1 2 5 2 10 5 2 1 10 0 5 5 0 1 10 0 5 0 1 2 1 0 0 6 2 6 0 1 5 0 0 0 0 10 2 10 5 0 2 5 5 2 0 5 10 5 10 0 5 1 0 1 0 10 1 0 0 1 4 5 0 2 0 10 6 2 1 5 0 2 6 2 0 5 5 0 1 0 5 0 6 4 1 5 1 10 0 5 5 5 2 5 0 0 0 4 4 3 4 5 2 10 2 1 1 3 4 2 0 1 2 0 1 0 6 0 0 2 2 2 0 0 0 0 10 5 0 0 4 10 10 5 5 3 5 2 10 2 5 4 1 10 1 5 0 5 0 4 3 2 0 0 1 2 0 10 5 0 2 5 2 1 0 5 10 0 1 2 0 4 5 4 1 0 2 5 1 2 0 0 5 5 10 2 0 10 4 0 0 0 0 2 0 1 10 10 3 1 10 10 3 1 6 4 5 5 2 0 5 0 0 2 0 1 5 2 3 5 0 5 5 0 10 0 0 5 0 10 0 4 5 4 0 1 2 1 2 10 0 5 1 1 10 10 0 10 2 2 2 2 2 6 6 2 4 2 5 0 3 5 10 0 1 0 0 1 2 2 5 5 5 5 0 4 0 3 0 10 2 0 6 2 5 2 0 0 5 3 1 10 0 0 0 5 10 0 2 10 5 2 0 3 1 4 2 2 0 1 5 1 10 3 1 2 6 5 0 1 1 0 0 2 0 0 4 5 0 5 2 0 6 0 1 10 0 1 1 2 5 10 0 0 3 0 1 0 10 2 0 5 5 5 0 5 0 2 4 2 10 2 5 2 5 3 5 10 0 5 0 0 0 0 2 10 5 6 0 0 4 0 2 0 2 10 1 0 0 1 0 10 5 5 1 3 2 4 0 10 1 0 0 0 0 4 0 5 6 5 0 0 0 5 2 5 2 0 5 6 2 0 0 2 1 0 2 5 0 0 5 1 10 2 1 5 3 0 0 0 2 5 3 0 5 0 2 0 4 10 5 2 4 0 0 2 1 5 4 0 10 2 0 5 6 3 5 4 10 5 0 5 5 2 5 1 6 1 2 0 0 5 5 0 2 0 1 10 5 1 0 0 3 2 0 0 5 5 0 1 6 3 2 3 1 1 10 1 5 2 0 2 10 2 2 5 5 0 0 5 1 4 0 10 5 1 3 2 1 2 5 10 2 1 5 5 1 5 0 1 0 5 1 1 3 2 5 4 3 0 0 5 10 0 10 10 2 10 0 5 0 0 0 0 5 5 1 0 2 6 5 4 1 5 5 2 1 5 5 0 2 4 0 0 6 0 5 10 2 10 5 0 2 2 5 0 0 0 2 0 5 1 3 10 2 1 4 5 1 5 1 5 5 5 10 0 0 10 10 5 0 5 4 5 2 5 2 3 10 1 2 5 0 0 10 2 2 6 5 5 5 0 2 5 5 0 6 10 2 5 4 1 1 6 5 0 2 6 0 </values> 2520.09/2495.01 v </instantiation> 2520.09/2495.01 c Unexpected resolution interruption!
OK 50537
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 (15211 MiB free)
memory of node 1: 16384 MiB (14571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272140-1502733855/watcher-4272140-1502733855 -o /tmp/evaluation-result-4272140-1502733855/solver-4272140-1502733855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 79455881 HOME/instance-4272140-1502733855.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16343, runsolver pid=16340
Current StackSize limit: 8192 KiB
[startup+0.100611 s]*
/proc/loadavg: 1.28 1.46 1.58 2/210 16353
/proc/meminfo: memFree=30488244/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13840740 memory=20876 CPUtime=0.04 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 4615 0 0 0 4 0 0 0 20 0 13 0 27268119 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3460185 5219 2375 1 0 3449682 0
[pid=16345/tid=16346] ppid=16343 vsize=13840740 memory=-7666416650606639742 CPUtime=0.04 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 3017 0 0 0 4 0 0 0 20 0 13 0 27268120 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139740460972440 139740456760477 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13840740 memory=-6623551257525838759 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 27268120 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13840740 memory=140693418661504 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 27268120 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 27268120 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13840740 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 27268120 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 27268122 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 27268122 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139739371775136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 27268122 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139739370722032 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 27268125 14172917760 5219 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) R 16343 16343 7968 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 13 0 27268125 14172917760 5284 18446744073709551615 4194304 4196468 140731230611088 139739368612008 139740437055305 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 27268125 14172917760 5284 18446744073709551615 4194304 4196468 140731230611088 139739367565888 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) R 16343 16343 7968 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 13 0 27268125 14172917760 5284 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740435746144 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 22256 KiB
[startup+0.210725 s]*
/proc/loadavg: 1.28 1.46 1.58 4/216 16359
/proc/meminfo: memFree=30481568/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13974352 memory=28696 CPUtime=0.15 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 5595 0 0 0 14 1 0 0 20 0 15 0 27268119 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3493588 7174 2875 1 0 3482964 0
[pid=16345/tid=16346] ppid=16343 vsize=13974352 memory=-7666416650606639742 CPUtime=0.1 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 3455 0 0 0 9 1 0 0 20 0 15 0 27268120 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139740460969552 139740456750486 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13974352 memory=-6623551257525838759 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13974352 memory=140693418661504 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 27268120 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 27268122 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 27268122 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739371775136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 27268122 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739370722032 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) R 16343 16343 7968 0 -1 4202560 352 0 0 0 0 0 0 0 20 0 15 0 27268125 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739368618736 139740456750486 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) R 16343 16343 7968 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 27268125 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739367566192 139740456749698 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13974352 memory=140693418661504 CPUtime=0.02 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) R 16343 16343 7968 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 27268125 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740435723744 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13974352 memory=140693418661504 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268130 14309736448 7174 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30076 KiB
[startup+0.310913 s]*
/proc/loadavg: 1.28 1.46 1.58 4/216 16359
/proc/meminfo: memFree=30469096/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13978608 memory=40204 CPUtime=0.34 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 9248 0 0 0 31 3 0 0 20 0 15 0 27268119 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3494652 10051 3056 1 0 3482964 0
[pid=16345/tid=16346] ppid=16343 vsize=13978608 memory=7078076838863583841 CPUtime=0.2 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 6402 0 0 0 18 2 0 0 20 0 15 0 27268120 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139740460961440 139740440819038 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13978608 memory=-6623551257525838759 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13978608 memory=281386682393696 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13978608 memory=281386527361416 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13978608 memory=140693263757599 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 27268120 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13978608 memory=281386682405248 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 27268122 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13978608 memory=140693263734543 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 27268122 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739371775136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13978608 memory=140693263753119 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 27268122 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739370722032 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13978608 memory=140693263755426 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) S 16343 16343 7968 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 27268125 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739368618736 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13978608 memory=140693263746047 CPUtime=0.03 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) S 16343 16343 7968 0 -1 1077944384 359 0 0 0 3 0 0 0 20 0 15 0 27268125 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739367566192 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13978608 memory=140693418662884 CPUtime=0.08 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) S 16343 16343 7968 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 27268125 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13978608 memory=140693418661503 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268130 14314094592 10051 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41584 KiB
[startup+0.701417 s]
/proc/loadavg: 1.28 1.46 1.58 8/216 16359
/proc/meminfo: memFree=30448528/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13978684 memory=96084 CPUtime=1.45 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 13623 0 0 0 140 5 0 0 20 0 15 0 27268119 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3494671 24021 3168 1 0 3482964 0
[pid=16345/tid=16346] ppid=16343 vsize=13978684 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 7886 0 0 0 55 3 0 0 20 0 15 0 27268120 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139740460976080 139740441976048 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268120 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13978684 memory=56 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 27268120 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13978684 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 27268122 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13978684 memory=20825 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 27268122 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739371775136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 27268122 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739370722032 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) R 16343 16343 7968 0 -1 4202560 1389 0 0 0 27 0 0 0 20 0 15 0 27268125 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739368605968 139740441845904 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) R 16343 16343 7968 0 -1 4202560 1370 0 0 0 27 0 0 0 20 0 15 0 27268125 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739367552072 139740438283759 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13978684 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) R 16343 16343 7968 0 -1 4202560 1671 0 0 0 30 0 0 0 20 0 15 0 27268125 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740435672192 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 27268130 14314172416 24021 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 97464 KiB
[startup+1.50078 s]
/proc/loadavg: 1.28 1.46 1.58 3/216 16359
/proc/meminfo: memFree=30413996/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13978684 memory=99008 CPUtime=2.48 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 14137 0 0 0 243 5 0 0 20 0 15 0 27268119 14314172416 24752 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3494671 24752 3173 1 0 3482964 0
[pid=16345/tid=16346] ppid=16343 vsize=13978684 memory=56 CPUtime=1.38 cores=0,2,4,6
################
# More data... #
################
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739370722048 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13980732 memory=2248792 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13980732 memory=11264 CPUtime=8.15 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) S 16343 16343 7968 0 -1 1077944384 59973 0 0 0 808 7 0 0 20 0 15 0 27268125 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739368618736 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13980732 memory=2247736 CPUtime=7.16 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) S 16343 16343 7968 0 -1 1077944384 50355 0 0 0 711 5 0 0 20 0 15 0 27268125 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739367566192 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13980732 memory=1380 CPUtime=1.1 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) S 16343 16343 7968 0 -1 1077944384 20735 0 0 0 106 4 0 0 20 0 15 0 27268125 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13980732 memory=1380 CPUtime=1.46 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1456 0 0 0 69 77 0 0 20 0 15 0 27268130 14316269568 562199 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 2347.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2250176 KiB
[startup+2382.3 s]
/proc/loadavg: 2.18 1.89 1.79 3/213 16669
/proc/meminfo: memFree=26075684/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2407.31 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 218373 0 0 0 240463 268 0 0 20 0 15 0 27268119 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3495183 565545 3271 1 0 3483476 0
[pid=16345/tid=16346] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2379.09 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 63409 0 0 0 237894 15 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740460977680 139740073886126 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2.47 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 3644 0 0 0 203 44 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13980732 memory=1380 CPUtime=2.47 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 3038 0 0 0 205 42 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13980732 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 4847 0 0 0 202 42 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2.45 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2425 0 0 0 204 41 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13980732 memory=2262180 CPUtime=0.39 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 7019 0 0 0 34 5 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739371775200 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13980732 memory=4639948313719891052 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739370722048 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13980732 memory=5788365908789580905 CPUtime=8.15 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) S 16343 16343 7968 0 -1 1077944384 59978 0 0 0 808 7 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739368618736 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13980732 memory=1380 CPUtime=7.16 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) S 16343 16343 7968 0 -1 1077944384 50361 0 0 0 711 5 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739367566192 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13980732 memory=1380 CPUtime=1.1 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) S 16343 16343 7968 0 -1 1077944384 20744 0 0 0 106 4 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13980732 memory=2262180 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13980732 memory=1380 CPUtime=1.5 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1498 0 0 0 71 79 0 0 20 0 15 0 27268130 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 2407.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2263560 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 1.91 1.80 3/217 16688
/proc/meminfo: memFree=26071456/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2467.34 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 219820 0 0 0 246465 269 0 0 20 0 15 0 27268119 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3495183 565545 3271 1 0 3483476 0
[pid=16345/tid=16346] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2439.08 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 64793 0 0 0 243893 15 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740460977680 139740071816202 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13980732 memory=1380 CPUtime=2.47 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 3644 0 0 0 203 44 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13980732 memory=1380 CPUtime=2.47 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 3038 0 0 0 205 42 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2.44 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 4847 0 0 0 202 42 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2.45 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2425 0 0 0 204 41 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13980732 memory=2262180 CPUtime=0.39 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 7028 0 0 0 34 5 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739371775200 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13980732 memory=2262180 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739370722048 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13980732 memory=17716 CPUtime=8.15 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) S 16343 16343 7968 0 -1 1077944384 59981 0 0 0 808 7 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739368618736 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13980732 memory=2424 CPUtime=7.16 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) S 16343 16343 7968 0 -1 1077944384 50366 0 0 0 711 5 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739367566192 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13980732 memory=1380 CPUtime=1.1 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) S 16343 16343 7968 0 -1 1077944384 20750 0 0 0 106 4 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13980732 memory=2262180 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13980732 memory=-8774313645642428999 CPUtime=1.53 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1538 0 0 0 72 81 0 0 20 0 15 0 27268130 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 2467.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2263560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495 s]*
/proc/loadavg: 2.03 1.92 1.81 3/214 16692
/proc/meminfo: memFree=26074252/32770624 swapFree=67108860/67108860
[pid=16343] ppid=16340 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/16343/stat : 16343 (xcsp3-exec) S 16340 16343 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 27268114 9740288 345 18446744073709551615 4194304 5098028 140734037384640 140734037382744 140116425536124 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 13086720 140734037389691 140734037389894 140734037389894 140734037393387 0
/proc/16343/statm: 2378 345 289 221 0 87 0
[pid=16345] ppid=16343 vsize=13980732 memory=2262180 CPUtime=2520.09 cores=0,2,4,6
/proc/16345/stat : 16345 (java) S 16343 16343 7968 0 -1 1077944320 221372 0 0 0 251738 271 0 0 20 0 15 0 27268119 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 140731230593632 139740456738551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
/proc/16345/statm: 3495183 565545 3271 1 0 3483476 0
[pid=16345/tid=16346] ppid=16343 vsize=13980732 memory=4278483708103473607 CPUtime=2491.78 cores=0,2,4,6
/proc/16345/task/16346/stat : 16346 (java) R 16343 16343 7968 0 -1 4202560 65966 0 0 0 249163 15 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740460976024 139740072971571 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16347] ppid=16343 vsize=13980732 memory=-7003737579269690708 CPUtime=2.47 cores=0,2,4,6
/proc/16345/task/16347/stat : 16347 (java) S 16343 16343 7968 0 -1 1077944384 3644 0 0 0 203 44 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740391173136 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16348] ppid=16343 vsize=13980732 memory=7235385076339992434 CPUtime=2.47 cores=0,2,4,6
/proc/16345/task/16348/stat : 16348 (java) S 16343 16343 7968 0 -1 1077944384 3038 0 0 0 205 42 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740390120592 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16349] ppid=16343 vsize=13980732 memory=7668908217535063144 CPUtime=2.44 cores=0,2,4,6
/proc/16345/task/16349/stat : 16349 (java) S 16343 16343 7968 0 -1 1077944384 4847 0 0 0 202 42 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740389067536 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16350] ppid=16343 vsize=13980732 memory=7668908217535063144 CPUtime=2.45 cores=0,2,4,6
/proc/16345/task/16350/stat : 16350 (java) S 16343 16343 7968 0 -1 1077944384 2425 0 0 0 204 41 0 0 20 0 15 0 27268120 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139740388014992 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16351] ppid=16343 vsize=13980732 memory=640 CPUtime=0.39 cores=0,2,4,6
/proc/16345/task/16351/stat : 16351 (java) S 16343 16343 7968 0 -1 1077944384 7036 0 0 0 34 5 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739372828912 139740456749698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16352] ppid=16343 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16352/stat : 16352 (java) S 16343 16343 7968 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739371775200 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16353] ppid=16343 vsize=13980732 memory=960 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16353/stat : 16353 (java) S 16343 16343 7968 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 27268122 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739370722048 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16354] ppid=16343 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16354/stat : 16354 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739369670608 139740456757147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16355] ppid=16343 vsize=13980732 memory=4304 CPUtime=8.15 cores=0,2,4,6
/proc/16345/task/16355/stat : 16355 (java) S 16343 16343 7968 0 -1 1077944384 59982 0 0 0 808 7 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739368618736 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16356] ppid=16343 vsize=13980732 memory=1588 CPUtime=7.17 cores=0,2,4,6
/proc/16345/task/16356/stat : 16356 (java) S 16343 16343 7968 0 -1 1077944384 50694 0 0 0 712 5 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739367566192 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16357] ppid=16343 vsize=13980732 memory=928 CPUtime=1.1 cores=0,2,4,6
/proc/16345/task/16357/stat : 16357 (java) S 16343 16343 7968 0 -1 1077944384 20752 0 0 0 106 4 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739366513136 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16358] ppid=16343 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/16345/task/16358/stat : 16358 (java) S 16343 16343 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 27268125 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739365460832 139740456748757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
[pid=16345/tid=16359] ppid=16343 vsize=13980732 memory=840 CPUtime=1.57 cores=0,2,4,6
/proc/16345/task/16359/stat : 16359 (java) S 16343 16343 7968 0 -1 1077944384 1578 0 0 0 74 83 0 0 20 0 15 0 27268130 14316269568 565545 18446744073709551615 4194304 4196468 140731230611088 139739364407856 139740456749698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 32698368 140731230618034 140731230618210 140731230618210 140731230621647 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2263560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.03 s]
# the end of solver process 16343 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001892 s
[startup+2495.03 s]
# the end of solver process 16345 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.39 s, system=2.72424 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2495.03
CPU time (s): 2520.12
CPU user time (s): 2517.39
CPU system time (s): 2.72424
CPU usage (%): 101.005
Max. virtual memory (cumulated for all children) (KiB): 13992332
Max. memory (cumulated for all children) (KiB): 2263560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.39
system time used= 2.72424
maximum resident set size= 2262744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59301
involuntary context switches= 3445
# summary of solver processes directly reported to runsolver:
# pid: 16343,16345
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.39
# total CPU system time (s): 2.72424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0791 second user time and 23.7372 second system time
The end
Begin job on node128 at 2017-08-14 19:50:17 IDJOB=4272140 IDBENCH=123121 IDSOLVER=2664 FILE ID=node128/4272140-1502733855 RUNJOBID= node128-1502649221-29000 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272140-1502733855/watcher-4272140-1502733855 -o /tmp/evaluation-result-4272140-1502733855/solver-4272140-1502733855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 79455881 HOME/instance-4272140-1502733855.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d RANDOM SEED=79455881 node128.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.94 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.94 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.94 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.94 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: 30498592 kB MemAvailable: 31307904 kB Buffers: 203164 kB Cached: 891432 kB SwapCached: 0 kB Active: 1039372 kB Inactive: 813332 kB Active(anon): 758780 kB Inactive(anon): 16764 kB Active(file): 280592 kB Inactive(file): 796568 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7600 kB Writeback: 0 kB AnonPages: 758076 kB Mapped: 49380 kB Shmem: 17116 kB Slab: 121416 kB SReclaimable: 95976 kB SUnreclaim: 25440 kB KernelStack: 3568 kB PageTables: 7296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1387896 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 647168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62016 MiB End job on node128 at 2017-08-14 20:31:53