Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 52530 | 2400.75 | 444.212 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml |
| MD5SUM | 7967f0a5d6026ea184db99fec624e08d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 47363 |
| Best CPU time to get the best result obtained on this benchmark | 2520.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6642 |
| Number of constraints | 3241 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 81 |
| Distribution of domain sizes | [{"size":8,"count":3240},{"size":81,"count":81}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 81 |
| Distribution of variable degrees | [{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 81 |
| Distribution of constraint arities | [{"arity":3,"count":3240},{"arity":81,"count":1}] |
| Number of extensional constraints | 3240 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3240},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245735-1500686181.xml" -tl '2400s' -p 8 -x 0 0.00/0.20 c [HOME/instance-4245735-1500686181.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 224.90/126.50 c solve instance... 302.30/136.80 o 54281 302.99/136.98 o 54246 304.14/137.17 o 54186 305.24/137.31 o 54144 305.91/137.48 o 54134 307.72/137.70 o 54121 310.04/138.38 o 53796 346.09/146.24 o 53791 346.65/146.34 o 53758 347.24/146.47 o 53667 349.16/146.75 o 53612 351.40/147.06 o 53585 352.53/147.20 o 53573 353.21/147.32 o 53542 353.87/147.44 o 53528 453.96/164.06 o 53518 526.01/176.91 o 53508 526.86/177.16 o 53496 527.24/177.29 o 53465 528.19/177.41 o 53451 535.18/178.38 o 53443 536.09/178.52 o 53414 536.75/178.69 o 53386 545.00/179.72 o 53381 549.56/180.31 o 53376 550.28/180.47 o 53371 550.76/180.59 o 53338 551.99/180.78 o 53326 556.07/181.31 o 53320 561.54/182.09 o 52941 2037.98/370.30 o 52794 2039.42/370.83 o 52757 2040.80/371.40 o 52733 2042.24/371.95 o 52675 2049.62/378.63 o 52645 2056.96/385.25 o 52607 2065.16/391.81 o 52602 2072.42/398.26 o 52577 2091.14/405.34 o 52530 2400.75/444.24 s SATISFIABLE 2400.75/444.24 v <instantiation> 2400.75/444.24 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> 2400.75/444.24 v <values>66 80 57 37 4 12 74 43 78 51 62 36 76 26 68 20 50 29 64 23 72 10 5 77 34 31 49 28 44 19 38 58 8 52 32 69 61 67 17 56 73 21 41 27 79 54 35 30 15 13 25 46 11 7 71 42 6 0 2 70 48 53 45 39 40 3 60 24 55 9 33 75 18 63 14 22 1 65 59 47 16 10 10 0 0 5 5 0 2 0 4 2 1 1 5 5 2 2 5 4 2 0 5 2 4 3 2 0 1 3 2 0 5 5 5 2 2 2 2 0 0 0 0 0 5 5 5 2 2 2 1 0 0 0 0 0 0 0 0 0 0 5 0 3 2 3 1 2 6 1 5 0 0 1 0 10 5 1 0 0 0 6 5 5 4 1 1 0 0 0 0 0 0 0 4 5 0 2 2 1 1 10 5 5 10 5 6 0 2 5 0 0 2 0 5 1 0 0 0 2 1 0 10 5 2 0 5 0 10 10 0 2 2 0 0 1 5 1 0 2 2 3 2 4 2 0 1 0 5 1 0 0 1 3 2 0 4 5 2 6 10 10 10 10 10 10 10 10 10 10 10 5 5 5 5 5 5 5 5 5 5 5 5 5 5 2 5 0 1 0 0 0 2 1 2 5 4 0 4 2 2 1 0 2 0 1 3 1 2 1 2 5 2 0 5 0 5 3 5 1 0 0 1 2 2 2 2 1 1 1 0 0 0 0 0 0 0 0 1 2 5 5 2 4 2 1 6 1 0 0 2 10 1 1 3 2 1 5 5 3 0 0 2 0 5 2 3 1 10 5 0 0 0 0 0 4 0 1 6 5 2 10 3 2 0 5 3 2 2 5 5 1 1 0 10 5 2 1 10 10 5 4 2 0 0 2 5 0 0 0 1 0 5 2 5 5 1 0 10 2 2 0 4 1 2 1 2 1 0 5 3 5 10 2 1 4 5 0 5 0 2 2 5 2 0 4 10 0 4 1 2 0 5 1 5 5 2 5 5 3 3 2 2 2 5 10 0 10 6 10 1 0 1 0 5 0 1 0 0 0 2 2 0 2 0 0 10 1 0 5 5 5 2 3 10 5 1 5 5 3 10 0 0 2 1 5 3 0 0 1 10 1 0 5 2 5 5 0 10 10 0 10 10 5 0 0 1 5 0 0 2 2 4 2 0 0 2 2 0 1 2 1 2 6 5 1 3 10 0 10 4 10 3 1 0 2 5 0 10 1 0 2 0 3 0 3 0 10 5 1 5 5 1 1 0 2 3 2 0 10 0 0 1 10 10 4 5 5 0 5 10 0 5 1 0 5 5 10 0 2 10 5 2 5 1 0 0 1 1 2 10 0 5 10 6 5 10 5 10 1 10 1 0 0 1 0 2 4 5 5 5 5 5 5 2 2 0 0 0 0 0 6 0 5 5 0 0 10 5 1 5 5 0 10 5 10 1 2 1 2 5 5 3 5 2 1 2 0 2 5 0 4 5 0 0 0 2 2 0 4 10 2 2 0 10 6 3 0 0 5 0 0 10 4 1 0 10 0 0 0 2 5 3 2 5 2 3 0 10 5 2 0 4 1 1 1 5 0 0 0 10 1 5 1 4 0 2 0 5 4 2 6 1 1 3 0 1 2 5 2 0 1 5 0 5 5 10 4 5 0 0 2 10 5 5 0 10 0 2 5 5 1 3 5 1 2 0 1 5 5 2 0 0 0 2 2 2 0 0 2 5 0 3 2 0 5 5 2 0 2 4 0 0 0 3 0 6 5 1 3 5 2 2 10 0 0 0 0 5 0 4 10 4 0 2 0 0 10 0 0 2 1 2 0 10 0 3 0 2 0 3 1 0 0 0 2 0 10 1 0 0 5 0 10 5 1 5 1 1 4 2 0 0 0 1 5 10 2 5 6 2 2 5 2 10 2 0 2 2 5 4 2 5 0 1 2 2 0 0 2 5 10 1 10 2 1 2 0 2 6 5 0 0 2 1 2 5 10 2 3 5 4 0 0 1 0 2 0 5 0 3 0 10 5 5 5 0 3 5 0 0 0 6 2 1 0 1 1 5 1 10 6 1 0 5 0 2 2 0 10 1 5 1 5 4 5 1 0 5 5 10 0 10 5 0 3 0 4 3 1 5 1 5 1 0 2 3 5 2 5 2 0 0 2 5 2 4 0 6 5 1 3 10 10 10 10 0 0 2 10 2 2 10 5 4 0 10 5 2 0 2 10 2 2 1 1 0 2 4 1 0 5 1 2 0 6 0 2 0 2 2 5 3 3 0 2 5 5 0 4 1 0 2 10 2 0 2 1 0 4 1 4 10 0 0 5 2 1 5 1 4 0 1 10 1 5 0 5 2 0 0 1 1 2 4 10 2 0 2 2 0 1 5 2 0 1 10 10 5 1 5 10 1 4 2 10 10 10 4 6 0 0 0 5 5 1 1 0 0 1 0 1 1 3 1 5 2 5 2 1 5 5 0 2 3 0 1 2 5 0 1 5 0 0 4 5 2 5 2 2 10 10 10 5 5 5 5 2 2 2 0 0 0 5 0 0 0 0 0 1 0 4 2 0 1 2 0 0 0 0 1 2 0 2 10 0 3 4 0 0 2 6 0 5 0 4 0 1 2 0 6 5 2 5 0 5 2 1 0 4 10 5 2 0 0 10 5 3 4 0 0 2 10 1 3 3 5 0 0 0 1 2 2 5 5 5 4 2 0 2 2 5 1 0 0 0 10 0 1 2 4 5 5 2 5 5 10 0 10 5 5 4 2 5 5 1 5 2 1 0 5 2 0 0 10 0 0 2 0 0 4 0 4 10 4 5 2 2 2 0 5 2 5 4 3 10 0 0 5 0 1 5 10 0 5 0 0 2 2 1 1 1 0 2 10 1 10 5 0 0 0 5 4 1 10 4 10 0 0 0 5 0 5 0 5 5 0 5 0 1 0 2 1 0 0 10 0 5 1 0 2 2 5 5 10 2 1 5 0 1 0 5 0 0 2 0 0 4 0 1 0 10 0 5 5 0 2 0 5 1 0 1 0 0 0 1 0 2 3 5 2 5 2 10 5 1 1 2 4 2 1 0 0 5 2 0 0 0 0 3 10 2 5 0 0 2 0 3 10 0 2 3 1 10 5 0 2 2 1 2 0 5 5 1 5 1 1 1 6 5 0 0 2 2 0 2 1 3 2 0 5 0 3 2 2 4 0 0 1 10 0 5 3 0 4 0 2 0 2 3 5 4 1 2 6 10 3 5 1 5 2 10 0 4 0 2 10 3 0 2 1 2 4 0 0 0 5 0 3 0 1 10 1 2 2 10 5 2 0 2 5 5 0 5 1 5 5 5 5 5 0 0 0 10 5 2 0 0 0 0 2 1 5 5 2 5 0 2 1 1 0 6 1 5 10 0 10 5 2 2 0 5 4 2 10 2 5 5 2 2 5 1 0 4 5 5 5 10 2 3 0 5 3 3 0 0 5 4 1 10 2 0 5 2 6 0 3 0 0 4 0 5 1 0 6 1 3 0 2 5 5 10 0 6 5 1 0 1 5 0 0 4 2 5 10 6 0 2 2 4 0 1 2 2 1 1 6 2 10 2 1 10 2 0 5 2 0 1 5 5 0 5 5 1 2 5 4 0 1 4 6 5 0 5 5 3 0 5 2 5 2 0 5 0 0 5 0 1 1 0 10 0 2 10 5 5 5 2 1 2 0 0 0 5 0 5 2 3 0 0 2 10 10 3 0 5 2 2 0 0 2 1 2 0 1 5 6 10 2 0 2 3 10 10 10 10 10 5 5 5 5 5 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 5 0 2 0 1 2 2 10 0 3 5 2 0 5 5 3 5 0 5 5 2 10 1 0 5 0 2 1 0 5 0 0 5 0 0 1 4 0 2 0 0 5 0 3 1 5 5 5 5 0 2 2 2 0 0 0 1 5 5 2 0 4 0 0 10 1 0 10 1 5 0 1 0 0 0 0 2 6 0 5 10 2 0 2 10 5 1 6 0 5 0 2 3 5 4 0 2 2 1 2 0 10 2 2 2 0 0 3 3 5 4 0 0 10 1 6 0 4 6 5 0 1 0 2 0 0 0 1 0 1 0 2 0 0 0 0 1 4 10 2 0 2 5 0 0 5 1 2 5 2 0 0 0 4 3 2 1 0 2 1 10 10 2 1 0 0 0 1 0 5 3 0 0 2 2 10 0 5 5 10 4 4 0 0 0 1 5 1 5 1 0 4 2 5 0 1 10 6 5 0 0 5 0 0 10 2 0 2 2 0 0 0 1 2 4 5 0 0 1 2 0 5 10 10 2 0 10 10 4 3 0 4 3 4 2 1 1 1 5 2 10 2 5 10 0 1 1 2 0 0 0 0 0 0 0 5 0 0 5 0 1 5 5 5 0 2 10 2 2 0 1 2 4 5 0 10 4 5 5 1 5 0 0 0 5 10 10 10 2 2 2 2 5 0 5 1 0 5 2 1 10 1 2 5 5 1 5 0 4 2 5 1 5 5 1 5 0 0 0 0 0 0 10 1 0 5 2 5 0 5 2 2 2 0 1 0 5 5 2 0 1 5 3 10 2 1 0 1 1 4 2 0 5 5 2 0 10 0 4 0 3 10 5 0 0 2 2 1 5 4 1 0 5 4 2 1 0 5 2 3 10 4 5 5 4 5 5 5 0 0 0 10 10 5 0 5 5 5 0 10 2 0 1 5 2 1 0 5 5 3 0 0 5 6 1 5 2 1 0 2 5 2 1 1 0 0 0 0 0 2 0 10 0 10 5 2 0 10 5 0 5 2 2 2 10 1 2 1 1 0 5 5 0 0 5 2 5 3 0 2 5 4 0 10 6 0 0 0 0 1 0 0 1 2 6 2 2 2 0 3 5 0 0 0 0 2 5 1 5 1 6 6 10 5 0 1 2 3 0 3 10 2 2 5 1 0 0 5 0 3 3 2 0 2 0 5 0 2 1 3 2 0 0 1 1 0 0 2 0 10 0 0 3 1 1 5 2 5 2 2 2 10 5 0 5 1 0 5 2 5 1 5 2 10 5 5 10 5 5 2 1 10 0 0 5 1 5 3 3 5 5 0 5 1 5 5 2 10 2 5 5 6 6 1 2 2 3 4 1 0 0 0 10 0 6 0 5 5 5 5 2 10 5 5 3 10 5 2 2 0 0 10 4 5 0 0 0 0 2 0 4 2 5 10 2 0 5 6 1 3 2 4 2 1 0 1 0 5 1 2 3 5 0 0 5 5 5 1 10 0 0 3 0 1 0 5 10 3 1 0 0 0 2 3 10 5 0 0 3 2 0 5 0 2 0 2 5 3 0 5 0 0 6 1 0 5 5 10 0 5 2 0 0 10 0 0 5 2 5 5 2 5 1 1 2 5 5 10 1 0 2 0 0 0 1 5 3 2 1 5 5 10 2 10 5 5 0 5 1 1 0 0 2 5 2 1 0 0 2 2 1 0 5 2 5 0 5 1 5 2 0 1 1 0 2 0 10 0 1 0 2 2 0 10 0 5 5 2 0 5 2 10 5 0 0 0 5 2 1 2 0 5 5 1 10 5 1 0 0 2 6 2 2 0 1 0 2 0 3 5 5 0 2 0 10 1 5 5 0 10 0 0 2 6 0 0 10 2 0 0 0 5 1 0 0 5 10 0 5 1 5 10 0 0 0 10 5 4 5 6 0 1 0 2 5 3 5 0 5 0 0 0 5 0 1 2 4 1 2 5 1 2 1 2 2 1 5 0 2 2 5 1 2 2 5 5 0 10 1 5 1 0 2 5 10 0 0 1 5 10 3 0 10 5 1 2 0 1 5 2 10 0 10 0 2 2 2 3 10 2 5 2 4 6 0 10 0 6 0 5 5 0 5 0 1 3 2 1 0 2 1 0 1 0 6 0 1 2 0 1 2 5 3 0 0 5 1 2 1 4 3 4 3 0 5 1 0 5 5 0 2 0 1 10 5 2 5 1 1 2 0 3 2 0 2 1 10 5 0 3 2 0 0 2 0 4 1 1 2 0 0 5 2 5 5 2 5 2 6 10 5 5 6 0 1 0 0 2 10 1 5 5 5 0 0 5 0 0 2 0 1 0 6 4 0 6 0 5 4 0 10 3 1 5 5 2 3 0 2 1 10 0 5 2 2 1 0 0 2 0 4 0 10 2 2 1 5 6 0 0 2 0 0 2 0 3 2 5 0 5 0 1 2 10 3 0 5 5 10 0 0 0 5 0 5 0 5 10 0 5 5 1 4 0 2 0 0 2 0 5 4 2 5 0 1 1 0 2 0 0 10 3 2 0 5 2 5 2 2 10 5 5 1 5 0 0 5 2 2 5 1 0 0 0 0 6 1 1 10 0 0 2 5 0 10 2 0 10 0 5 5 0 0 10 2 1 2 2 2 0 0 0 10 0 5 1 0 2 0 6 0 0 0 1 0 10 0 2 2 0 1 3 4 0 5 1 1 1 5 4 0 1 0 6 1 5 10 5 1 5 4 1 2 0 0 0 4 5 1 3 5 5 5 2 0 10 2 0 10 0 0 0 2 5 0 0 0 2 2 0 5 1 1 3 2 2 2 0 0 5 0 2 0 0 1 4 5 0 0 10 3 2 1 5 4 5 3 2 3 5 0 0 5 2 5 1 3 1 5 10 1 1 0 5 3 1 5 0 3 0 1 5 0 0 5 1 5 0 0 0 0 0 0 10 2 3 4 2 2 0 10 5 1 0 5 0 0 2 5 3 2 0 5 2 0 2 2 5 6 2 2 1 2 1 0 2 4 2 0 2 3 2 1 2 5 0 0 2 4 10 0 5 0 1 5 6 5 5 5 10 0 1 0 5 0 1 2 5 10 2 5 0 0 1 0 10 0 5 0 2 2 10 0 2 0 2 2 2 5 0 2 0 5 0 2 5 5 10 2 2 3 10 2 0 5 0 5 5 0 2 2 2 3 2 0 0 5 0 0 0 5 5 0 2 0 5 0 3 4 5 0 0 5 0 0 0 5 10 2 0 0 5 10 0 2 10 4 5 0 5 2 2 0 1 2 5 5 2 5 3 1 2 3 5 3 0 1 5 1 3 5 5 0 5 5 0 4 5 0 5 0 2 0 2 0 5 5 2 5 2 5 0 5 1 1 5 5 0 5 5 0 2 0 2 0 5 0 1 2 0 2 1 0 5 6 1 0 0 0 5 5 1 0 5 5 2 1 0 1 4 4 0 0 10 0 10 3 0 0 10 0 0 0 0 2 3 0 2 10 0 0 5 0 0 0 4 0 0 0 10 2 2 0 0 10 10 5 4 10 10 1 2 10 1 5 5 0 5 1 5 2 1 10 10 2 0 5 10 0 4 10 0 2 5 0 0 0 0 5 10 0 10 10 </values> 2400.75/444.25 v </instantiation> 2400.75/444.25 c Unexpected resolution interruption!
OK 52530
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245735-1500686181/watcher-4245735-1500686181 -o /tmp/evaluation-result-4245735-1500686181/solver-4245735-1500686181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 585613421 HOME/instance-4245735-1500686181.xml pid=32658 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 16.05 14.87 14.73 11/276 32661 /proc/meminfo: memFree=30519680/32770624 swapFree=5944/214596 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 [startup+0.100138 s] /proc/loadavg: 16.05 14.87 14.73 11/276 32661 /proc/meminfo: memFree=30519680/32770624 swapFree=5944/214596 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200302 s] /proc/loadavg: 16.05 14.87 14.73 11/276 32661 /proc/meminfo: memFree=30519680/32770624 swapFree=5944/214596 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300304 s] /proc/loadavg: 16.05 14.87 14.73 11/276 32661 /proc/meminfo: memFree=30519680/32770624 swapFree=5944/214596 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700188 s] /proc/loadavg: 16.05 14.87 14.73 11/276 32661 /proc/meminfo: memFree=30519680/32770624 swapFree=5944/214596 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50084 s] /proc/loadavg: 15.49 14.77 14.70 11/297 32682 /proc/meminfo: memFree=30431532/32770624 swapFree=5944/214336 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 [pid=32662] ppid=32661 vsize=13267208 CPUtime=3.03 cores=0-3,8-11 /proc/32662/stat : 32662 (java) S 32661 32661 18810 0 -1 1077944320 13211 0 0 0 297 6 0 0 20 0 20 0 3885277 13585620992 25416 33554432000 4194304 4196468 140734382506160 140734382488704 140632151342839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 /proc/32662/statm: 3316802 25416 3198 1 0 3304035 0 [pid=32662/tid=32663] ppid=32661 vsize=13267208 CPUtime=1.47 cores=0-3,8-11 /proc/32662/task/32663/stat : 32663 (java) R 32661 32661 18810 0 -1 4202560 6031 0 0 0 144 3 0 0 20 0 20 0 3885277 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632155579336 140632136423601 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32665] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32665/stat : 32665 (java) S 32661 32661 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632069822864 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32666] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32666/stat : 32666 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632068770064 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32667] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32667/stat : 32667 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632067717776 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32668] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32668/stat : 32668 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632066664976 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32669] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32669/stat : 32669 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632065612688 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32670] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32670/stat : 32670 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632064559888 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32671] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32671/stat : 32671 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632063507600 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32672] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32672/stat : 32672 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13585620992 25416 33554432000 4194304 4196468 140734382506160 140632062454800 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32673] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32673/stat : 32673 (java) S 32661 32661 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3885280 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630883293296 140632151353986 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32674] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32674/stat : 32674 (java) S 32661 32661 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3885281 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630882239264 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32675] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32675/stat : 32675 (java) S 32661 32661 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3885281 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630881186928 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32676] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32676/stat : 32676 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885285 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630880135248 140632151361435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32677] ppid=32661 vsize=13267208 CPUtime=0.37 cores=0-3,8-11 /proc/32662/task/32677/stat : 32677 (java) S 32661 32661 18810 0 -1 1077944384 1525 0 0 0 37 0 0 0 20 0 20 0 3885285 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630879083120 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32678] ppid=32661 vsize=13267208 CPUtime=0.37 cores=0-3,8-11 /proc/32662/task/32678/stat : 32678 (java) S 32661 32661 18810 0 -1 1077944384 1302 0 0 0 37 0 0 0 20 0 20 0 3885285 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630878030320 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32679] ppid=32661 vsize=13267208 CPUtime=0.37 cores=0-3,8-11 /proc/32662/task/32679/stat : 32679 (java) S 32661 32661 18810 0 -1 1077944384 1194 0 0 0 37 0 0 0 20 0 20 0 3885285 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630876978032 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32680] ppid=32661 vsize=13267208 CPUtime=0.39 cores=0-3,8-11 /proc/32662/task/32680/stat : 32680 (java) R 32661 32661 18810 0 -1 4202560 1847 0 0 0 38 1 0 0 20 0 20 0 3885285 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630875925232 140632151354774 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32681] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32681/stat : 32681 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3885285 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630874872160 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32682] ppid=32661 vsize=13267208 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32682/stat : 32682 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3885286 13585620992 25416 33554432000 4194304 4196468 140734382506160 140630873819440 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 13276720 [startup+3.10093 s] /proc/loadavg: 15.49 14.77 14.70 14/297 32682 /proc/meminfo: memFree=30422224/32770624 swapFree=5944/214336 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 [pid=32662] ppid=32661 vsize=13269256 CPUtime=5.09 cores=0-3,8-11 /proc/32662/stat : 32662 (java) S 32661 32661 18810 0 -1 1077944320 18670 0 0 0 502 7 0 0 20 0 20 0 3885277 13587718144 38228 33554432000 4194304 4196468 140734382506160 140734382488704 140632151342839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 /proc/32662/statm: 3317314 38228 3209 1 0 3304547 0 [pid=32662/tid=32663] ppid=32661 vsize=13269256 CPUtime=3.07 cores=0-3,8-11 /proc/32662/task/32663/stat : 32663 (java) R 32661 32661 18810 0 -1 4202560 7852 0 0 0 304 3 0 0 20 0 20 0 3885277 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632155580856 140631746364246 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32665] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32665/stat : 32665 (java) S 32661 32661 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632069822864 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32666] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32666/stat : 32666 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632068770064 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32667] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32667/stat : 32667 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632067717776 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32668] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32668/stat : 32668 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632066664976 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32669] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32669/stat : 32669 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632065612688 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32670] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32670/stat : 32670 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632064559888 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32671] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32671/stat : 32671 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632063507600 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32672] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32672/stat : 32672 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885278 13587718144 38228 33554432000 4194304 4196468 140734382506160 140632062454800 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32673] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32673/stat : 32673 (java) S 32661 32661 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3885280 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630883293296 140632151353986 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32674] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32674/stat : 32674 (java) S 32661 32661 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3885281 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630882239264 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32675] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32675/stat : 32675 (java) S 32661 32661 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3885281 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630881186928 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32676] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32676/stat : 32676 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885285 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630880135248 140632151361435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32677] ppid=32661 vsize=13269256 CPUtime=0.52 cores=0-3,8-11 /proc/32662/task/32677/stat : 32677 (java) S 32661 32661 18810 0 -1 1077944384 2673 0 0 0 52 0 0 0 20 0 20 0 3885285 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630879083120 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32678] ppid=32661 vsize=13269256 CPUtime=0.52 cores=0-3,8-11 /proc/32662/task/32678/stat : 32678 (java) S 32661 32661 18810 0 -1 1077944384 2609 0 0 0 52 0 0 0 20 0 20 0 3885285 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630878030320 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32679] ppid=32661 vsize=13269256 CPUtime=0.47 cores=0-3,8-11 /proc/32662/task/32679/stat : 32679 (java) S 32661 32661 18810 0 -1 1077944384 1819 0 0 0 47 0 0 0 20 0 20 0 3885285 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630876978032 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32680] ppid=32661 vsize=13269256 CPUtime=0.45 cores=0-3,8-11 /proc/32662/task/32680/stat : 32680 (java) S 32661 32661 18810 0 -1 1077944384 2354 0 0 0 44 1 0 0 20 0 20 0 3885285 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630875925232 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32681] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32681/stat : 32681 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3885285 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630874872160 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32682] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32682/stat : 32682 (java) S 32661 32661 18810 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3885286 13587718144 38228 33554432000 4194304 4196468 140734382506160 140630873819440 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 Current children cumulated CPU time (s) 5.09 Current children cumulated vsize (KiB) 13278768 [startup+6.30094 s] /proc/loadavg: 14.97 14.68 14.67 10/297 32682 /proc/meminfo: memFree=30166236/32770624 swapFree=5944/214344 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 [pid=32662] ppid=32661 vsize=13269256 CPUtime=9.7 cores=0-3,8-11 /proc/32662/stat : 32662 (java) S 32661 32661 18810 0 -1 1077944320 20910 0 0 0 869 101 0 0 20 0 20 0 3885277 13587718144 91228 33554432000 4194304 4196468 140734382506160 140734382488704 140632151342839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 /proc/32662/statm: 3317314 91228 3237 1 0 3304547 0 [pid=32662/tid=32663] ppid=32661 vsize=13269256 CPUtime=6.06 cores=0-3,8-11 /proc/32662/task/32663/stat : 32663 (java) R 32661 32661 18810 0 -1 4202560 7948 0 0 0 602 4 0 0 20 0 20 0 3885277 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632155577608 140631746364224 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32665] ppid=32661 vsize=13269256 CPUtime=0.19 cores=0-3,8-11 /proc/32662/task/32665/stat : 32665 (java) S 32661 32661 18810 0 -1 1077944384 156 0 0 0 8 11 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632069822864 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32666] ppid=32661 vsize=13269256 CPUtime=0.18 cores=0-3,8-11 /proc/32662/task/32666/stat : 32666 (java) S 32661 32661 18810 0 -1 1077944384 131 0 0 0 7 11 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632068770064 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32667] ppid=32661 vsize=13269256 CPUtime=0.18 cores=0-3,8-11 /proc/32662/task/32667/stat : 32667 (java) S 32661 32661 18810 0 -1 1077944384 138 0 0 0 7 11 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632067717776 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32668] ppid=32661 vsize=13269256 CPUtime=0.19 cores=0-3,8-11 /proc/32662/task/32668/stat : 32668 (java) S 32661 32661 18810 0 -1 1077944384 155 0 0 0 7 12 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632066664976 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32669] ppid=32661 vsize=13269256 CPUtime=0.19 cores=0-3,8-11 /proc/32662/task/32669/stat : 32669 (java) S 32661 32661 18810 0 -1 1077944384 362 0 0 0 7 12 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632065612688 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32670] ppid=32661 vsize=13269256 CPUtime=0.18 cores=0-3,8-11 /proc/32662/task/32670/stat : 32670 (java) S 32661 32661 18810 0 -1 1077944384 132 0 0 0 7 11 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632064559888 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32671] ppid=32661 vsize=13269256 CPUtime=0.19 cores=0-3,8-11 /proc/32662/task/32671/stat : 32671 (java) S 32661 32661 18810 0 -1 1077944384 148 0 0 0 8 11 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632063507600 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32672] ppid=32661 vsize=13269256 CPUtime=0.19 cores=0-3,8-11 /proc/32662/task/32672/stat : 32672 (java) S 32661 32661 18810 0 -1 1077944384 241 0 0 0 8 11 0 0 20 0 20 0 3885278 13587718144 91228 33554432000 4194304 4196468 140734382506160 140632062454800 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32673] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32673/stat : 32673 (java) S 32661 32661 18810 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 3885280 13587718144 91228 33554432000 4194304 4196468 140734382506160 140630883293296 140632151353986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32674] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32674/stat : 32674 (java) S 32661 32661 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3885281 13587718144 91228 33554432000 4194304 4196468 140734382506160 140630882239264 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32675] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32675/stat : 32675 (java) S 32661 32661 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3885281 13587718144 91228 33554432000 4194304 4196468 140734382506160 140630881186928 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32676] ppid=32661 vsize=13269256 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32676/stat : 32676 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3885285 13587718144 91228 33554432000 4194304 4196468 140734382506160 140630880135248 140632151361435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 ################ # More data... # ################ [pid=32662/tid=1007] ppid=32661 vsize=13801768 CPUtime=158.31 cores=0-3,8-11 /proc/32662/task/1007/stat : 1007 (java) R 32661 32661 18810 0 -1 4202560 8957 0 0 0 15829 2 0 0 20 0 28 0 3903486 14133010432 2087623 33554432000 4194304 4196468 140734382506160 140630858436032 140631749360975 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=1008] ppid=32661 vsize=13801768 CPUtime=159.25 cores=0-3,8-11 /proc/32662/task/1008/stat : 1008 (java) R 32661 32661 18810 0 -1 4202560 3129 0 0 0 15924 1 0 0 20 0 28 0 3903486 14133010432 2087623 33554432000 4194304 4196468 140734382506160 140630859488632 140631749502035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 Current children cumulated CPU time (s) 1837.49 Current children cumulated vsize (KiB) 13811280 [startup+402.301 s] /proc/loadavg: 12.32 13.53 14.04 10/304 2130 /proc/meminfo: memFree=22970128/32770624 swapFree=5944/215040 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 [pid=32662] ppid=32661 vsize=13801768 CPUtime=2088.14 cores=0-3,8-11 /proc/32662/stat : 32662 (java) S 32661 32661 18810 0 -1 1077944320 1074372 0 0 0 205536 3278 0 0 20 0 28 0 3885277 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140734382488704 140632151342839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 /proc/32662/statm: 3450442 2087630 3313 1 0 3437675 0 [pid=32662/tid=32663] ppid=32661 vsize=13801768 CPUtime=111.99 cores=0-3,8-11 /proc/32662/task/32663/stat : 32663 (java) S 32661 32661 18810 0 -1 1077944384 19664 0 0 0 11189 10 0 0 20 0 28 0 3885277 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632155583616 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32665] ppid=32661 vsize=13801768 CPUtime=19.43 cores=0-3,8-11 /proc/32662/task/32665/stat : 32665 (java) S 32661 32661 18810 0 -1 1077944384 20884 0 0 0 1544 399 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632069822864 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32666] ppid=32661 vsize=13801768 CPUtime=19.61 cores=0-3,8-11 /proc/32662/task/32666/stat : 32666 (java) S 32661 32661 18810 0 -1 1077944384 26129 0 0 0 1573 388 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632068770064 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32667] ppid=32661 vsize=13801768 CPUtime=19.69 cores=0-3,8-11 /proc/32662/task/32667/stat : 32667 (java) S 32661 32661 18810 0 -1 1077944384 21026 0 0 0 1554 415 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632067717776 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32668] ppid=32661 vsize=13801768 CPUtime=19.65 cores=0-3,8-11 /proc/32662/task/32668/stat : 32668 (java) S 32661 32661 18810 0 -1 1077944384 21059 0 0 0 1564 401 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632066664976 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32669] ppid=32661 vsize=13801768 CPUtime=19.75 cores=0-3,8-11 /proc/32662/task/32669/stat : 32669 (java) S 32661 32661 18810 0 -1 1077944384 22502 0 0 0 1577 398 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632065612688 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32670] ppid=32661 vsize=13801768 CPUtime=19.38 cores=0-3,8-11 /proc/32662/task/32670/stat : 32670 (java) S 32661 32661 18810 0 -1 1077944384 20663 0 0 0 1544 394 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632064559888 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32671] ppid=32661 vsize=13801768 CPUtime=19.64 cores=0-3,8-11 /proc/32662/task/32671/stat : 32671 (java) S 32661 32661 18810 0 -1 1077944384 22585 0 0 0 1578 386 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632063507600 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32672] ppid=32661 vsize=13801768 CPUtime=19.64 cores=0-3,8-11 /proc/32662/task/32672/stat : 32672 (java) S 32661 32661 18810 0 -1 1077944384 25908 0 0 0 1596 368 0 0 20 0 28 0 3885278 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140632062454800 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32673] ppid=32661 vsize=13801768 CPUtime=1.78 cores=0-3,8-11 /proc/32662/task/32673/stat : 32673 (java) S 32661 32661 18810 0 -1 1077944384 18236 0 0 0 168 10 0 0 20 0 28 0 3885280 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630883293296 140632151353986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32674] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32674/stat : 32674 (java) S 32661 32661 18810 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 3885281 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630882239328 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32675] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32675/stat : 32675 (java) S 32661 32661 18810 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 28 0 3885281 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630881186944 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32676] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32676/stat : 32676 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3885285 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630880135248 140632151361435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32677] ppid=32661 vsize=13801768 CPUtime=6.19 cores=0-3,8-11 /proc/32662/task/32677/stat : 32677 (java) S 32661 32661 18810 0 -1 1077944384 28955 0 0 0 615 4 0 0 20 0 28 0 3885285 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630879083120 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32678] ppid=32661 vsize=13801768 CPUtime=6.58 cores=0-3,8-11 /proc/32662/task/32678/stat : 32678 (java) S 32661 32661 18810 0 -1 1077944384 32765 0 0 0 654 4 0 0 20 0 28 0 3885285 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630878030320 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32679] ppid=32661 vsize=13801768 CPUtime=6.04 cores=0-3,8-11 /proc/32662/task/32679/stat : 32679 (java) S 32661 32661 18810 0 -1 1077944384 24091 0 0 0 601 3 0 0 20 0 28 0 3885285 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630876978032 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32680] ppid=32661 vsize=13801768 CPUtime=1.42 cores=0-3,8-11 /proc/32662/task/32680/stat : 32680 (java) S 32661 32661 18810 0 -1 1077944384 18637 0 0 0 138 4 0 0 20 0 28 0 3885285 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630875925232 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32681] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32681/stat : 32681 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3885285 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630874872160 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32682] ppid=32661 vsize=13801768 CPUtime=0.21 cores=0-3,8-11 /proc/32662/task/32682/stat : 32682 (java) S 32661 32661 18810 0 -1 1077944384 1305 0 0 0 10 11 0 0 20 0 28 0 3885286 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630873819440 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2123] ppid=32661 vsize=13801768 CPUtime=1.55 cores=0-3,8-11 /proc/32662/task/2123/stat : 2123 (java) S 32661 32661 18810 0 -1 1077944384 432 0 0 0 155 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630864756544 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2124] ppid=32661 vsize=13801768 CPUtime=1.59 cores=0-3,8-11 /proc/32662/task/2124/stat : 2124 (java) S 32661 32661 18810 0 -1 1077944384 780 0 0 0 159 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630860547152 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2125] ppid=32661 vsize=13801768 CPUtime=1.58 cores=0-3,8-11 /proc/32662/task/2125/stat : 2125 (java) S 32661 32661 18810 0 -1 1077944384 12524 0 0 0 157 1 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630865810896 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2126] ppid=32661 vsize=13801768 CPUtime=1.6 cores=0-3,8-11 /proc/32662/task/2126/stat : 2126 (java) S 32661 32661 18810 0 -1 1077944384 4990 0 0 0 160 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630862652752 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2127] ppid=32661 vsize=13801768 CPUtime=1.62 cores=0-3,8-11 /proc/32662/task/2127/stat : 2127 (java) S 32661 32661 18810 0 -1 1077944384 734 0 0 0 162 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630858442448 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2128] ppid=32661 vsize=13801768 CPUtime=1.59 cores=0-3,8-11 /proc/32662/task/2128/stat : 2128 (java) S 32661 32661 18810 0 -1 1077944384 10339 0 0 0 159 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630861600336 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2129] ppid=32661 vsize=13801768 CPUtime=2.06 cores=0-3,8-11 /proc/32662/task/2129/stat : 2129 (java) S 32661 32661 18810 0 -1 1077944384 1831 0 0 0 206 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630859494352 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2130] ppid=32661 vsize=13801768 CPUtime=4.03 cores=0-3,8-11 /proc/32662/task/2130/stat : 2130 (java) R 32661 32661 18810 0 -1 4202560 422 0 0 0 403 0 0 0 20 0 28 0 3925103 14133010432 2087630 33554432000 4194304 4196468 140734382506160 140630863706824 140631749501807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 Current children cumulated CPU time (s) 2088.14 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+444.201 s] /proc/loadavg: 13.85 13.75 14.10 17/304 2139 /proc/meminfo: memFree=22969232/32770624 swapFree=5944/215076 [pid=32661] ppid=32658 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/32661/stat : 32661 (xcsp3-exec) S 32658 32661 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3885276 9740288 346 33554432000 4194304 5098028 140735627158896 140735627157000 139874609189500 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 28921856 140735627162767 140735627162976 140735627162976 140735627165675 0 /proc/32661/statm: 2378 346 289 221 0 87 0 [pid=32662] ppid=32661 vsize=13801768 CPUtime=2400.75 cores=0-3,8-11 /proc/32662/stat : 32662 (java) S 32661 32661 18810 0 -1 1077944320 1225842 0 0 0 236778 3297 0 0 20 0 28 0 3885277 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140734382488704 140632151342839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 /proc/32662/statm: 3450442 2087631 3313 1 0 3437675 0 [pid=32662/tid=32663] ppid=32661 vsize=13801768 CPUtime=112 cores=0-3,8-11 /proc/32662/task/32663/stat : 32663 (java) S 32661 32661 18810 0 -1 1077944384 20124 0 0 0 11190 10 0 0 20 0 28 0 3885277 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632155583616 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32665] ppid=32661 vsize=13801768 CPUtime=19.43 cores=0-3,8-11 /proc/32662/task/32665/stat : 32665 (java) S 32661 32661 18810 0 -1 1077944384 20884 0 0 0 1544 399 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632069822864 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32666] ppid=32661 vsize=13801768 CPUtime=19.61 cores=0-3,8-11 /proc/32662/task/32666/stat : 32666 (java) S 32661 32661 18810 0 -1 1077944384 26129 0 0 0 1573 388 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632068770064 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32667] ppid=32661 vsize=13801768 CPUtime=19.69 cores=0-3,8-11 /proc/32662/task/32667/stat : 32667 (java) S 32661 32661 18810 0 -1 1077944384 21026 0 0 0 1554 415 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632067717776 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32668] ppid=32661 vsize=13801768 CPUtime=19.65 cores=0-3,8-11 /proc/32662/task/32668/stat : 32668 (java) S 32661 32661 18810 0 -1 1077944384 21059 0 0 0 1564 401 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632066664976 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32669] ppid=32661 vsize=13801768 CPUtime=19.75 cores=0-3,8-11 /proc/32662/task/32669/stat : 32669 (java) S 32661 32661 18810 0 -1 1077944384 22502 0 0 0 1577 398 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632065612688 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32670] ppid=32661 vsize=13801768 CPUtime=19.38 cores=0-3,8-11 /proc/32662/task/32670/stat : 32670 (java) S 32661 32661 18810 0 -1 1077944384 20663 0 0 0 1544 394 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632064559888 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32671] ppid=32661 vsize=13801768 CPUtime=19.64 cores=0-3,8-11 /proc/32662/task/32671/stat : 32671 (java) S 32661 32661 18810 0 -1 1077944384 22585 0 0 0 1578 386 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632063507600 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32672] ppid=32661 vsize=13801768 CPUtime=19.64 cores=0-3,8-11 /proc/32662/task/32672/stat : 32672 (java) S 32661 32661 18810 0 -1 1077944384 25908 0 0 0 1596 368 0 0 20 0 28 0 3885278 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140632062454800 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32673] ppid=32661 vsize=13801768 CPUtime=1.78 cores=0-3,8-11 /proc/32662/task/32673/stat : 32673 (java) S 32661 32661 18810 0 -1 1077944384 18330 0 0 0 168 10 0 0 20 0 28 0 3885280 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630883293296 140632151353986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32674] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32674/stat : 32674 (java) S 32661 32661 18810 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 3885281 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630882239328 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32675] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32675/stat : 32675 (java) S 32661 32661 18810 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 28 0 3885281 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630881186944 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32676] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32676/stat : 32676 (java) S 32661 32661 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3885285 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630880135248 140632151361435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32677] ppid=32661 vsize=13801768 CPUtime=6.21 cores=0-3,8-11 /proc/32662/task/32677/stat : 32677 (java) S 32661 32661 18810 0 -1 1077944384 29308 0 0 0 617 4 0 0 20 0 28 0 3885285 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630879083120 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32678] ppid=32661 vsize=13801768 CPUtime=6.59 cores=0-3,8-11 /proc/32662/task/32678/stat : 32678 (java) S 32661 32661 18810 0 -1 1077944384 33833 0 0 0 655 4 0 0 20 0 28 0 3885285 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630878030320 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32679] ppid=32661 vsize=13801768 CPUtime=6.04 cores=0-3,8-11 /proc/32662/task/32679/stat : 32679 (java) S 32661 32661 18810 0 -1 1077944384 24115 0 0 0 601 3 0 0 20 0 28 0 3885285 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630876978032 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32680] ppid=32661 vsize=13801768 CPUtime=1.42 cores=0-3,8-11 /proc/32662/task/32680/stat : 32680 (java) S 32661 32661 18810 0 -1 1077944384 18970 0 0 0 138 4 0 0 20 0 28 0 3885285 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630875925232 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32681] ppid=32661 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/32662/task/32681/stat : 32681 (java) S 32661 32661 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3885285 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630874872160 140632151353045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=32682] ppid=32661 vsize=13801768 CPUtime=0.24 cores=0-3,8-11 /proc/32662/task/32682/stat : 32682 (java) S 32661 32661 18810 0 -1 1077944384 1422 0 0 0 11 13 0 0 20 0 28 0 3885286 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630873819440 140632151353986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2131] ppid=32661 vsize=13801768 CPUtime=37.84 cores=0-3,8-11 /proc/32662/task/2131/stat : 2131 (java) R 32661 32661 18810 0 -1 4202560 2961 0 0 0 3784 0 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630864756024 140631746195453 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2132] ppid=32661 vsize=13801768 CPUtime=38.8 cores=0-3,8-11 /proc/32662/task/2132/stat : 2132 (java) R 32661 32661 18810 0 -1 4202560 3502 0 0 0 3880 0 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630858440480 140631749360975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2133] ppid=32661 vsize=13801768 CPUtime=38.82 cores=0-3,8-11 /proc/32662/task/2133/stat : 2133 (java) R 32661 32661 18810 0 -1 4202560 51047 0 0 0 3878 4 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630861599304 140631749499808 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2134] ppid=32661 vsize=13801768 CPUtime=38.79 cores=0-3,8-11 /proc/32662/task/2134/stat : 2134 (java) R 32661 32661 18810 0 -1 4202560 15167 0 0 0 3877 2 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630862654664 140631749360552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2135] ppid=32661 vsize=13801768 CPUtime=38.77 cores=0-3,8-11 /proc/32662/task/2135/stat : 2135 (java) R 32661 32661 18810 0 -1 4202560 3675 0 0 0 3877 0 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630859497032 140631744643678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2136] ppid=32661 vsize=13801768 CPUtime=38.8 cores=0-3,8-11 /proc/32662/task/2136/stat : 2136 (java) R 32661 32661 18810 0 -1 4202560 64861 0 0 0 3874 6 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630860549576 140631749360975 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2137] ppid=32661 vsize=13801768 CPUtime=38.82 cores=0-3,8-11 /proc/32662/task/2137/stat : 2137 (java) R 32661 32661 18810 0 -1 4202560 1207 0 0 0 3882 0 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630865812296 140631749501807 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 [pid=32662/tid=2138] ppid=32661 vsize=13801768 CPUtime=38.78 cores=0-3,8-11 /proc/32662/task/2138/stat : 2138 (java) R 32661 32661 18810 0 -1 4202560 5812 0 0 0 3877 1 0 0 20 0 28 0 3925811 14133010432 2087631 33554432000 4194304 4196468 140734382506160 140630863699928 140631749500062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39682048 140734382511292 140734382511468 140734382511468 140734382514127 0 Current children cumulated CPU time (s) 2400.75 Current children cumulated vsize (KiB) 13811280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 32662 sig 9 ??? kill 32661 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32661 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2059 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1029 # CPU time returned by wait4() is 0.003088 # while last known CPU time is 2400.75 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 444.212 CPU time (s): 2400.75 CPU user time (s): 2367.78 CPU system time (s): 32.97 CPU usage (%): 540.451 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002059 system time used= 0.001029 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42641 second user time and 5.66548 second system time The end
Begin job on node132 at 2017-07-22 03:16:21 IDJOB=4245735 IDBENCH=123121 IDSOLVER=2625 FILE ID=node132/4245735-1500686181 RUNJOBID= node132-1500682387-18841 PBS_JOBID= 20623322 Free space on /tmp= 61760 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245735-1500686181/watcher-4245735-1500686181 -o /tmp/evaluation-result-4245735-1500686181/solver-4245735-1500686181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 585613421 HOME/instance-4245735-1500686181.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d RANDOM SEED=585613421 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1 siblings : 8 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 : 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 : 8 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 : 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 : 1 siblings : 8 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 : 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30520052 kB MemAvailable: 30574080 kB Buffers: 49868 kB Cached: 313008 kB SwapCached: 0 kB Active: 1647292 kB Inactive: 223224 kB Active(anon): 1510648 kB Inactive(anon): 8628 kB Active(file): 136644 kB Inactive(file): 214596 kB Unevictable: 5944 kB Mlocked: 5944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8104 kB Writeback: 0 kB AnonPages: 1513744 kB Mapped: 43180 kB Shmem: 8904 kB Slab: 71324 kB SReclaimable: 37244 kB SUnreclaim: 34080 kB KernelStack: 4752 kB PageTables: 8340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2595028 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1392640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 140672 kB DirectMap2M: 33404928 kB Free space on /tmp at the end= 61752 MiB End job on node132 at 2017-07-22 03:23:46