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-07-26) | SAT (TO) | 53678 | 806.31702 | 252.08 |
| 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-4254688-1502641134.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4254688-1502641134.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 185.98/117.61 c solve instance... 267.80/129.42 o 54281 270.25/130.45 o 54246 270.69/130.58 o 54186 282.56/139.07 o 54144 283.44/139.22 o 54134 283.96/139.31 o 54121 284.47/139.43 o 54111 285.01/139.57 o 53796 332.39/149.82 o 53789 413.75/162.04 o 53775 414.61/162.22 o 53764 449.96/170.71 o 53750 589.84/192.04 o 53747 596.35/197.69 o 53736 631.23/208.67 o 53722 732.29/225.95 o 53705 733.74/226.47 o 53694 747.98/233.70 o 53687 784.75/243.65 o 53683 802.47/250.36 o 53678 806.22/252.02 s SATISFIABLE 806.22/252.02 v <instantiation> 806.22/252.02 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> 806.22/252.02 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 73 76 79 80 75 78 72 74 77 0 5 0 10 0 10 10 2 0 6 1 2 1 2 10 10 1 2 5 0 5 5 2 4 0 2 0 4 0 0 10 1 2 5 10 0 1 2 2 1 5 10 5 10 1 0 4 2 10 5 0 5 2 2 2 2 5 5 2 2 10 0 1 1 0 0 0 0 5 6 1 2 4 1 5 3 1 10 10 2 5 1 10 0 5 0 5 0 5 5 2 5 10 4 0 5 1 5 0 0 0 0 5 10 5 5 0 5 2 2 10 0 5 5 2 1 0 3 0 0 0 10 5 10 4 0 0 0 0 0 5 3 5 0 0 0 5 0 1 0 0 5 0 5 5 5 5 5 5 2 0 2 5 0 0 5 3 2 0 5 6 5 2 0 2 0 2 0 6 1 1 3 0 0 5 1 10 1 2 0 5 6 5 2 2 1 5 5 5 1 0 1 0 1 1 5 6 0 1 0 0 1 5 5 5 2 4 0 1 0 1 10 0 0 0 2 5 2 0 0 3 10 0 0 5 5 0 4 6 1 2 1 0 3 2 5 2 0 10 5 0 0 5 5 5 4 2 0 0 0 3 2 2 1 5 5 5 0 5 3 2 0 2 0 3 5 2 0 0 5 10 5 2 5 5 0 0 0 0 0 5 10 1 0 0 2 5 0 5 0 1 0 5 2 4 3 5 2 1 3 0 6 4 5 1 0 1 2 2 5 5 0 1 1 10 0 2 5 0 5 2 5 3 0 5 5 4 0 0 1 0 0 5 0 3 1 1 0 1 5 4 0 2 1 2 0 1 2 0 5 5 10 0 5 1 2 5 1 5 2 2 2 0 5 0 1 10 2 0 1 10 2 2 0 1 0 0 2 4 10 5 2 4 5 5 2 10 3 1 2 5 0 5 2 5 2 0 5 1 5 10 5 0 0 10 1 2 1 0 2 1 10 5 0 5 0 0 2 5 10 2 1 5 2 10 0 0 5 3 0 1 6 3 5 2 5 2 0 2 5 0 5 2 5 3 0 2 2 2 1 5 0 2 5 2 0 1 1 0 10 0 2 5 0 6 0 5 0 1 0 1 0 2 2 2 10 5 0 10 0 0 5 0 0 5 10 0 0 10 2 1 0 0 2 2 5 10 0 10 1 5 0 5 2 10 2 4 4 0 1 1 2 0 5 5 0 10 0 1 5 4 3 2 2 0 5 6 2 3 0 0 0 0 1 2 5 5 5 2 10 5 2 1 0 4 2 5 2 2 3 2 2 0 2 2 2 1 1 2 1 0 0 10 0 1 0 1 5 2 1 0 0 1 2 6 2 5 0 0 0 0 5 2 0 2 0 0 0 2 0 5 2 0 2 2 2 0 0 2 0 5 0 10 5 0 0 2 1 0 4 5 2 0 10 0 0 10 0 0 6 1 5 0 2 0 2 0 5 5 10 0 0 1 10 2 0 5 1 0 1 3 0 1 1 0 0 2 1 2 2 10 10 10 0 0 1 1 2 0 1 0 5 0 5 5 0 3 3 4 5 2 0 2 2 5 0 0 0 0 2 1 1 0 10 5 0 0 5 0 0 2 5 10 5 0 0 0 5 5 0 5 10 0 1 2 2 0 0 5 1 10 0 10 5 5 1 5 5 5 2 10 0 10 0 0 5 10 5 1 2 2 2 1 3 0 1 5 0 1 2 1 0 0 0 10 3 0 0 4 5 0 0 10 5 0 1 3 2 1 2 4 1 5 2 2 0 2 4 0 4 0 2 3 1 0 6 6 5 0 6 0 2 5 2 0 4 1 10 0 10 0 1 2 1 5 6 0 1 10 1 5 5 5 0 2 1 0 5 10 4 0 0 5 5 10 2 0 2 5 1 0 0 1 0 1 2 5 1 0 0 1 4 2 5 0 3 1 1 5 1 5 5 1 3 5 10 0 5 0 3 3 0 5 1 2 4 10 5 10 2 2 1 0 10 0 0 5 2 2 5 1 0 5 4 2 10 5 0 5 0 0 4 5 6 5 10 2 6 2 0 10 0 0 2 0 1 2 3 5 0 2 10 1 0 1 3 0 5 0 0 0 4 10 10 2 1 2 1 2 5 0 10 5 2 2 5 10 2 0 1 1 0 10 10 3 2 1 0 10 5 3 10 10 5 10 2 0 5 10 3 0 5 1 0 5 0 4 5 3 5 5 0 5 3 2 2 10 10 2 0 1 0 5 2 0 2 0 2 5 2 0 2 10 5 1 2 5 10 3 2 5 2 1 0 0 5 2 0 2 10 5 0 5 2 0 3 5 0 0 0 1 5 6 0 2 1 10 0 0 2 5 0 0 10 2 5 2 1 2 5 10 5 10 1 10 3 10 5 0 0 0 5 2 0 0 10 5 5 5 6 2 0 10 1 4 5 5 3 1 0 1 5 5 2 0 4 0 5 5 4 5 0 0 0 5 3 0 5 0 2 0 1 4 5 2 0 5 0 0 3 2 0 6 5 0 0 5 0 10 1 0 1 3 0 2 0 1 0 0 1 0 0 5 2 10 5 3 0 0 0 1 1 10 2 10 5 0 5 1 0 0 3 5 2 5 1 1 4 2 5 0 2 5 1 0 2 3 2 5 0 0 0 1 1 0 10 10 2 1 2 0 5 0 4 0 2 2 5 2 2 2 4 0 0 3 5 0 2 3 4 5 1 1 0 10 0 4 10 5 1 10 3 10 0 5 2 0 2 3 5 0 2 10 1 5 0 1 3 10 0 5 10 5 5 1 2 1 1 6 5 0 0 0 0 10 10 0 0 0 0 1 5 10 0 0 0 5 1 5 10 5 2 10 0 5 1 5 10 5 0 2 0 1 0 0 5 10 0 1 0 5 5 2 5 2 1 2 3 10 5 2 1 2 1 0 1 2 5 0 2 0 0 2 5 2 10 5 2 0 2 10 0 0 5 5 0 0 2 5 2 5 0 1 4 0 5 0 5 5 0 5 5 5 5 2 1 5 4 0 1 5 2 0 1 0 1 5 10 2 1 3 4 5 2 0 0 1 6 0 5 10 1 5 0 0 2 5 5 0 0 5 5 5 5 10 5 5 1 1 5 1 2 0 0 0 5 0 2 10 1 1 5 5 5 1 2 0 5 4 4 0 1 2 0 1 4 5 2 5 5 5 1 5 10 1 3 0 0 4 0 2 5 5 0 2 4 1 1 0 10 5 0 0 2 4 4 0 0 3 0 3 5 5 3 10 1 0 1 5 5 1 5 10 0 2 5 0 5 5 5 4 5 4 0 1 2 5 2 0 5 4 2 0 4 2 5 2 10 5 5 5 2 5 0 4 2 0 0 0 1 5 2 5 5 0 0 10 0 0 1 1 1 5 2 3 4 0 0 10 6 10 0 10 0 1 0 10 0 0 0 1 0 10 6 5 4 5 0 4 2 2 5 0 5 0 0 0 0 5 5 0 3 0 1 0 5 5 10 5 2 5 0 4 0 0 0 0 2 2 0 5 0 10 0 5 2 5 10 0 0 5 2 3 0 5 1 1 2 0 0 2 0 2 0 0 10 0 5 0 0 4 4 10 0 10 5 2 5 5 5 5 2 2 2 0 2 0 5 1 2 0 5 0 0 10 0 0 6 5 0 1 2 5 1 4 10 5 1 0 10 0 5 3 10 3 4 5 0 5 2 5 10 0 5 10 10 10 0 0 4 3 5 2 2 2 1 10 0 2 0 1 5 0 2 10 1 6 5 5 0 4 5 6 0 2 3 4 2 1 3 0 0 0 0 5 1 5 2 5 0 0 0 0 0 0 0 2 5 0 5 1 10 0 0 1 2 5 2 0 2 4 5 1 4 1 1 0 4 2 0 1 0 0 0 5 6 2 10 1 5 0 0 5 0 2 5 0 2 1 0 2 2 1 2 10 0 0 10 1 2 5 1 5 1 0 0 2 5 5 2 1 0 0 5 1 0 5 2 1 10 0 5 5 2 2 0 10 2 1 0 4 0 2 1 1 1 1 0 2 0 1 0 10 5 0 2 1 1 10 0 1 5 5 2 4 10 5 5 0 10 5 0 0 2 1 10 2 2 2 3 6 0 5 0 1 0 2 1 5 5 0 5 0 2 0 3 10 4 1 2 2 5 5 0 0 3 10 1 3 2 0 2 0 6 3 0 0 1 2 3 1 4 0 2 5 5 0 0 0 0 1 2 10 0 2 3 10 6 4 2 2 5 10 4 0 0 10 2 4 5 0 0 6 5 0 1 2 2 10 1 2 0 3 2 2 1 1 10 0 2 5 0 1 0 3 5 2 0 0 0 0 0 5 5 5 2 1 5 6 2 6 2 5 3 5 5 5 2 2 5 6 10 5 2 5 1 0 1 2 5 5 0 2 5 0 0 0 3 0 1 0 5 0 0 10 0 5 1 10 2 2 2 10 0 0 1 4 0 10 0 4 1 5 3 2 0 1 2 5 6 1 10 1 0 2 4 1 4 4 0 2 2 2 0 1 2 0 1 5 10 2 0 5 0 4 5 0 6 1 0 2 10 0 5 2 2 2 4 2 5 1 2 5 0 2 4 2 2 0 10 3 5 0 2 5 0 2 0 5 0 0 6 0 0 5 0 0 0 0 0 5 5 0 5 0 4 0 0 2 3 10 0 0 1 2 10 2 1 10 1 4 5 10 0 5 2 1 5 10 0 2 10 3 3 2 0 2 0 10 5 6 5 0 0 2 0 1 0 0 1 5 0 2 2 1 10 5 5 0 1 0 2 0 2 0 0 0 2 5 10 1 5 0 0 10 0 0 5 0 5 0 3 0 0 0 0 2 0 5 1 2 5 1 1 0 1 0 4 2 0 5 0 10 0 5 5 5 10 0 2 2 1 3 1 10 2 2 5 0 5 0 5 2 1 4 5 1 1 5 0 0 2 5 0 2 3 2 0 0 0 2 5 0 2 2 0 5 5 0 0 4 3 2 10 0 2 0 0 5 5 3 5 2 10 2 5 2 0 0 5 2 0 0 3 0 6 10 5 1 1 1 2 5 10 0 2 2 5 0 0 4 0 0 1 4 5 5 2 3 5 0 1 0 0 0 6 0 5 0 2 1 4 0 6 0 5 5 1 4 2 5 5 1 10 5 0 2 1 10 5 10 5 10 1 10 10 0 1 2 2 0 5 5 2 2 0 1 3 0 10 1 5 5 2 5 1 10 0 5 5 2 2 5 2 10 0 2 4 1 5 5 2 0 10 2 5 5 0 2 0 1 0 0 0 0 5 0 2 0 6 6 5 2 2 3 5 5 2 0 5 3 3 0 4 2 2 1 0 3 0 0 1 2 0 2 0 0 2 5 1 2 3 0 0 2 0 0 10 0 5 5 1 2 5 4 3 0 5 10 2 2 1 0 0 5 6 0 5 0 0 1 0 0 2 2 0 0 10 3 0 3 5 3 3 5 3 0 2 2 10 3 0 5 5 2 2 1 3 0 1 2 5 10 0 0 0 2 5 5 0 0 1 0 0 5 10 0 2 0 1 2 0 0 2 5 2 2 0 3 0 2 2 2 1 4 5 5 0 0 1 2 0 4 1 1 5 2 2 0 10 2 5 1 10 2 2 2 1 5 2 0 2 5 0 0 3 0 5 2 2 0 0 0 0 1 10 4 5 5 0 2 3 0 0 0 1 0 3 5 5 2 1 1 2 10 0 3 2 5 1 0 0 0 10 2 10 1 0 0 1 2 0 0 5 5 6 2 5 1 0 0 10 1 5 6 1 4 2 2 4 10 5 2 0 2 0 2 5 5 0 5 0 0 0 3 5 5 2 1 2 0 0 0 10 0 1 2 1 5 5 10 2 2 4 0 0 2 0 0 0 10 0 0 3 5 1 10 5 5 1 10 10 0 0 0 0 1 1 5 10 0 0 2 0 10 10 5 2 3 10 2 1 0 5 0 1 0 10 0 4 0 5 1 2 0 10 1 0 0 3 0 0 3 1 1 1 0 0 1 3 0 2 1 0 2 2 5 5 0 0 5 0 0 0 0 0 3 1 1 0 1 10 0 0 2 0 1 10 2 2 10 0 1 3 0 5 10 10 0 5 0 2 5 1 2 2 5 0 0 0 10 0 3 0 1 0 2 10 2 4 0 0 2 10 2 6 0 5 3 1 3 5 2 2 5 0 0 0 2 0 2 4 6 0 0 2 10 3 2 0 1 0 1 1 5 2 1 5 0 2 0 5 0 1 2 4 2 3 2 2 2 6 0 0 0 0 1 4 0 5 0 2 0 4 2 0 0 4 1 5 0 5 10 1 5 1 2 5 4 2 2 5 10 0 1 0 5 2 2 5 5 10 4 2 2 5 0 2 10 2 10 0 0 5 10 5 1 0 0 0 4 2 4 0 0 0 2 0 0 5 1 0 5 1 10 2 3 0 0 4 3 3 0 0 1 1 0 5 0 0 0 6 2 0 6 2 2 2 2 5 5 5 0 0 0 5 5 5 0 6 2 0 5 4 5 0 0 1 1 0 0 0 0 2 0 2 5 10 1 4 0 0 4 2 2 10 5 0 5 5 5 0 1 3 10 3 2 5 1 2 2 0 2 1 2 2 2 2 0 5 0 5 4 0 10 6 3 5 0 2 5 5 4 3 0 0 0 1 4 0 4 1 2 1 10 2 5 1 5 0 10 1 10 1 5 2 5 0 0 10 0 2 0 5 1 0 2 1 10 0 5 0 10 2 5 2 5 5 0 10 1 6 1 10 5 10 5 1 1 5 2 3 2 6 0 4 0 0 5 0 0 2 10 0 5 0 6 10 10 0 5 2 5 0 0 0 10 0 2 2 1 0 0 2 5 10 3 0 0 0 2 0 0 4 2 1 2 5 1 0 5 3 5 1 0 0 2 5 0 0 10 2 0 0 2 5 4 5 0 4 5 0 0 1 5 0 10 5 5 5 2 6 4 1 6 5 1 3 1 2 6 0 0 1 2 1 2 3 1 1 6 0 0 2 0 1 5 1 1 10 0 2 5 0 2 5 2 5 5 2 2 2 2 1 2 0 5 3 2 5 1 5 2 5 0 5 10 0 0 4 0 0 0 0 0 2 5 2 0 0 0 1 5 10 0 2 2 5 2 2 2 3 3 0 2 1 0 0 1 5 5 5 0 0 0 2 10 0 0 2 0 5 1 2 6 2 0 2 5 5 0 2 0 0 5 5 2 4 5 0 2 5 3 10 1 1 2 1 0 3 2 5 10 2 3 5 2 0 5 0 2 5 5 0 10 5 2 5 1 5 0 5 10 5 2 0 0 1 1 5 2 0 5 0 4 10 0 10 5 1 </values> 806.22/252.02 v </instantiation> 806.22/252.02 c Unexpected resolution interruption!
OK 53678
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 (14297 MiB free)
memory of node 1: 16384 MiB (14169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254688-1502641134/watcher-4254688-1502641134 -o /tmp/evaluation-result-4254688-1502641134/solver-4254688-1502641134 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 866434740 HOME/instance-4254688-1502641134.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=12385, runsolver pid=12382
[startup+0.100135 s]*
/proc/loadavg: 1.62 4.08 6.20 2/201 12406
/proc/meminfo: memFree=29134632/32770624 swapFree=67108860/67108860
[pid=12385] ppid=12382 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12385/stat : 12385 (xcsp3-exec) S 12382 12385 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97201532 9740288 346 33554432000 4194304 5098028 140721378260528 140721378258632 139839520170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31678464 140721378264171 140721378264380 140721378264380 140721378267115 0
/proc/12385/statm: 2378 346 289 221 0 87 0
[pid=12387] ppid=12385 vsize=25999808 memory=26976 CPUtime=0.12 cores=0-7
/proc/12387/stat : 12387 (java) S 12385 12385 3823 0 -1 1077944320 5672 0 0 0 11 1 0 0 20 0 20 0 97201532 26623803392 6744 33554432000 4194304 4196468 140725216383088 140725216365632 139844791770871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
/proc/12387/statm: 6499952 6744 2839 1 0 6488269 0
[pid=12387/tid=12388] ppid=12385 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12387/task/12388/stat : 12388 (java) R 12385 12385 3823 0 -1 4202560 3683 0 0 0 8 0 0 0 20 0 20 0 97201533 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844796004144 139844420520944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12389] ppid=12385 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12387/task/12389/stat : 12389 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844744391440 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12390] ppid=12385 vsize=25999808 memory=140677200979584 CPUtime=0 cores=0-7
/proc/12387/task/12390/stat : 12390 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844743338896 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12391] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12391/stat : 12391 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844742286352 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12392] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12392/stat : 12392 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844741233808 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12393] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12393/stat : 12393 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844345264400 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12394] ppid=12385 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12387/task/12394/stat : 12394 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844344211856 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12395] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12395/stat : 12395 (java) S 12385 12385 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844343159312 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12396] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12396/stat : 12396 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201534 26623803392 6744 33554432000 4194304 4196468 140725216383088 139844342106768 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12397] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12397/stat : 12397 (java) S 12385 12385 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97201535 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843533916656 139844791782018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12398] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12398/stat : 12398 (java) S 12385 12385 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97201535 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843532862880 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12399] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12399/stat : 12399 (java) S 12385 12385 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97201536 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843128518128 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12400] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12400/stat : 12400 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201538 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843127466704 139844791789467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12401] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12401/stat : 12401 (java) S 12385 12385 3823 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97201538 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843126413296 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12402] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12402/stat : 12402 (java) S 12385 12385 3823 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97201538 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843125360752 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12403] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12403/stat : 12403 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201538 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843124308208 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12404] ppid=12385 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12387/task/12404/stat : 12404 (java) R 12385 12385 3823 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 97201538 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843123255664 139844784007998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12405] ppid=12385 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12405/stat : 12405 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201538 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843122203360 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12406] ppid=12385 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12387/task/12406/stat : 12406 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201539 26623803392 6744 33554432000 4194304 4196468 140725216383088 139843121150896 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28360 KiB
[startup+0.20985 s]*
/proc/loadavg: 1.62 4.08 6.20 3/201 12406
/proc/meminfo: memFree=29123436/32770624 swapFree=67108860/67108860
[pid=12385] ppid=12382 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12385/stat : 12385 (xcsp3-exec) S 12382 12385 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97201532 9740288 346 33554432000 4194304 5098028 140721378260528 140721378258632 139839520170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31678464 140721378264171 140721378264380 140721378264380 140721378267115 0
/proc/12385/statm: 2378 346 289 221 0 87 0
[pid=12387] ppid=12385 vsize=26004064 memory=38636 CPUtime=0.33 cores=0-7
/proc/12387/stat : 12387 (java) S 12385 12385 3823 0 -1 1077944320 8262 0 0 0 31 2 0 0 20 0 20 0 97201532 26628161536 9659 33554432000 4194304 4196468 140725216383088 140725216365632 139844791770871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
/proc/12387/statm: 6501016 9659 3016 1 0 6488269 0
[pid=12387/tid=12388] ppid=12385 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12387/task/12388/stat : 12388 (java) R 12385 12385 3823 0 -1 4202560 5438 0 0 0 18 1 0 0 20 0 20 0 97201533 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844796007712 139844775851358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12389] ppid=12385 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/12387/task/12389/stat : 12389 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844744391440 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12390] ppid=12385 vsize=26004064 memory=140677200991086 CPUtime=0 cores=0-7
/proc/12387/task/12390/stat : 12390 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844743338896 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12391] ppid=12385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12387/task/12391/stat : 12391 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844742286352 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12392] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12392/stat : 12392 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844741233808 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12393] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12393/stat : 12393 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844345264400 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12394] ppid=12385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12387/task/12394/stat : 12394 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844344211856 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12395] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12395/stat : 12395 (java) S 12385 12385 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844343159312 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12396] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12396/stat : 12396 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 9659 33554432000 4194304 4196468 140725216383088 139844342106768 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12397] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12397/stat : 12397 (java) S 12385 12385 3823 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97201535 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843533916656 139844791782018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12398] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12398/stat : 12398 (java) S 12385 12385 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97201535 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843532862880 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12399] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12399/stat : 12399 (java) S 12385 12385 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97201536 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843128518128 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12400] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12400/stat : 12400 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201538 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843127466704 139844791789467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12401] ppid=12385 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12387/task/12401/stat : 12401 (java) S 12385 12385 3823 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 97201538 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843126413296 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12402] ppid=12385 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12387/task/12402/stat : 12402 (java) S 12385 12385 3823 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 97201538 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843125360752 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12403] ppid=12385 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/12387/task/12403/stat : 12403 (java) S 12385 12385 3823 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 97201538 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843124308208 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12404] ppid=12385 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/12387/task/12404/stat : 12404 (java) S 12385 12385 3823 0 -1 1077944384 709 0 0 0 8 0 0 0 20 0 20 0 97201538 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843123255664 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12405] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12405/stat : 12405 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201538 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843122203360 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12406] ppid=12385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12387/task/12406/stat : 12406 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201539 26628161536 9659 33554432000 4194304 4196468 140725216383088 139843121150896 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40020 KiB
[startup+0.309648 s]*
/proc/loadavg: 1.62 4.08 6.20 2/201 12406
/proc/meminfo: memFree=29116860/32770624 swapFree=67108860/67108860
[pid=12385] ppid=12382 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12385/stat : 12385 (xcsp3-exec) S 12382 12385 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97201532 9740288 346 33554432000 4194304 5098028 140721378260528 140721378258632 139839520170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31678464 140721378264171 140721378264380 140721378264380 140721378267115 0
/proc/12385/statm: 2378 346 289 221 0 87 0
[pid=12387] ppid=12385 vsize=26004064 memory=45312 CPUtime=0.5 cores=0-7
/proc/12387/stat : 12387 (java) S 12385 12385 3823 0 -1 1077944320 9111 0 0 0 47 3 0 0 20 0 20 0 97201532 26628161536 11328 33554432000 4194304 4196468 140725216383088 140725216365632 139844791770871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
/proc/12387/statm: 6501016 11328 3062 1 0 6488269 0
[pid=12387/tid=12388] ppid=12385 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/12387/task/12388/stat : 12388 (java) R 12385 12385 3823 0 -1 4202560 6145 0 0 0 27 1 0 0 20 0 20 0 97201533 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844796009120 139844777837248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12389] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12389/stat : 12389 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844744391440 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12390] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12390/stat : 12390 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844743338896 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12391] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12391/stat : 12391 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844742286352 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12392] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12392/stat : 12392 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844741233808 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12393] ppid=12385 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12387/task/12393/stat : 12393 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844345264400 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12394] ppid=12385 vsize=26004064 memory=140677090472879 CPUtime=0 cores=0-7
/proc/12387/task/12394/stat : 12394 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844344211856 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12395] ppid=12385 vsize=26004064 memory=140677090475184 CPUtime=0 cores=0-7
/proc/12387/task/12395/stat : 12395 (java) S 12385 12385 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844343159312 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12396] ppid=12385 vsize=26004064 memory=140677090477488 CPUtime=0 cores=0-7
/proc/12387/task/12396/stat : 12396 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201534 26628161536 11328 33554432000 4194304 4196468 140725216383088 139844342106768 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12397] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12397/stat : 12397 (java) S 12385 12385 3823 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97201535 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843533916656 139844791782018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12398] ppid=12385 vsize=26004064 memory=281354180961936 CPUtime=0 cores=0-7
/proc/12387/task/12398/stat : 12398 (java) S 12385 12385 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97201535 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843532862880 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12399] ppid=12385 vsize=26004064 memory=281354180968848 CPUtime=0 cores=0-7
/proc/12387/task/12399/stat : 12399 (java) S 12385 12385 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97201536 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843128518128 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12400] ppid=12385 vsize=26004064 memory=281354180910128 CPUtime=0 cores=0-7
/proc/12387/task/12400/stat : 12400 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201538 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843127466704 139844791789467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12401] ppid=12385 vsize=26004064 memory=281354180982672 CPUtime=0.01 cores=0-7
/proc/12387/task/12401/stat : 12401 (java) S 12385 12385 3823 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 97201538 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843126413296 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12402] ppid=12385 vsize=26004064 memory=281354180989584 CPUtime=0.02 cores=0-7
/proc/12387/task/12402/stat : 12402 (java) S 12385 12385 3823 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 20 0 97201538 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843125360752 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12403] ppid=12385 vsize=26004064 memory=281354180987280 CPUtime=0.03 cores=0-7
/proc/12387/task/12403/stat : 12403 (java) S 12385 12385 3823 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 20 0 97201538 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843124308208 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12404] ppid=12385 vsize=26004064 memory=281354181003440 CPUtime=0.12 cores=0-7
/proc/12387/task/12404/stat : 12404 (java) R 12385 12385 3823 0 -1 4202560 780 0 0 0 12 0 0 0 20 0 20 0 97201538 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843123252032 139844776019142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12405] ppid=12385 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12405/stat : 12405 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97201538 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843122203360 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12406] ppid=12385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12387/task/12406/stat : 12406 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201539 26628161536 11328 33554432000 4194304 4196468 140725216383088 139843121150896 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46696 KiB
[startup+0.70097 s]
/proc/loadavg: 1.62 4.08 6.20 4/201 12406
/proc/meminfo: memFree=29092904/32770624 swapFree=67108860/67108860
[pid=12385] ppid=12382 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12385/stat : 12385 (xcsp3-exec) S 12382 12385 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97201532 9740288 346 33554432000 4194304 5098028 140721378260528 140721378258632 139839520170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31678464 140721378264171 140721378264380 140721378264380 140721378267115 0
/proc/12385/statm: 2378 346 289 221 0 87 0
[pid=12387] ppid=12385 vsize=26004140 memory=98404 CPUtime=1.87 cores=0-7
/proc/12387/stat : 12387 (java) S 12385 12385 3823 0 -1 1077944320 13061 0 0 0 183 4 0 0 20 0 20 0 97201532 26628239360 24601 33554432000 4194304 4196468 140725216383088 140725216365632 139844791770871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
/proc/12387/statm: 6501035 24601 3196 1 0 6488269 0
[pid=12387/tid=12388] ppid=12385 vsize=26004140 memory=281354181361328 CPUtime=0.67 cores=0-7
/proc/12387/task/12388/stat : 12388 (java) R 12385 12385 3823 0 -1 4202560 6516 0 0 0 65 2 0 0 20 0 20 0 97201533 26628239360 24601 33554432000 4194304 4196468 140725216383088 139844796009280 139844774233994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12389] ppid=12385 vsize=26004140 memory=140677090681712 CPUtime=0 cores=0-7
/proc/12387/task/12389/stat : 12389 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628239360 24601 33554432000 4194304 4196468 140725216383088 139844744391440 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12390] ppid=12385 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/12387/task/12390/stat : 12390 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628239360 24601 33554432000 4194304 4196468 140725216383088 139844743338896 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12391] ppid=12385 vsize=26004140 memory=5296 CPUtime=0 cores=0-7
/proc/12387/task/12391/stat : 12391 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97201534 26628239360 24601 33554432000 4194304 4196468 140725216383088 139844742286352 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
################
# More data... #
################
[pid=12387/tid=12406] ppid=12385 vsize=26538700 memory=4612 CPUtime=0.05 cores=0-7
/proc/12387/task/12406/stat : 12406 (java) S 12385 12385 3823 0 -1 1077944384 1086 0 0 0 2 3 0 0 20 0 28 0 97201539 27175628800 2077034 33554432000 4194304 4196468 140725216383088 139843121150896 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
Current children cumulated CPU time: 415.27 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8309520 KiB
[startup+222.301 s]
/proc/loadavg: 4.49 3.71 5.55 2/208 12534
/proc/meminfo: memFree=20276584/32770624 swapFree=67108860/67108860
[pid=12385] ppid=12382 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12385/stat : 12385 (xcsp3-exec) S 12382 12385 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97201532 9740288 346 33554432000 4194304 5098028 140721378260528 140721378258632 139839520170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31678464 140721378264171 140721378264380 140721378264380 140721378267115 0
/proc/12385/statm: 2378 346 289 221 0 87 0
[pid=12387] ppid=12385 vsize=26538700 memory=8869916 CPUtime=728.69 cores=0-7
/proc/12387/stat : 12387 (java) S 12385 12385 3823 0 -1 1077944320 1349354 0 0 0 70412 2457 0 0 20 0 28 0 97201532 27175628800 2217479 33554432000 4194304 4196468 140725216383088 140725216365632 139844791770871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
/proc/12387/statm: 6634675 2217479 3311 1 0 6621909 0
[pid=12387/tid=12388] ppid=12385 vsize=26538700 memory=8869912 CPUtime=106.95 cores=0-7
/proc/12387/task/12388/stat : 12388 (java) S 12385 12385 3823 0 -1 1077944384 19938 0 0 0 10675 20 0 0 20 0 28 0 97201533 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844796011648 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12389] ppid=12385 vsize=26538700 memory=8474412 CPUtime=16.04 cores=0-7
/proc/12387/task/12389/stat : 12389 (java) S 12385 12385 3823 0 -1 1077944384 19276 0 0 0 1393 211 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844744391440 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12390] ppid=12385 vsize=26538700 memory=1384 CPUtime=16.05 cores=0-7
/proc/12387/task/12390/stat : 12390 (java) S 12385 12385 3823 0 -1 1077944384 22851 0 0 0 1391 214 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844743338896 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12391] ppid=12385 vsize=26538700 memory=1384 CPUtime=16.03 cores=0-7
/proc/12387/task/12391/stat : 12391 (java) S 12385 12385 3823 0 -1 1077944384 22142 0 0 0 1363 240 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844742286352 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12392] ppid=12385 vsize=26538700 memory=8474400 CPUtime=16.04 cores=0-7
/proc/12387/task/12392/stat : 12392 (java) S 12385 12385 3823 0 -1 1077944384 29495 0 0 0 1374 230 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844741233808 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12393] ppid=12385 vsize=26538700 memory=1384 CPUtime=16.16 cores=0-7
/proc/12387/task/12393/stat : 12393 (java) S 12385 12385 3823 0 -1 1077944384 25308 0 0 0 1407 209 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844345264400 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12394] ppid=12385 vsize=26538700 memory=8869916 CPUtime=15.99 cores=0-7
/proc/12387/task/12394/stat : 12394 (java) S 12385 12385 3823 0 -1 1077944384 22604 0 0 0 1386 213 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844344211856 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12395] ppid=12385 vsize=26538700 memory=8869916 CPUtime=15.99 cores=0-7
/proc/12387/task/12395/stat : 12395 (java) S 12385 12385 3823 0 -1 1077944384 19023 0 0 0 1383 216 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844343159312 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12396] ppid=12385 vsize=26538700 memory=1384 CPUtime=16.01 cores=0-7
/proc/12387/task/12396/stat : 12396 (java) S 12385 12385 3823 0 -1 1077944384 24078 0 0 0 1404 197 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844342106768 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12397] ppid=12385 vsize=26538700 memory=8869912 CPUtime=2.92 cores=0-7
/proc/12387/task/12397/stat : 12397 (java) S 12385 12385 3823 0 -1 1077944384 28591 0 0 0 272 20 0 0 20 0 28 0 97201535 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843533916656 139844791782018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12398] ppid=12385 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/12387/task/12398/stat : 12398 (java) S 12385 12385 3823 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 97201535 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843532862944 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12399] ppid=12385 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/12387/task/12399/stat : 12399 (java) S 12385 12385 3823 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 28 0 97201536 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843128518144 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12400] ppid=12385 vsize=26538700 memory=8552 CPUtime=0 cores=0-7
/proc/12387/task/12400/stat : 12400 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843127466704 139844791789467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12401] ppid=12385 vsize=26538700 memory=1224 CPUtime=3.66 cores=0-7
/proc/12387/task/12401/stat : 12401 (java) S 12385 12385 3823 0 -1 1077944384 25533 0 0 0 361 5 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843126413296 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12402] ppid=12385 vsize=26538700 memory=1196 CPUtime=3.35 cores=0-7
/proc/12387/task/12402/stat : 12402 (java) S 12385 12385 3823 0 -1 1077944384 22728 0 0 0 331 4 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843125360752 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12403] ppid=12385 vsize=26538700 memory=4612 CPUtime=3.37 cores=0-7
/proc/12387/task/12403/stat : 12403 (java) S 12385 12385 3823 0 -1 1077944384 19184 0 0 0 334 3 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843124308208 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12404] ppid=12385 vsize=26538700 memory=8305964 CPUtime=1.01 cores=0-7
/proc/12387/task/12404/stat : 12404 (java) S 12385 12385 3823 0 -1 1077944384 19320 0 0 0 97 4 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843123255664 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12405] ppid=12385 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/12387/task/12405/stat : 12405 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843122203360 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12406] ppid=12385 vsize=26538700 memory=1593 CPUtime=0.08 cores=0-7
/proc/12387/task/12406/stat : 12406 (java) S 12385 12385 3823 0 -1 1077944384 1988 0 0 0 4 4 0 0 20 0 28 0 97201539 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843121150896 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12527] ppid=12385 vsize=26538700 memory=1594 CPUtime=11.78 cores=0-7
/proc/12387/task/12527/stat : 12527 (java) S 12385 12385 3823 0 -1 1077944384 3113 0 0 0 1178 0 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843112587408 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12528] ppid=12385 vsize=26538700 memory=8869912 CPUtime=11.74 cores=0-7
/proc/12387/task/12528/stat : 12528 (java) S 12385 12385 3823 0 -1 1077944384 2495 0 0 0 1158 16 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843107325520 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12529] ppid=12385 vsize=26538700 memory=1384 CPUtime=11.69 cores=0-7
/proc/12387/task/12529/stat : 12529 (java) S 12385 12385 3823 0 -1 1077944384 3297 0 0 0 1165 4 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843108377296 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12530] ppid=12385 vsize=26538700 memory=8869912 CPUtime=11.86 cores=0-7
/proc/12387/task/12530/stat : 12530 (java) S 12385 12385 3823 0 -1 1077944384 3474 0 0 0 1175 11 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843109430032 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12531] ppid=12385 vsize=26538700 memory=1384 CPUtime=11.66 cores=0-7
/proc/12387/task/12531/stat : 12531 (java) S 12385 12385 3823 0 -1 1077944384 5326 0 0 0 1130 36 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843111535568 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12532] ppid=12385 vsize=26538700 memory=1384 CPUtime=11.81 cores=0-7
/proc/12387/task/12532/stat : 12532 (java) S 12385 12385 3823 0 -1 1077944384 5708 0 0 0 1149 32 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843113640976 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12533] ppid=12385 vsize=26538700 memory=4140 CPUtime=11.9 cores=0-7
/proc/12387/task/12533/stat : 12533 (java) S 12385 12385 3823 0 -1 1077944384 140343 0 0 0 1149 41 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843106272400 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12534] ppid=12385 vsize=26538700 memory=27788 CPUtime=13.32 cores=0-7
/proc/12387/task/12534/stat : 12534 (java) R 12385 12385 3823 0 -1 4202560 1695 0 0 0 1320 12 0 0 20 0 28 0 97222400 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843110477776 139844423125873 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
Current children cumulated CPU time: 728.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8871300 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 4.21 3.71 5.49 3/209 12596
/proc/meminfo: memFree=20274604/32770624 swapFree=67108860/67108860
[pid=12385] ppid=12382 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12385/stat : 12385 (xcsp3-exec) S 12382 12385 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97201532 9740288 346 33554432000 4194304 5098028 140721378260528 140721378258632 139839520170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31678464 140721378264171 140721378264380 140721378264380 140721378267115 0
/proc/12385/statm: 2378 346 289 221 0 87 0
[pid=12387] ppid=12385 vsize=26538700 memory=8869916 CPUtime=806.22 cores=0-7
/proc/12387/stat : 12387 (java) S 12385 12385 3823 0 -1 1077944320 1603185 0 0 0 78008 2614 0 0 20 0 28 0 97201532 27175628800 2217479 33554432000 4194304 4196468 140725216383088 140725216365632 139844791770871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
/proc/12387/statm: 6634675 2217479 3311 1 0 6621909 0
[pid=12387/tid=12388] ppid=12385 vsize=26538700 memory=6791534058613427641 CPUtime=107.03 cores=0-7
/proc/12387/task/12388/stat : 12388 (java) S 12385 12385 3823 0 -1 1077944384 21558 0 0 0 10676 27 0 0 20 0 28 0 97201533 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844796011648 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12389] ppid=12385 vsize=26538700 memory=4116 CPUtime=16.04 cores=0-7
/proc/12387/task/12389/stat : 12389 (java) S 12385 12385 3823 0 -1 1077944384 19276 0 0 0 1393 211 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844744391440 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12390] ppid=12385 vsize=26538700 memory=1160 CPUtime=16.05 cores=0-7
/proc/12387/task/12390/stat : 12390 (java) S 12385 12385 3823 0 -1 1077944384 22851 0 0 0 1391 214 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844743338896 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12391] ppid=12385 vsize=26538700 memory=3784 CPUtime=16.03 cores=0-7
/proc/12387/task/12391/stat : 12391 (java) S 12385 12385 3823 0 -1 1077944384 22142 0 0 0 1363 240 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844742286352 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12392] ppid=12385 vsize=26538700 memory=4126316290023845779 CPUtime=16.04 cores=0-7
/proc/12387/task/12392/stat : 12392 (java) S 12385 12385 3823 0 -1 1077944384 29495 0 0 0 1374 230 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844741233808 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12393] ppid=12385 vsize=26538700 memory=1952 CPUtime=16.16 cores=0-7
/proc/12387/task/12393/stat : 12393 (java) S 12385 12385 3823 0 -1 1077944384 25308 0 0 0 1407 209 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844345264400 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12394] ppid=12385 vsize=26538700 memory=8552 CPUtime=15.99 cores=0-7
/proc/12387/task/12394/stat : 12394 (java) S 12385 12385 3823 0 -1 1077944384 22604 0 0 0 1386 213 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844344211856 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12395] ppid=12385 vsize=26538700 memory=1224 CPUtime=15.99 cores=0-7
/proc/12387/task/12395/stat : 12395 (java) S 12385 12385 3823 0 -1 1077944384 19023 0 0 0 1383 216 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844343159312 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12396] ppid=12385 vsize=26538700 memory=792 CPUtime=16.01 cores=0-7
/proc/12387/task/12396/stat : 12396 (java) S 12385 12385 3823 0 -1 1077944384 24078 0 0 0 1404 197 0 0 20 0 28 0 97201534 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139844342106768 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12397] ppid=12385 vsize=26538700 memory=1004 CPUtime=2.93 cores=0-7
/proc/12387/task/12397/stat : 12397 (java) S 12385 12385 3823 0 -1 1077944384 29022 0 0 0 273 20 0 0 20 0 28 0 97201535 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843533916656 139844791782018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12398] ppid=12385 vsize=26538700 memory=5296 CPUtime=0 cores=0-7
/proc/12387/task/12398/stat : 12398 (java) S 12385 12385 3823 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 97201535 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843532862944 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12399] ppid=12385 vsize=26538700 memory=281354183097056 CPUtime=0 cores=0-7
/proc/12387/task/12399/stat : 12399 (java) S 12385 12385 3823 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 28 0 97201536 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843128518144 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12400] ppid=12385 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/12387/task/12400/stat : 12400 (java) S 12385 12385 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843127466704 139844791789467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12401] ppid=12385 vsize=26538700 memory=792 CPUtime=3.73 cores=0-7
/proc/12387/task/12401/stat : 12401 (java) S 12385 12385 3823 0 -1 1077944384 27742 0 0 0 368 5 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843126413296 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12402] ppid=12385 vsize=26538700 memory=8869848 CPUtime=3.35 cores=0-7
/proc/12387/task/12402/stat : 12402 (java) S 12385 12385 3823 0 -1 1077944384 22751 0 0 0 331 4 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843125360752 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12403] ppid=12385 vsize=26538700 memory=8869912 CPUtime=3.42 cores=0-7
/proc/12387/task/12403/stat : 12403 (java) S 12385 12385 3823 0 -1 1077944384 21060 0 0 0 339 3 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843124308208 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12404] ppid=12385 vsize=26538700 memory=1196 CPUtime=1.05 cores=0-7
/proc/12387/task/12404/stat : 12404 (java) S 12385 12385 3823 0 -1 1077944384 23764 0 0 0 100 5 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843123255664 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12405] ppid=12385 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/12387/task/12405/stat : 12405 (java) S 12385 12385 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97201538 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843122203360 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12406] ppid=12385 vsize=26538700 memory=15872 CPUtime=0.1 cores=0-7
/proc/12387/task/12406/stat : 12406 (java) S 12385 12385 3823 0 -1 1077944384 2721 0 0 0 5 5 0 0 20 0 28 0 97201539 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843121150896 139844791782018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12588] ppid=12385 vsize=26538700 memory=18448 CPUtime=0.05 cores=0-7
/proc/12387/task/12588/stat : 12588 (java) S 12385 12385 3823 0 -1 1077944384 631 0 0 0 1 4 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843107324048 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12589] ppid=12385 vsize=26538700 memory=15784 CPUtime=0.06 cores=0-7
/proc/12387/task/12589/stat : 12589 (java) S 12385 12385 3823 0 -1 1077944384 470 0 0 0 6 0 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843110483472 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12590] ppid=12385 vsize=26538700 memory=288230574492221466 CPUtime=0.11 cores=0-7
/proc/12387/task/12590/stat : 12590 (java) S 12385 12385 3823 0 -1 1077944384 834 0 0 0 11 0 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843112587920 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12591] ppid=12385 vsize=26538700 memory=288230604624101685 CPUtime=0.06 cores=0-7
/proc/12387/task/12591/stat : 12591 (java) S 12385 12385 3823 0 -1 1077944384 749 0 0 0 6 0 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843111535376 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12592] ppid=12385 vsize=26538700 memory=14698478437665088 CPUtime=1.6 cores=0-7
/proc/12387/task/12592/stat : 12592 (java) R 12385 12385 3823 0 -1 4202560 35353 0 0 0 159 1 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843108371808 139844423124423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12593] ppid=12385 vsize=26538700 memory=2240 CPUtime=0.06 cores=0-7
/proc/12387/task/12593/stat : 12593 (java) S 12385 12385 3823 0 -1 1077944384 769 0 0 0 6 0 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843109430288 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12594] ppid=12385 vsize=26538700 memory=4128 CPUtime=0.05 cores=0-7
/proc/12387/task/12594/stat : 12594 (java) S 12385 12385 3823 0 -1 1077944384 421 0 0 0 4 1 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843113641104 139844791781077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
[pid=12387/tid=12595] ppid=12385 vsize=26538700 memory=1572 CPUtime=1.6 cores=0-7
/proc/12387/task/12595/stat : 12595 (java) R 12385 12385 3823 0 -1 4202560 430 0 0 0 160 0 0 0 20 0 28 0 97226572 27175628800 2217479 33554432000 4194304 4196468 140725216383088 139843106267336 139844428368970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725216388248 140725216388424 140725216388424 140725216391119 0
Current children cumulated CPU time: 806.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8871300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.021 s]
# the end of solver process 12385 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001893 s
[startup+252.08 s]
# the end of solver process 12387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=780.112 s, system=26.2049 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 252.08
CPU time (s): 806.317
CPU user time (s): 780.112
CPU system time (s): 26.2049
CPU usage (%): 319.866
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 8871300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 780.112
system time used= 26.2049
maximum resident set size= 8870260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1604811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21419
involuntary context switches= 8517
# summary of solver processes directly reported to runsolver:
# pid: 12385,12387
# total CPU time (s): 806.317
# total CPU user time (s): 780.112
# total CPU system time (s): 26.2049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90482 second user time and 2.75552 second system time
The end
Begin job on node107 at 2017-08-13 18:04:36 IDJOB=4254688 IDBENCH=123121 IDSOLVER=2636 FILE ID=node107/4254688-1502641134 RUNJOBID= node107-1502636397-3850 PBS_JOBID= 20628325 Free space on /tmp= 61660 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-4254688-1502641134/watcher-4254688-1502641134 -o /tmp/evaluation-result-4254688-1502641134/solver-4254688-1502641134 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 866434740 HOME/instance-4254688-1502641134.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d RANDOM SEED=866434740 node107.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.84 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.84 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.84 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.84 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: 29150644 kB MemAvailable: 31988828 kB Buffers: 166996 kB Cached: 2959964 kB SwapCached: 0 kB Active: 525828 kB Inactive: 2653428 kB Active(anon): 55384 kB Inactive(anon): 24972 kB Active(file): 470444 kB Inactive(file): 2628456 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7976 kB Writeback: 0 kB AnonPages: 58248 kB Mapped: 43504 kB Shmem: 25228 kB Slab: 135844 kB SReclaimable: 110236 kB SUnreclaim: 25608 kB KernelStack: 3216 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-13 18:08:48