Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 53184 | 1104.72 | 252.16299 |
| 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 | 50175 |
| Best CPU time to get the best result obtained on this benchmark | 252.034 |
| 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.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271660-1502641174.xml" -tl '2016s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271660-1502641174.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 176.80/110.69 c solve instance... 264.01/123.16 o 54281 264.80/123.35 o 54246 265.27/123.44 o 54186 266.59/123.62 o 54128 268.09/124.32 o 54121 268.61/124.42 o 54111 275.96/130.66 o 53796 329.40/139.78 o 53789 421.52/151.40 o 53775 422.11/151.51 o 53764 461.17/159.47 o 53750 473.38/161.12 o 53525 835.61/209.64 o 53503 867.06/218.55 o 53474 1028.35/242.53 o 53184 1103.84/252.08 s SATISFIABLE 1103.84/252.08 v <instantiation> 1103.84/252.08 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> 1103.84/252.09 v <values>55 67 39 43 9 47 17 26 2 14 19 60 66 62 8 44 35 6 40 22 15 73 46 49 24 63 1 38 11 54 12 75 13 36 18 29 65 3 32 76 51 74 70 77 71 16 68 45 58 48 61 23 25 34 80 42 4 72 41 59 56 27 5 21 37 64 31 33 79 69 7 50 20 52 57 30 78 0 10 28 53 3 2 2 2 10 5 2 10 4 1 5 6 5 0 0 0 5 5 0 5 5 0 2 0 4 0 0 2 4 1 0 2 10 1 1 10 5 1 4 10 4 2 0 5 3 5 10 2 3 0 5 2 0 0 1 0 1 10 0 2 0 5 6 2 0 0 1 3 0 0 5 1 3 2 10 0 2 1 0 0 0 5 0 0 1 10 0 1 0 2 2 1 2 10 5 5 2 0 3 0 0 6 5 6 5 0 0 0 10 0 1 0 0 2 5 0 0 2 4 5 3 5 3 5 2 5 4 2 5 3 0 3 0 10 0 5 3 10 10 0 0 0 0 2 10 5 1 2 2 5 2 0 2 10 1 0 0 0 0 0 5 0 1 0 5 1 10 0 3 5 1 0 0 0 2 2 0 0 6 0 1 3 3 2 5 2 0 2 10 0 5 2 5 2 2 5 1 0 10 1 3 1 2 5 10 5 3 5 0 1 2 1 0 3 2 3 0 2 2 0 1 3 0 5 5 2 0 0 5 0 0 0 1 2 2 6 0 5 0 0 0 0 3 5 0 0 0 2 5 0 0 10 0 10 5 0 1 0 2 10 3 10 2 2 2 2 5 5 1 5 0 2 5 6 0 0 10 3 4 0 1 5 10 2 5 2 1 1 0 0 0 0 2 4 0 5 0 5 5 2 3 2 0 6 5 10 1 10 4 0 5 10 2 4 0 5 5 0 0 5 0 1 5 0 5 1 0 5 0 0 0 10 0 5 0 0 10 0 1 0 0 5 10 10 1 2 5 0 0 5 5 10 0 3 2 0 2 1 10 1 5 0 5 5 5 0 10 1 3 2 10 2 0 0 1 2 0 4 0 5 0 0 10 2 2 0 0 5 0 5 0 2 5 5 0 2 0 1 10 2 10 2 2 0 0 0 1 10 5 2 0 2 2 5 0 10 5 5 1 0 5 5 10 1 1 0 0 0 3 10 0 0 5 2 5 0 2 2 2 0 5 4 5 0 10 3 6 0 2 2 0 0 0 10 0 0 0 3 0 2 2 4 1 2 0 10 0 5 10 2 2 10 1 2 2 10 5 0 5 0 1 5 1 5 5 5 1 5 5 2 2 10 10 0 1 3 5 2 0 10 2 5 5 0 0 0 2 0 3 0 5 5 0 5 4 2 10 1 2 0 5 0 0 2 1 10 0 1 2 10 0 1 5 5 5 1 1 0 0 5 0 5 0 1 5 10 10 1 5 2 4 0 6 0 1 1 0 5 1 1 5 5 1 0 1 5 2 2 3 4 0 0 1 2 5 3 2 2 5 5 1 10 2 1 2 0 1 1 2 0 5 4 0 1 0 1 0 0 0 5 2 1 10 4 1 10 1 0 2 0 10 5 1 1 5 0 0 2 0 1 2 6 2 3 6 5 2 5 0 5 1 0 1 6 0 1 0 5 1 10 5 5 1 0 5 0 2 4 0 5 1 0 5 2 0 6 0 1 1 6 2 0 2 0 2 5 1 1 3 5 1 2 5 0 4 10 1 0 5 3 5 2 2 0 1 5 0 0 0 1 6 2 4 10 5 5 1 2 0 5 10 10 1 5 1 2 5 2 10 0 2 0 5 0 4 5 2 0 0 10 4 0 0 5 3 5 0 5 3 5 0 6 5 0 5 5 1 3 0 0 10 5 0 5 2 0 10 0 0 0 0 2 1 2 5 5 3 1 0 5 0 0 1 5 10 5 2 4 5 5 5 2 2 0 2 4 10 5 2 1 1 2 2 5 0 0 0 10 2 0 0 1 2 5 5 5 10 0 2 5 0 1 1 5 4 5 0 5 0 10 1 0 0 4 2 4 0 1 5 5 1 5 2 1 2 1 0 5 0 0 1 1 0 5 3 0 2 5 0 1 5 4 2 10 0 0 1 2 10 2 2 0 5 5 0 0 0 5 1 5 0 1 2 2 5 0 2 0 3 1 5 5 0 1 4 3 4 5 4 5 2 1 1 2 5 5 3 2 4 2 2 2 0 0 4 5 1 5 0 2 10 2 0 0 2 2 1 5 2 0 5 5 0 2 2 0 2 1 3 5 1 0 5 0 2 0 0 5 0 0 0 2 4 1 4 10 0 0 2 0 0 0 0 5 0 0 5 3 5 5 2 0 2 5 5 10 2 2 0 0 0 5 0 0 0 4 0 0 2 1 5 2 10 5 0 2 10 5 5 0 1 10 3 5 6 3 2 2 5 1 1 2 3 0 6 0 2 0 10 10 2 5 0 5 2 2 0 2 2 2 2 2 2 2 4 5 6 5 2 2 2 0 10 0 1 0 0 5 2 1 0 5 1 2 0 0 2 10 5 3 5 0 0 2 0 2 10 1 5 1 4 0 0 0 0 0 2 10 5 6 0 2 5 10 5 0 5 1 0 0 5 1 0 0 1 0 5 0 3 3 2 5 0 2 10 0 2 1 0 10 1 2 10 0 1 3 5 0 5 2 10 1 5 0 0 5 0 5 4 5 0 1 1 5 2 5 0 0 0 10 5 1 10 10 10 5 0 0 1 10 1 1 5 0 2 5 1 4 0 0 3 3 10 2 3 0 0 0 5 2 5 0 2 2 4 1 10 0 2 2 2 5 0 10 1 6 1 2 0 5 0 0 10 2 6 5 5 4 5 4 0 1 0 1 0 5 2 0 3 2 0 5 5 4 5 5 5 0 0 2 5 2 0 2 10 10 2 2 1 0 0 0 3 1 1 10 2 2 6 0 10 6 4 5 10 0 2 0 10 4 0 3 5 10 0 0 1 2 0 2 5 0 2 5 1 0 1 5 3 2 0 2 6 2 10 4 5 5 0 0 1 5 0 5 1 0 5 10 5 0 5 2 2 0 0 2 0 0 10 1 0 10 5 10 1 0 2 5 0 2 0 5 3 0 0 0 1 0 10 5 3 6 5 5 5 5 10 2 0 0 0 1 2 0 0 0 2 5 2 1 2 4 4 5 5 0 2 0 10 5 10 10 10 2 2 0 1 3 0 0 5 1 0 2 5 1 0 5 0 1 5 3 1 5 0 0 5 3 2 0 2 1 10 10 0 4 5 2 5 2 2 2 0 5 2 10 2 0 5 5 2 0 5 2 0 0 0 10 10 2 0 2 5 0 4 2 0 5 5 2 1 0 0 0 0 2 5 2 0 0 0 5 1 0 5 4 0 0 2 2 10 3 5 0 0 0 0 0 1 0 1 0 2 0 0 2 10 4 5 0 3 2 2 0 1 5 2 1 2 1 1 5 0 3 1 0 5 1 5 5 0 1 3 1 1 10 10 2 0 5 1 1 5 1 0 5 10 2 0 0 5 0 10 4 10 0 2 3 0 2 2 5 1 2 2 1 0 2 5 1 5 0 2 0 2 0 0 0 2 0 1 0 0 2 10 2 5 0 5 5 2 0 0 2 5 2 0 2 0 0 1 0 4 2 2 1 2 2 0 2 2 5 0 0 0 10 3 10 1 2 0 1 3 0 5 0 0 10 2 0 0 0 2 1 1 5 2 1 1 1 5 0 0 0 0 1 0 1 5 0 2 2 0 0 0 1 2 5 3 0 0 0 0 1 0 0 1 4 5 2 1 6 4 2 4 0 2 0 10 0 0 0 2 4 3 2 0 5 1 5 0 2 1 0 0 5 0 0 2 0 0 0 0 0 5 5 1 5 0 2 10 1 3 5 0 5 2 1 0 3 1 5 3 0 5 1 0 5 1 0 2 2 0 4 5 2 5 5 2 1 5 10 0 1 0 0 4 0 0 0 6 0 5 4 0 4 6 4 0 2 0 2 0 2 0 0 4 0 5 0 5 3 5 0 10 10 5 0 4 1 1 5 1 5 1 5 2 0 0 1 0 10 3 0 2 10 5 5 1 1 2 2 2 5 5 5 2 5 0 3 0 0 1 0 2 5 0 1 0 6 0 1 5 2 0 0 5 5 2 0 5 2 1 5 5 1 10 2 0 2 5 0 2 0 5 10 5 0 0 0 10 5 0 0 10 3 0 0 0 5 0 0 1 0 2 0 5 5 0 0 0 5 0 2 5 0 5 0 3 0 2 5 4 5 4 0 5 0 5 0 1 0 5 0 10 5 1 0 4 0 1 1 2 5 2 5 3 2 0 5 2 2 2 5 0 5 0 5 0 2 10 1 3 1 0 0 1 3 2 5 0 1 2 2 0 5 3 4 1 5 5 10 2 0 0 6 2 5 0 4 10 0 1 2 1 5 5 2 4 2 0 2 5 5 5 2 0 3 0 5 0 6 5 1 10 5 0 1 3 10 1 1 5 5 2 2 5 1 0 0 5 0 0 5 2 1 10 2 3 2 1 3 4 5 10 0 1 0 2 2 5 2 1 2 0 0 2 10 5 5 0 1 1 3 0 1 0 2 0 5 0 2 10 10 0 5 0 1 0 0 0 4 10 5 10 5 5 0 1 3 3 10 5 1 10 1 0 1 4 2 5 5 5 3 0 0 0 1 2 2 10 2 0 0 0 0 10 10 10 4 3 2 3 0 3 2 10 0 4 0 5 2 10 5 5 2 0 3 5 2 0 5 0 5 0 0 3 0 0 2 0 1 10 10 6 0 0 2 0 1 10 0 0 1 5 2 2 1 1 2 3 0 2 0 1 10 2 0 2 0 0 10 1 0 2 2 2 10 0 5 2 0 0 2 10 10 5 3 2 2 0 0 2 5 0 2 6 2 2 0 0 4 2 2 5 3 5 5 1 2 0 0 0 6 2 5 5 1 5 5 2 2 2 4 5 4 5 5 10 0 0 0 0 5 0 5 0 10 5 4 2 3 1 1 10 10 3 5 5 10 1 0 10 1 1 0 0 5 2 2 2 2 5 1 1 5 0 0 5 5 1 5 5 5 1 0 5 1 0 5 0 5 0 10 0 0 0 2 5 5 2 0 5 6 3 0 0 5 1 5 2 2 5 0 2 2 2 5 0 0 3 0 2 1 0 10 5 0 2 0 0 0 2 0 0 1 5 1 0 0 0 0 0 10 10 5 2 10 0 0 0 3 0 5 5 1 0 1 10 3 1 5 0 0 0 0 0 5 10 2 4 6 2 0 0 2 0 4 0 1 0 0 0 5 0 1 5 0 2 2 0 0 5 0 2 2 0 0 0 0 0 4 0 4 5 1 0 1 5 1 1 0 6 0 0 10 4 5 5 0 2 0 0 0 5 5 0 2 10 5 10 2 3 2 2 4 0 0 1 2 1 0 5 0 5 0 5 0 0 1 2 5 0 5 1 2 1 5 2 0 2 2 0 3 0 10 3 5 0 2 0 1 10 10 4 5 0 0 0 5 5 0 0 1 5 1 6 0 2 2 5 4 1 2 1 10 0 2 10 0 10 2 0 0 1 4 2 0 0 5 2 1 3 6 2 2 1 5 2 0 2 5 6 10 4 5 4 2 1 0 5 0 1 0 5 2 10 0 2 10 3 0 3 0 3 2 0 10 0 2 0 5 0 4 0 5 1 0 4 2 0 4 5 10 2 1 0 6 2 0 10 1 10 0 1 1 10 1 5 0 2 10 1 6 1 10 5 0 0 2 0 10 5 2 10 5 5 0 5 2 0 5 10 0 10 10 0 5 10 1 5 5 0 0 5 0 0 2 1 0 0 1 10 3 2 2 1 2 2 5 0 2 1 0 5 6 0 1 5 6 5 2 5 6 10 5 1 2 0 2 1 10 1 5 2 2 2 5 2 2 5 5 0 5 5 6 5 5 5 0 0 2 5 2 2 1 5 5 2 0 2 1 3 1 1 0 10 0 0 4 2 0 2 0 0 5 5 2 1 5 10 0 5 2 2 2 2 1 2 10 0 5 2 5 2 2 1 2 5 0 10 5 2 3 5 2 2 2 6 0 5 0 10 10 5 2 10 0 5 3 3 0 1 5 2 0 4 2 0 0 0 10 4 4 0 1 0 4 4 5 0 2 0 2 2 5 0 0 1 0 2 0 0 5 0 5 0 0 0 10 10 0 5 0 0 0 5 0 0 0 2 1 0 0 0 3 3 1 3 1 5 2 10 0 0 2 0 5 0 0 2 5 10 2 5 1 0 0 1 10 10 2 5 5 10 5 0 0 10 2 6 2 1 1 3 2 5 2 2 5 0 10 0 0 10 2 4 1 5 0 5 5 0 5 5 5 1 5 2 0 1 0 2 2 1 2 3 10 10 0 6 2 3 6 0 10 5 6 3 2 1 2 2 0 0 10 0 0 1 2 10 10 2 5 10 0 0 2 0 0 0 0 0 5 0 1 4 0 1 5 0 10 1 3 6 1 6 2 10 5 5 4 0 2 0 1 2 1 0 10 0 0 2 2 10 0 4 5 0 1 2 4 5 5 1 10 0 3 5 5 1 5 0 2 5 0 5 6 10 1 5 1 10 4 0 1 5 5 0 4 0 10 5 1 1 2 5 2 2 3 5 5 5 0 2 0 5 10 0 2 3 2 5 5 5 5 0 2 0 0 5 1 0 5 0 10 10 1 5 2 10 1 5 5 2 5 4 2 6 5 0 5 1 6 2 10 5 2 0 1 0 0 10 5 0 0 0 2 10 2 0 5 5 2 1 5 10 1 1 5 3 5 0 1 1 10 0 1 0 4 2 5 4 2 2 1 2 10 5 10 10 5 0 0 4 0 2 2 5 5 3 3 5 2 10 0 4 4 0 5 5 5 4 10 1 2 5 1 2 5 0 6 0 5 5 5 0 5 1 0 1 2 2 4 10 5 4 0 5 2 1 5 0 5 0 0 4 2 2 5 1 0 3 0 0 3 2 0 1 5 1 0 5 0 1 0 0 0 10 0 0 2 0 4 2 0 2 5 2 0 10 0 1 5 0 0 3 1 2 2 0 6 2 5 4 0 2 5 3 1 1 2 0 2 0 5 0 2 10 2 5 5 2 0 5 5 0 4 0 1 1 0 0 0 0 5 1 4 0 5 5 0 10 0 1 3 0 6 5 2 2 0 1 10 10 2 1 2 0 5 0 10 1 5 2 4 4 1 5 1 5 1 10 0 5 2 1 0 10 0 3 0 5 0 4 10 6 0 0 3 10 1 5 5 2 1 2 2 2 5 10 5 5 0 2 0 2 1 2 5 1 5 5 0 5 0 5 0 2 5 2 5 5 5 1 5 2 0 2 0 0 10 2 1 2 5 0 5 1 10 5 5 2 4 5 5 0 0 0 2 0 4 0 0 2 5 0 1 10 0 10 5 5 5 5 2 0 0 4 1 1 0 6 2 6 4 2 3 1 1 </values> 1103.84/252.09 v </instantiation> 1103.84/252.09 c Unexpected resolution interruption!
OK 53184
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 (15311 MiB free)
memory of node 1: 16384 MiB (15603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271660-1502641174/watcher-4271660-1502641174 -o /tmp/evaluation-result-4271660-1502641174/solver-4271660-1502641174 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 469018562 HOME/instance-4271660-1502641174.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21994, runsolver pid=21991
[startup+0.100109 s]*
/proc/loadavg: 5.69 5.12 6.13 3/200 22015
/proc/meminfo: memFree=31640264/32770624 swapFree=67108860/67108860
[pid=21994] ppid=21991 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21994/stat : 21994 (xcsp3-exec) S 21991 21994 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97205659 9740288 346 33554432000 4194304 5098028 140729195383392 140729195381496 140155841204860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140729195390059 140729195390268 140729195390268 140729195393003 0
/proc/21994/statm: 2378 346 289 221 0 87 0
[pid=21996] ppid=21994 vsize=25999808 memory=27304 CPUtime=0.11 cores=0-7
/proc/21996/stat : 21996 (java) S 21994 21994 8183 0 -1 1077944320 5677 0 0 0 10 1 0 0 20 0 20 0 97205659 26623803392 6826 33554432000 4194304 4196468 140727227122016 140727227104560 140186062204663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
/proc/21996/statm: 6499952 6826 2875 1 0 6488269 0
[pid=21996/tid=21997] ppid=21994 vsize=25999808 memory=8328733993519194016 CPUtime=0.08 cores=0-7
/proc/21996/task/21997/stat : 21997 (java) R 21994 21994 8183 0 -1 4202560 3696 0 0 0 8 0 0 0 20 0 20 0 97205659 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186066434080 140186046248293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21998] ppid=21994 vsize=25999808 memory=732370610277821413 CPUtime=0 cores=0-7
/proc/21996/task/21998/stat : 21998 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186014825104 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21999] ppid=21994 vsize=25999808 memory=140471940368000 CPUtime=0 cores=0-7
/proc/21996/task/21999/stat : 21999 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186013772304 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22000] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22000/stat : 22000 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186012719504 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22001] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22001/stat : 22001 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186011666704 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22002] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22002/stat : 22002 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186010614928 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22003] ppid=21994 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21996/task/22003/stat : 22003 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186009562128 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22004] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22004/stat : 22004 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186008509328 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22005] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22005/stat : 22005 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26623803392 6826 33554432000 4194304 4196468 140727227122016 140186007456528 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22006] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22006/stat : 22006 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205662 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185323796848 140186062215810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22007] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22007/stat : 22007 (java) S 21994 21994 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97205662 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185322742816 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22008] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22008/stat : 22008 (java) S 21994 21994 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97205662 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185321689968 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22009] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22009/stat : 22009 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185320638288 140186062223259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22010] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22010/stat : 22010 (java) S 21994 21994 8183 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185319586672 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22011] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22011/stat : 22011 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185318533872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22012] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22012/stat : 22012 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185249507952 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22013] ppid=21994 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21996/task/22013/stat : 22013 (java) R 21994 21994 8183 0 -1 4202560 240 0 0 0 1 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185248455152 140186040751808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22014] ppid=21994 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22014/stat : 22014 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185247402592 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22015] ppid=21994 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21996/task/22015/stat : 22015 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26623803392 6826 33554432000 4194304 4196468 140727227122016 140185246349872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28688 KiB
[startup+0.210297 s]*
/proc/loadavg: 5.69 5.12 6.13 2/200 22015
/proc/meminfo: memFree=31631844/32770624 swapFree=67108860/67108860
[pid=21994] ppid=21991 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21994/stat : 21994 (xcsp3-exec) S 21991 21994 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97205659 9740288 346 33554432000 4194304 5098028 140729195383392 140729195381496 140155841204860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140729195390059 140729195390268 140729195390268 140729195393003 0
/proc/21994/statm: 2378 346 289 221 0 87 0
[pid=21996] ppid=21994 vsize=26004064 memory=39056 CPUtime=0.33 cores=0-7
/proc/21996/stat : 21996 (java) S 21994 21994 8183 0 -1 1077944320 8311 0 0 0 30 3 0 0 20 0 20 0 97205659 26628161536 9764 33554432000 4194304 4196468 140727227122016 140727227104560 140186062204663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
/proc/21996/statm: 6501016 9764 3050 1 0 6488269 0
[pid=21996/tid=21997] ppid=21994 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/21996/task/21997/stat : 21997 (java) R 21994 21994 8183 0 -1 4202560 5439 0 0 0 18 1 0 0 20 0 20 0 97205659 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186066425656 140186054882677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21998] ppid=21994 vsize=26004064 memory=732370610277821413 CPUtime=0 cores=0-7
/proc/21996/task/21998/stat : 21998 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186014825104 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21999] ppid=21994 vsize=26004064 memory=140471940368000 CPUtime=0 cores=0-7
/proc/21996/task/21999/stat : 21999 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186013772304 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22000] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22000/stat : 22000 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186012719504 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22001] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22001/stat : 22001 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186011666704 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22002] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22002/stat : 22002 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186010614928 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22003] ppid=21994 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21996/task/22003/stat : 22003 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186009562128 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22004] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22004/stat : 22004 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186008509328 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22005] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22005/stat : 22005 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 9764 33554432000 4194304 4196468 140727227122016 140186007456528 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22006] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22006/stat : 22006 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205662 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185323796848 140186062215810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22007] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22007/stat : 22007 (java) S 21994 21994 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97205662 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185322742816 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22008] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22008/stat : 22008 (java) S 21994 21994 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97205662 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185321689968 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22009] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22009/stat : 22009 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185320638288 140186062223259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22010] ppid=21994 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21996/task/22010/stat : 22010 (java) S 21994 21994 8183 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185319586672 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22011] ppid=21994 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21996/task/22011/stat : 22011 (java) S 21994 21994 8183 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185318533872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22012] ppid=21994 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21996/task/22012/stat : 22012 (java) S 21994 21994 8183 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185249507952 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22013] ppid=21994 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/21996/task/22013/stat : 22013 (java) S 21994 21994 8183 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185248455152 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22014] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22014/stat : 22014 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185247402592 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22015] ppid=21994 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21996/task/22015/stat : 22015 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26628161536 9764 33554432000 4194304 4196468 140727227122016 140185246349872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40440 KiB
[startup+0.309772 s]*
/proc/loadavg: 5.69 5.12 6.13 2/200 22015
/proc/meminfo: memFree=31625872/32770624 swapFree=67108860/67108860
[pid=21994] ppid=21991 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21994/stat : 21994 (xcsp3-exec) S 21991 21994 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97205659 9740288 346 33554432000 4194304 5098028 140729195383392 140729195381496 140155841204860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140729195390059 140729195390268 140729195390268 140729195393003 0
/proc/21994/statm: 2378 346 289 221 0 87 0
[pid=21996] ppid=21994 vsize=26004064 memory=45728 CPUtime=0.48 cores=0-7
/proc/21996/stat : 21996 (java) S 21994 21994 8183 0 -1 1077944320 9126 0 0 0 45 3 0 0 20 0 20 0 97205659 26628161536 11432 33554432000 4194304 4196468 140727227122016 140727227104560 140186062204663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
/proc/21996/statm: 6501016 11432 3073 1 0 6488269 0
[pid=21996/tid=21997] ppid=21994 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21996/task/21997/stat : 21997 (java) R 21994 21994 8183 0 -1 4202560 6117 0 0 0 27 2 0 0 20 0 20 0 97205659 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186066437088 140186062216598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21998] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/21998/stat : 21998 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186014825104 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21999] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/21999/stat : 21999 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186013772304 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22000] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22000/stat : 22000 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186012719504 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22001] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22001/stat : 22001 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186011666704 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22002] ppid=21994 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21996/task/22002/stat : 22002 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186010614928 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22003] ppid=21994 vsize=26004064 memory=140471804457903 CPUtime=0 cores=0-7
/proc/21996/task/22003/stat : 22003 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186009562128 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22004] ppid=21994 vsize=26004064 memory=140471804460208 CPUtime=0 cores=0-7
/proc/21996/task/22004/stat : 22004 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186008509328 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22005] ppid=21994 vsize=26004064 memory=140471804462512 CPUtime=0 cores=0-7
/proc/21996/task/22005/stat : 22005 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628161536 11432 33554432000 4194304 4196468 140727227122016 140186007456528 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22006] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22006/stat : 22006 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205662 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185323796848 140186062215810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22007] ppid=21994 vsize=26004064 memory=280943608931984 CPUtime=0 cores=0-7
/proc/21996/task/22007/stat : 22007 (java) S 21994 21994 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97205662 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185322742816 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22008] ppid=21994 vsize=26004064 memory=280943608938896 CPUtime=0 cores=0-7
/proc/21996/task/22008/stat : 22008 (java) S 21994 21994 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97205662 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185321689968 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22009] ppid=21994 vsize=26004064 memory=280943608880176 CPUtime=0 cores=0-7
/proc/21996/task/22009/stat : 22009 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185320638288 140186062223259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22010] ppid=21994 vsize=26004064 memory=280943608952720 CPUtime=0.01 cores=0-7
/proc/21996/task/22010/stat : 22010 (java) S 21994 21994 8183 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185319586672 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22011] ppid=21994 vsize=26004064 memory=280943608959632 CPUtime=0.02 cores=0-7
/proc/21996/task/22011/stat : 22011 (java) S 21994 21994 8183 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185318533872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22012] ppid=21994 vsize=26004064 memory=280943608957328 CPUtime=0.02 cores=0-7
/proc/21996/task/22012/stat : 22012 (java) S 21994 21994 8183 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185249507952 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22013] ppid=21994 vsize=26004064 memory=280943608973488 CPUtime=0.11 cores=0-7
/proc/21996/task/22013/stat : 22013 (java) R 21994 21994 8183 0 -1 4202560 799 0 0 0 11 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185248450832 140186047575952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22014] ppid=21994 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22014/stat : 22014 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185247402592 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22015] ppid=21994 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21996/task/22015/stat : 22015 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205665 26628161536 11432 33554432000 4194304 4196468 140727227122016 140185246349872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47112 KiB
[startup+0.701 s]
/proc/loadavg: 5.69 5.12 6.13 5/200 22015
/proc/meminfo: memFree=31599444/32770624 swapFree=67108860/67108860
[pid=21994] ppid=21991 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21994/stat : 21994 (xcsp3-exec) S 21991 21994 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97205659 9740288 346 33554432000 4194304 5098028 140729195383392 140729195381496 140155841204860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140729195390059 140729195390268 140729195390268 140729195393003 0
/proc/21994/statm: 2378 346 289 221 0 87 0
[pid=21996] ppid=21994 vsize=26004140 memory=102440 CPUtime=1.9 cores=0-7
/proc/21996/stat : 21996 (java) S 21994 21994 8183 0 -1 1077944320 13584 0 0 0 185 5 0 0 20 0 20 0 97205659 26628239360 25610 33554432000 4194304 4196468 140727227122016 140727227104560 140186062204663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
/proc/21996/statm: 6501035 25610 3198 1 0 6488269 0
[pid=21996/tid=21997] ppid=21994 vsize=26004140 memory=280943609268416 CPUtime=0.67 cores=0-7
/proc/21996/task/21997/stat : 21997 (java) R 21994 21994 8183 0 -1 4202560 6482 0 0 0 64 3 0 0 20 0 20 0 97205659 26628239360 25610 33554432000 4194304 4196468 140727227122016 140186066443072 140185671534053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21998] ppid=21994 vsize=26004140 memory=5050881541254 CPUtime=0 cores=0-7
/proc/21996/task/21998/stat : 21998 (java) S 21994 21994 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97205660 26628239360 25610 33554432000 4194304 4196468 140727227122016 140186014825104 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21999] ppid=21994 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/21999/stat : 21999 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26628239360 25610 33554432000 4194304 4196468 140727227122016 140186013772304 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22000] ppid=21994 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22000/stat : 22000 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97205660 26628239360 25610 33554432000 4194304 4196468 140727227122016 140186012719504 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
################
# More data... #
################
/proc/meminfo: memFree=22971964/32770624 swapFree=67108860/67108860
[pid=21994] ppid=21991 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21994/stat : 21994 (xcsp3-exec) S 21991 21994 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97205659 9740288 346 33554432000 4194304 5098028 140729195383392 140729195381496 140155841204860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140729195390059 140729195390268 140729195390268 140729195393003 0
/proc/21994/statm: 2378 346 289 221 0 87 0
[pid=21996] ppid=21994 vsize=26538700 memory=8681496 CPUtime=896.95 cores=0-7
/proc/21996/stat : 21996 (java) S 21994 21994 8183 0 -1 1077944320 1230141 0 0 0 87306 2389 0 0 20 0 28 0 97205659 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140727227104560 140186062204663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
/proc/21996/statm: 6634675 2170374 3311 1 0 6621909 0
[pid=21996/tid=21997] ppid=21994 vsize=26538700 memory=13040 CPUtime=100.38 cores=0-7
/proc/21996/task/21997/stat : 21997 (java) S 21994 21994 8183 0 -1 1077944384 14829 0 0 0 10023 15 0 0 20 0 28 0 97205659 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186066445440 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21998] ppid=21994 vsize=26538700 memory=1944 CPUtime=17.14 cores=0-7
/proc/21996/task/21998/stat : 21998 (java) S 21994 21994 8183 0 -1 1077944384 20596 0 0 0 1508 206 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186014825104 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21999] ppid=21994 vsize=26538700 memory=1196 CPUtime=17.08 cores=0-7
/proc/21996/task/21999/stat : 21999 (java) S 21994 21994 8183 0 -1 1077944384 21580 0 0 0 1491 217 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186013772304 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22000] ppid=21994 vsize=26538700 memory=8548 CPUtime=17.2 cores=0-7
/proc/21996/task/22000/stat : 22000 (java) S 21994 21994 8183 0 -1 1077944384 20507 0 0 0 1494 226 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186012719504 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22001] ppid=21994 vsize=26538700 memory=288230574492221466 CPUtime=17.13 cores=0-7
/proc/21996/task/22001/stat : 22001 (java) S 21994 21994 8183 0 -1 1077944384 24308 0 0 0 1498 215 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186011666704 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22002] ppid=21994 vsize=26538700 memory=288230604624101684 CPUtime=17.16 cores=0-7
/proc/21996/task/22002/stat : 22002 (java) S 21994 21994 8183 0 -1 1077944384 27482 0 0 0 1506 210 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186010614928 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22003] ppid=21994 vsize=26538700 memory=15823313175840883 CPUtime=17.16 cores=0-7
/proc/21996/task/22003/stat : 22003 (java) S 21994 21994 8183 0 -1 1077944384 31265 0 0 0 1498 218 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186009562128 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22004] ppid=21994 vsize=26538700 memory=8681428 CPUtime=17.29 cores=0-7
/proc/21996/task/22004/stat : 22004 (java) S 21994 21994 8183 0 -1 1077944384 67868 0 0 0 1526 203 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186008509328 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22005] ppid=21994 vsize=26538700 memory=-7003737579269690708 CPUtime=17.11 cores=0-7
/proc/21996/task/22005/stat : 22005 (java) S 21994 21994 8183 0 -1 1077944384 24748 0 0 0 1486 225 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186007456528 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22006] ppid=21994 vsize=26538700 memory=1788 CPUtime=2.73 cores=0-7
/proc/21996/task/22006/stat : 22006 (java) S 21994 21994 8183 0 -1 1077944384 23988 0 0 0 262 11 0 0 20 0 28 0 97205662 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185323796848 140186062215810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22007] ppid=21994 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/21996/task/22007/stat : 22007 (java) S 21994 21994 8183 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 97205662 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185322742880 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22008] ppid=21994 vsize=26538700 memory=2344 CPUtime=0 cores=0-7
/proc/21996/task/22008/stat : 22008 (java) S 21994 21994 8183 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 97205662 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185321689984 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22009] ppid=21994 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/21996/task/22009/stat : 22009 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185320638288 140186062223259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22010] ppid=21994 vsize=26538700 memory=1568 CPUtime=3.88 cores=0-7
/proc/21996/task/22010/stat : 22010 (java) S 21994 21994 8183 0 -1 1077944384 27776 0 0 0 384 4 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185319586672 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22011] ppid=21994 vsize=26538700 memory=8681496 CPUtime=3.96 cores=0-7
/proc/21996/task/22011/stat : 22011 (java) S 21994 21994 8183 0 -1 1077944384 27342 0 0 0 391 5 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185318533872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22012] ppid=21994 vsize=26538700 memory=6791534058613427641 CPUtime=4.03 cores=0-7
/proc/21996/task/22012/stat : 22012 (java) S 21994 21994 8183 0 -1 1077944384 23264 0 0 0 398 5 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185249507952 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22013] ppid=21994 vsize=26538700 memory=-7003737579269690708 CPUtime=1 cores=0-7
/proc/21996/task/22013/stat : 22013 (java) S 21994 21994 8183 0 -1 1077944384 16278 0 0 0 96 4 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185248455152 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22014] ppid=21994 vsize=26538700 memory=6764 CPUtime=0 cores=0-7
/proc/21996/task/22014/stat : 22014 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185247402592 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22015] ppid=21994 vsize=26538700 memory=9 CPUtime=0.09 cores=0-7
/proc/21996/task/22015/stat : 22015 (java) S 21994 21994 8183 0 -1 1077944384 2842 0 0 0 4 5 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185246349872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22128] ppid=21994 vsize=26538700 memory=54 CPUtime=3.73 cores=0-7
/proc/21996/task/22128/stat : 22128 (java) R 21994 21994 8183 0 -1 4202560 1322 0 0 0 353 20 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185231465432 140185676559820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22129] ppid=21994 vsize=26538700 memory=54 CPUtime=3.74 cores=0-7
/proc/21996/task/22129/stat : 22129 (java) R 21994 21994 8183 0 -1 4202560 967 0 0 0 356 18 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185237782120 140185676372672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22130] ppid=21994 vsize=26538700 memory=54 CPUtime=3.72 cores=0-7
/proc/21996/task/22130/stat : 22130 (java) R 21994 21994 8183 0 -1 4202560 932 0 0 0 356 16 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185235677760 140185676561018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22131] ppid=21994 vsize=26538700 memory=55 CPUtime=3.73 cores=0-7
/proc/21996/task/22131/stat : 22131 (java) R 21994 21994 8183 0 -1 4202560 71043 0 0 0 329 44 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185233571880 140185676561675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22132] ppid=21994 vsize=26538700 memory=55 CPUtime=3.73 cores=0-7
/proc/21996/task/22132/stat : 22132 (java) R 21994 21994 8183 0 -1 4202560 2197 0 0 0 347 26 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185236730088 140185676370553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22133] ppid=21994 vsize=26538700 memory=55 CPUtime=3.74 cores=0-7
/proc/21996/task/22133/stat : 22133 (java) R 21994 21994 8183 0 -1 4202560 1852 0 0 0 374 0 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185238835424 140185676370831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22134] ppid=21994 vsize=26538700 memory=54 CPUtime=3.74 cores=0-7
/proc/21996/task/22134/stat : 22134 (java) R 21994 21994 8183 0 -1 4202560 2245 0 0 0 365 9 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185232519144 140185676560834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22135] ppid=21994 vsize=26538700 memory=53 CPUtime=3.65 cores=0-7
/proc/21996/task/22135/stat : 22135 (java) R 21994 21994 8183 0 -1 4202560 358 0 0 0 365 0 0 0 20 0 28 0 97227514 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185234624216 140185676561418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
Current children cumulated CPU time: 896.95 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8682880 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]
/proc/loadavg: 6.36 5.04 5.78 10/207 22143
/proc/meminfo: memFree=22971552/32770624 swapFree=67108860/67108860
[pid=21994] ppid=21991 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21994/stat : 21994 (xcsp3-exec) S 21991 21994 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97205659 9740288 346 33554432000 4194304 5098028 140729195383392 140729195381496 140155841204860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140729195390059 140729195390268 140729195390268 140729195393003 0
/proc/21994/statm: 2378 346 289 221 0 87 0
[pid=21996] ppid=21994 vsize=26538700 memory=8681496 CPUtime=1103.84 cores=0-7
/proc/21996/stat : 21996 (java) S 21994 21994 8183 0 -1 1077944320 1482218 0 0 0 107845 2539 0 0 20 0 28 0 97205659 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140727227104560 140186062204663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
/proc/21996/statm: 6634675 2170374 3311 1 0 6621909 0
[pid=21996/tid=21997] ppid=21994 vsize=26538700 memory=8681496 CPUtime=100.38 cores=0-7
/proc/21996/task/21997/stat : 21997 (java) S 21994 21994 8183 0 -1 1077944384 15159 0 0 0 10023 15 0 0 20 0 28 0 97205659 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186066445440 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21998] ppid=21994 vsize=26538700 memory=8681496 CPUtime=17.14 cores=0-7
/proc/21996/task/21998/stat : 21998 (java) S 21994 21994 8183 0 -1 1077944384 20596 0 0 0 1508 206 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186014825104 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=21999] ppid=21994 vsize=26538700 memory=8681496 CPUtime=17.08 cores=0-7
/proc/21996/task/21999/stat : 21999 (java) S 21994 21994 8183 0 -1 1077944384 21580 0 0 0 1491 217 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186013772304 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22000] ppid=21994 vsize=26538700 memory=1384 CPUtime=17.2 cores=0-7
/proc/21996/task/22000/stat : 22000 (java) S 21994 21994 8183 0 -1 1077944384 20507 0 0 0 1494 226 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186012719504 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22001] ppid=21994 vsize=26538700 memory=1384 CPUtime=17.13 cores=0-7
/proc/21996/task/22001/stat : 22001 (java) S 21994 21994 8183 0 -1 1077944384 24308 0 0 0 1498 215 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186011666704 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22002] ppid=21994 vsize=26538700 memory=8681496 CPUtime=17.16 cores=0-7
/proc/21996/task/22002/stat : 22002 (java) S 21994 21994 8183 0 -1 1077944384 27482 0 0 0 1506 210 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186010614928 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22003] ppid=21994 vsize=26538700 memory=0 CPUtime=17.16 cores=0-7
/proc/21996/task/22003/stat : 22003 (java) S 21994 21994 8183 0 -1 1077944384 31265 0 0 0 1498 218 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186009562128 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22004] ppid=21994 vsize=26538700 memory=1384 CPUtime=17.29 cores=0-7
/proc/21996/task/22004/stat : 22004 (java) S 21994 21994 8183 0 -1 1077944384 67868 0 0 0 1526 203 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186008509328 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22005] ppid=21994 vsize=26538700 memory=8681496 CPUtime=17.11 cores=0-7
/proc/21996/task/22005/stat : 22005 (java) S 21994 21994 8183 0 -1 1077944384 24748 0 0 0 1486 225 0 0 20 0 28 0 97205660 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140186007456528 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22006] ppid=21994 vsize=26538700 memory=8283188 CPUtime=2.73 cores=0-7
/proc/21996/task/22006/stat : 22006 (java) S 21994 21994 8183 0 -1 1077944384 24178 0 0 0 262 11 0 0 20 0 28 0 97205662 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185323796848 140186062215810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22007] ppid=21994 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/21996/task/22007/stat : 22007 (java) S 21994 21994 8183 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 97205662 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185322742880 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22008] ppid=21994 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/21996/task/22008/stat : 22008 (java) S 21994 21994 8183 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 97205662 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185321689984 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22009] ppid=21994 vsize=26538700 memory=18476 CPUtime=0 cores=0-7
/proc/21996/task/22009/stat : 22009 (java) S 21994 21994 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185320638288 140186062223259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22010] ppid=21994 vsize=26538700 memory=1384 CPUtime=3.92 cores=0-7
/proc/21996/task/22010/stat : 22010 (java) S 21994 21994 8183 0 -1 1077944384 30624 0 0 0 388 4 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185319586672 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22011] ppid=21994 vsize=26538700 memory=8681496 CPUtime=3.97 cores=0-7
/proc/21996/task/22011/stat : 22011 (java) S 21994 21994 8183 0 -1 1077944384 27665 0 0 0 392 5 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185318533872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22012] ppid=21994 vsize=26538700 memory=1384 CPUtime=4.05 cores=0-7
/proc/21996/task/22012/stat : 22012 (java) S 21994 21994 8183 0 -1 1077944384 24344 0 0 0 400 5 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185249507952 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22013] ppid=21994 vsize=26538700 memory=1384 CPUtime=1 cores=0-7
/proc/21996/task/22013/stat : 22013 (java) S 21994 21994 8183 0 -1 1077944384 16765 0 0 0 96 4 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185248455152 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22014] ppid=21994 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21996/task/22014/stat : 22014 (java) S 21994 21994 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185247402592 140186062214869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22015] ppid=21994 vsize=26538700 memory=604326780893294388 CPUtime=0.1 cores=0-7
/proc/21996/task/22015/stat : 22015 (java) S 21994 21994 8183 0 -1 1077944384 3143 0 0 0 4 6 0 0 20 0 28 0 97205665 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185246349872 140186062215810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22136] ppid=21994 vsize=26538700 memory=0 CPUtime=9.23 cores=0-7
/proc/21996/task/22136/stat : 22136 (java) R 21994 21994 8183 0 -1 4202560 1908 0 0 0 922 1 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185237781464 140185673274616 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22137] ppid=21994 vsize=26538700 memory=6943526294502006880 CPUtime=9.4 cores=0-7
/proc/21996/task/22137/stat : 22137 (java) R 21994 21994 8183 0 -1 4202560 1789 0 0 0 938 2 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185232518768 140185676370625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22138] ppid=21994 vsize=26538700 memory=5792 CPUtime=9.45 cores=0-7
/proc/21996/task/22138/stat : 22138 (java) R 21994 21994 8183 0 -1 4202560 1505 0 0 0 945 0 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185231467240 140185676563227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22139] ppid=21994 vsize=26538700 memory=4616 CPUtime=9.44 cores=0-7
/proc/21996/task/22139/stat : 22139 (java) R 21994 21994 8183 0 -1 4202560 3514 0 0 0 943 1 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185238837896 140185676561211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22140] ppid=21994 vsize=26538700 memory=792 CPUtime=9.43 cores=0-7
/proc/21996/task/22140/stat : 22140 (java) R 21994 21994 8183 0 -1 4202560 2995 0 0 0 943 0 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185235678232 140185676562753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22141] ppid=21994 vsize=26538700 memory=1384 CPUtime=9.44 cores=0-7
/proc/21996/task/22141/stat : 22141 (java) R 21994 21994 8183 0 -1 4202560 2637 0 0 0 944 0 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185236730216 140185672684962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22142] ppid=21994 vsize=26538700 memory=8681424 CPUtime=9.44 cores=0-7
/proc/21996/task/22142/stat : 22142 (java) R 21994 21994 8183 0 -1 4202560 106568 0 0 0 895 49 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185234624424 140185672685026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
[pid=21996/tid=22143] ppid=21994 vsize=26538700 memory=1384 CPUtime=9.45 cores=0-7
/proc/21996/task/22143/stat : 22143 (java) R 21994 21994 8183 0 -1 4202560 639 0 0 0 925 20 0 0 20 0 28 0 97229912 27175628800 2170374 33554432000 4194304 4196468 140727227122016 140185233571544 140185676561604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140727227131032 140727227131208 140727227131208 140727227133903 0
Current children cumulated CPU time: 1103.84 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8682880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.036 s]
# the end of solver process 21994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001924 s
[startup+252.163 s]
# the end of solver process 21996 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1079.26 s, system=25.4541 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
[startup+252.123 s]*
/proc/loadavg: 6.36 5.04 5.78 2/180 22145
/proc/meminfo: memFree=25221168/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001924 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 252.163
CPU time (s): 1104.72
CPU user time (s): 1079.26
CPU system time (s): 25.4541
CPU usage (%): 438.097
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 8686500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1079.26
system time used= 25.4541
maximum resident set size= 8685116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1483584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22166
involuntary context switches= 12726
# summary of solver processes directly reported to runsolver:
# pid: 21994,21996
# total CPU time (s): 1104.72
# total CPU user time (s): 1079.26
# total CPU system time (s): 25.4541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04873 second user time and 2.8686 second system time
The end
Begin job on node103 at 2017-08-13 18:05:16 IDJOB=4271660 IDBENCH=123121 IDSOLVER=2663 FILE ID=node103/4271660-1502641174 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61792 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271660-1502641174/watcher-4271660-1502641174 -o /tmp/evaluation-result-4271660-1502641174/solver-4271660-1502641174 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 469018562 HOME/instance-4271660-1502641174.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d RANDOM SEED=469018562 node103.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.56 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.56 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.56 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.56 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: 31657760 kB MemAvailable: 31993328 kB Buffers: 106928 kB Cached: 523256 kB SwapCached: 0 kB Active: 517384 kB Inactive: 168696 kB Active(anon): 5184 kB Inactive(anon): 78632 kB Active(file): 512200 kB Inactive(file): 90064 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7908 kB Writeback: 0 kB AnonPages: 53332 kB Mapped: 43688 kB Shmem: 25228 kB Slab: 124196 kB SReclaimable: 98280 kB SUnreclaim: 25916 kB KernelStack: 3600 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323560 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 18:09:28