Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 7696083 | 766.91699 | 252.146 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml |
MD5SUM | c9a66f606132a3c8760ec6756f0c4250 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 7376034 |
Best CPU time to get the best result obtained on this benchmark | 251.92 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6480 |
Number of constraints | 3128 |
Number of domains | 2 |
Minimum domain size | 80 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":80,"count":80},{"size":100,"count":3127}] |
Minimum variable degree | 0 |
Maximum variable degree | 80 |
Distribution of variable degrees | [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":3,"count":3127},{"arity":80,"count":1}] |
Number of extensional constraints | 3127 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254693-1502640868.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4254693-1502640868.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 275.79/151.17 c solve instance... 323.39/160.75 o 7844359 327.01/163.23 o 7830277 327.63/163.44 o 7826722 331.05/166.35 o 7819723 331.83/166.69 o 7759699 337.16/169.16 o 7741320 338.33/169.51 o 7733914 366.78/193.87 o 7729404 368.13/194.18 o 7728996 371.79/197.12 o 7724936 373.47/197.42 o 7723314 379.42/200.14 o 7721956 380.15/200.38 o 7707774 387.05/203.06 o 7706708 387.93/203.29 o 7704936 398.08/205.85 o 7696083 766.19/252.08 s SATISFIABLE 766.19/252.08 v <instantiation> 766.19/252.08 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] 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][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[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] 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[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][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][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[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[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[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][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[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[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][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[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][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[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][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[10][11] d[10][12] d[10][13] d[10][14] 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[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[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[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[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[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[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][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[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[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][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[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[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[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][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[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[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[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[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[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[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][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[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][75] d[28][76] d[28][77] d[28][78] d[28][79] 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][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] 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[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][54] d[30][55] d[30][56] 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[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][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][78] d[31][79] 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][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[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[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[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[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][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[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[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][56] d[38][57] 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[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] 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[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[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[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[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[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[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[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[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][76] d[47][77] d[47][78] d[47][79] 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[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[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[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][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] 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[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][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[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[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[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][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] 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[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[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[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[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[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[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[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[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[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[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[68][69] 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[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] 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[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79] </list> 766.19/252.08 v <values>79 66 62 44 43 50 34 6 49 3 64 37 35 1 42 13 30 58 27 16 73 77 54 70 18 28 9 2 61 36 24 45 39 10 65 15 11 17 12 4 53 7 57 32 52 48 59 0 23 29 40 78 33 19 21 47 25 74 60 46 71 41 75 67 22 69 20 76 72 63 56 51 31 55 8 26 68 5 38 14 99 56 67 24 51 15 66 28 93 19 29 24 25 79 84 30 54 43 52 71 43 89 76 3 69 30 61 9 81 74 19 92 70 13 27 12 58 63 87 47 88 50 94 3 17 61 58 60 60 44 82 55 89 11 53 83 68 64 20 55 16 96 43 81 22 12 23 45 28 92 22 73 85 39 50 56 21 34 97 97 97 2 20 34 75 45 32 77 14 72 39 57 39 28 18 77 13 61 96 33 48 96 68 94 9 34 68 56 49 60 31 27 60 26 82 26 42 87 32 92 18 73 36 88 7 39 54 10 21 37 77 56 77 83 48 26 62 46 47 40 85 66 22 57 54 42 81 89 65 54 56 31 67 96 61 53 84 64 3 87 26 82 19 12 72 77 91 73 62 70 36 62 57 73 22 16 6 46 73 11 25 30 72 84 91 87 98 27 39 7 84 20 4 58 44 56 52 9 56 55 74 50 35 98 79 86 63 6 36 14 29 18 40 82 16 48 4 57 78 64 8 78 82 5 12 45 63 69 46 16 51 98 12 52 61 62 23 29 96 2 59 2 5 18 49 82 13 75 18 3 48 59 87 68 63 30 26 51 17 4 79 15 76 12 99 54 73 97 69 49 16 39 91 36 38 31 19 87 30 6 41 12 26 1 92 63 86 95 30 5 85 86 9 69 99 52 2 0 98 1 37 51 66 83 73 73 97 93 46 81 60 85 35 54 79 80 25 18 80 91 49 18 75 50 25 73 45 32 17 72 38 9 53 73 3 11 73 84 64 36 19 31 69 69 88 21 75 16 61 10 58 26 23 50 40 13 27 2 32 74 36 23 62 32 74 17 76 45 81 77 18 13 44 2 91 91 21 85 75 79 64 91 75 40 36 43 8 12 60 5 24 75 84 21 15 12 66 62 25 80 85 61 82 32 57 10 12 7 55 46 18 23 32 60 66 59 30 53 15 73 41 82 3 53 80 51 11 33 77 97 59 22 24 9 36 84 92 10 14 50 76 92 22 8 50 67 12 96 19 48 46 22 90 6 99 98 98 93 91 91 91 90 84 83 80 80 79 77 77 77 75 74 72 72 69 67 67 67 65 60 60 54 54 54 53 52 52 49 49 46 46 46 46 45 45 41 40 38 36 35 35 34 33 33 27 25 25 24 24 23 19 19 17 17 15 15 14 13 10 8 4 8 1 5 3 3 3 28 43 4 84 64 85 8 94 99 79 71 97 64 68 65 24 12 20 53 66 19 57 47 22 61 48 21 64 38 43 35 85 56 24 56 6 52 70 6 71 81 25 65 15 99 87 68 47 52 28 33 94 41 92 12 76 67 51 49 10 80 90 99 45 47 69 9 20 72 83 29 62 29 30 97 99 17 97 4 68 3 84 6 48 88 89 26 20 26 15 85 2 65 66 28 23 65 5 44 31 11 82 55 96 49 10 10 54 82 49 56 67 17 65 29 33 99 33 26 24 80 63 82 32 92 78 61 92 26 2 42 65 71 87 87 46 12 47 66 17 40 28 17 35 76 86 62 28 5 23 94 32 50 65 92 29 62 6 75 96 15 15 62 44 0 31 29 0 82 48 42 43 7 61 66 2 57 34 82 39 62 26 82 82 3 51 91 66 53 83 69 76 5 1 67 7 3 39 62 48 49 2 76 37 84 42 95 36 77 59 45 3 89 69 76 25 99 65 23 11 54 26 84 25 44 7 31 20 57 75 12 73 93 98 5 85 17 2 35 48 54 75 77 15 82 50 73 2 81 67 16 87 24 46 25 62 65 90 30 17 14 17 93 8 13 11 63 7 80 84 25 8 4 21 43 35 17 94 46 11 1 32 17 83 26 82 41 8 2 70 82 55 57 72 83 38 78 88 75 44 19 44 53 20 28 26 26 50 63 66 91 21 70 18 41 67 58 73 65 8 11 87 76 99 84 9 32 10 6 74 2 32 12 53 48 84 99 42 25 74 92 31 41 34 57 36 13 89 40 66 97 13 34 73 38 73 28 57 89 26 12 63 31 68 62 81 95 86 22 88 6 81 26 6 15 69 86 43 18 32 91 55 23 27 76 7 21 75 60 25 65 97 46 79 70 85 94 5 56 79 25 54 27 66 6 91 14 30 97 8 72 21 5 94 90 37 13 77 15 6 62 60 22 96 36 51 21 4 29 83 10 32 3 48 41 48 83 29 72 2 94 46 87 56 70 20 21 54 53 87 46 76 74 65 56 14 0 86 99 57 67 62 89 40 59 45 41 63 15 74 4 26 72 90 71 44 44 77 66 92 84 25 46 90 35 54 21 91 5 98 19 58 56 27 27 47 48 41 54 86 55 25 31 94 21 16 72 19 31 37 15 36 60 39 5 67 31 42 85 60 29 98 35 25 43 22 4 69 24 2 29 96 24 15 87 21 67 3 81 41 21 79 26 8 68 67 75 12 66 1 56 89 79 62 12 59 98 3 10 15 32 80 88 55 8 28 72 79 84 90 16 53 10 0 2 40 0 33 61 8 80 62 11 30 34 37 5 9 96 27 2 46 56 9 63 0 30 47 0 14 51 83 22 1 13 63 27 81 91 28 62 47 84 3 74 68 79 50 52 9 3 0 90 27 33 99 68 47 69 93 27 42 14 36 37 57 48 26 86 81 95 7 91 1 47 61 43 96 55 69 13 51 86 83 72 64 19 14 17 70 24 3 10 80 64 15 84 18 24 95 97 54 51 36 90 3 15 58 33 91 90 17 91 13 46 62 76 24 60 38 12 65 37 96 48 17 77 26 13 76 28 86 89 13 92 42 45 0 40 66 30 71 0 30 1 89 9 52 80 61 28 4 75 64 23 4 12 61 52 28 95 86 76 87 40 30 34 31 56 78 55 5 85 42 27 62 49 83 28 81 7 18 37 83 48 44 62 57 58 94 11 27 80 3 70 81 81 75 21 19 53 66 73 76 26 98 2 60 54 76 64 21 94 27 78 60 43 12 26 22 5 18 77 31 87 20 15 25 29 84 13 41 37 56 15 59 72 79 48 20 18 70 74 57 81 51 93 48 80 0 60 6 94 33 57 75 89 39 44 99 88 75 33 12 5 81 93 82 56 70 20 11 10 45 60 39 43 41 55 22 95 7 5 37 21 44 85 55 25 70 44 38 21 63 75 40 91 18 88 35 92 8 42 79 28 32 31 5 35 1 48 22 41 38 94 85 56 9 75 96 17 19 64 8 45 44 3 34 3 80 91 45 19 20 23 92 96 32 86 97 54 36 90 88 11 84 33 17 0 50 10 10 22 5 64 54 55 26 58 37 59 41 98 47 18 61 30 43 21 66 22 89 91 58 40 55 53 57 85 4 41 50 3 57 31 20 32 3 38 46 9 49 48 23 18 10 22 99 88 80 48 97 62 80 93 59 5 60 17 75 92 20 4 91 55 37 56 87 95 32 77 31 77 2 36 30 42 15 75 56 81 45 62 71 90 49 31 74 72 6 52 24 10 37 33 23 39 93 82 47 49 73 91 87 96 45 90 28 90 72 17 17 0 46 13 29 56 63 55 26 93 17 60 92 62 67 84 3 1 22 21 26 85 92 97 50 51 92 26 80 3 55 80 17 64 81 60 64 67 63 10 15 88 89 76 8 7 52 71 44 45 63 34 38 66 65 55 23 27 79 82 41 29 47 23 26 99 2 46 5 43 39 4 35 78 37 28 31 74 29 80 0 72 45 33 44 83 85 51 12 10 91 27 78 85 77 61 33 36 98 40 49 24 24 51 58 8 19 28 52 35 22 7 63 18 1 11 96 89 37 35 40 25 14 33 36 76 35 56 41 31 57 49 21 37 6 69 55 98 87 23 31 54 95 1 77 71 66 9 79 88 6 88 59 9 48 78 69 12 52 68 16 20 31 41 68 23 55 69 3 61 30 74 46 81 92 56 5 21 73 4 77 78 55 56 80 53 94 21 54 89 0 94 22 71 11 67 33 83 98 99 78 74 8 13 76 61 95 71 94 46 39 98 72 85 50 27 49 78 87 85 91 8 13 76 3 58 1 53 35 67 39 95 77 85 46 35 40 39 6 30 30 87 21 45 87 43 33 53 21 56 97 47 96 51 44 34 8 30 58 3 40 7 49 7 55 28 15 0 90 66 52 11 35 51 15 4 84 52 78 79 42 93 21 78 78 49 4 10 7 8 10 25 84 30 58 44 94 58 76 78 89 3 3 92 31 90 81 35 19 94 69 56 53 65 45 91 28 14 67 93 97 42 90 78 34 16 17 9 57 9 59 32 10 28 42 41 64 98 93 89 50 17 35 21 5 85 94 33 2 1 13 87 97 76 1 30 40 46 99 4 26 79 92 69 9 18 54 64 32 96 25 35 72 71 38 22 32 0 88 90 21 85 61 91 1 44 30 33 85 34 29 94 84 7 2 91 28 3 28 27 13 44 50 24 18 63 33 39 45 63 41 81 19 44 98 37 77 13 92 84 76 29 72 21 99 92 69 28 26 30 59 84 87 71 62 78 39 38 96 89 89 81 21 21 4 59 57 3 55 78 38 1 91 47 88 67 46 68 42 71 68 71 26 31 3 55 81 60 39 61 30 30 58 70 94 49 91 89 80 13 65 66 81 23 38 70 9 29 28 98 89 89 66 33 13 97 24 18 75 8 66 90 93 87 49 78 17 66 40 10 34 30 63 54 23 66 84 29 80 68 87 99 98 76 61 71 9 53 85 99 88 28 52 46 62 0 63 99 90 55 1 86 62 30 20 30 37 79 59 27 74 29 17 95 72 84 27 4 89 8 17 13 78 13 6 51 75 97 23 69 34 48 25 91 47 91 99 23 40 27 74 70 5 60 88 32 7 41 47 23 59 24 64 51 34 17 3 81 93 12 94 79 36 24 30 20 1 29 26 36 57 67 53 68 15 0 10 41 71 23 7 63 63 6 69 59 56 82 86 16 74 1 6 99 85 44 50 53 58 66 37 19 89 86 6 31 56 58 81 67 94 4 89 95 85 14 46 1 98 59 53 85 84 79 24 26 17 63 95 47 53 75 88 12 44 52 79 42 84 37 68 60 5 54 35 89 30 98 4 81 94 55 74 96 45 61 29 74 9 30 92 83 7 5 29 23 49 69 64 74 0 44 43 13 12 49 94 62 37 16 99 48 20 43 26 17 44 3 50 53 48 97 56 2 3 49 38 37 87 33 30 78 53 63 87 93 96 52 83 66 96 62 2 43 91 71 32 1 14 12 39 80 12 7 67 93 1 2 79 60 20 70 34 17 0 27 7 39 71 35 40 98 31 93 87 21 84 93 9 20 21 71 71 1 19 55 31 24 13 86 42 8 26 51 32 4 48 75 91 73 63 84 49 58 17 85 80 89 97 67 1 91 67 41 35 55 42 50 35 17 5 42 54 47 82 82 76 40 2 25 68 10 33 26 27 37 43 80 60 3 13 35 81 23 17 56 20 30 3 25 37 35 74 22 83 91 28 23 3 59 42 70 58 44 41 23 89 69 53 25 88 92 67 31 22 52 90 47 62 1 1 0 2 32 6 47 79 32 11 35 77 12 48 87 39 53 56 81 44 36 76 45 56 76 83 13 80 83 84 61 93 29 28 19 57 62 3 94 9 70 1 29 19 82 92 11 25 95 48 68 79 44 44 45 80 92 84 71 17 77 20 80 44 54 12 29 45 37 78 90 94 76 31 99 11 81 69 72 44 49 54 57 40 51 93 66 93 58 62 85 94 29 30 97 1 27 84 27 42 60 67 95 68 31 93 19 71 81 85 78 39 70 25 96 62 18 74 23 49 68 45 39 26 8 76 61 40 22 73 71 63 25 44 44 99 73 12 84 40 29 9 39 51 22 69 48 54 14 57 72 47 39 73 85 64 11 0 12 82 18 80 86 9 85 11 26 11 40 71 15 57 20 27 84 2 1 21 11 1 30 6 69 74 10 85 41 76 75 4 75 9 6 71 21 70 43 88 33 62 41 46 78 42 22 1 9 68 66 27 62 22 32 29 43 17 26 92 20 34 4 12 16 54 35 53 69 81 55 11 50 4 93 88 19 27 49 96 1 23 18 64 99 52 22 71 72 70 58 4 79 29 50 1 90 56 54 98 22 96 20 83 58 95 51 18 93 28 90 46 75 70 21 95 57 49 96 84 94 0 9 86 66 18 99 48 76 22 91 30 10 80 20 52 85 20 33 0 11 16 22 35 10 46 74 87 9 80 38 32 28 44 98 45 13 94 15 22 81 53 86 61 93 3 58 79 48 53 94 88 32 3 9 34 34 80 16 79 12 32 37 2 48 46 63 42 73 93 19 82 72 54 36 15 40 58 66 49 61 9 35 58 65 87 47 20 69 28 6 0 72 63 58 45 91 47 35 34 49 57 49 10 47 64 57 48 14 24 99 63 53 17 73 97 87 56 38 19 88 61 72 64 68 44 81 21 78 79 32 34 98 49 98 78 57 4 79 86 29 35 76 64 75 58 18 92 13 31 8 55 37 39 99 50 42 33 33 46 1 15 36 54 71 78 64 62 47 62 67 27 59 52 38 91 99 37 56 0 18 9 87 92 16 33 37 15 33 6 19 98 98 93 20 50 69 10 99 57 2 96 87 69 96 5 71 24 90 82 94 26 85 68 40 36 51 58 22 80 17 20 89 16 52 29 85 29 70 28 72 25 51 47 95 93 2 80 64 20 14 48 85 91 44 76 26 69 82 58 75 87 30 26 18 8 55 74 25 69 45 96 62 30 74 67 86 57 55 54 27 81 44 86 92 23 67 63 46 26 22 12 14 80 55 90 48 29 9 61 63 79 94 59 73 3 94 72 53 89 27 45 2 64 70 30 64 84 71 89 1 57 17 52 50 52 28 21 9 22 53 37 67 62 6 93 32 54 27 49 99 23 74 32 21 24 68 25 11 27 68 30 10 35 85 26 29 26 16 66 87 37 10 13 49 69 87 79 79 88 54 31 54 27 70 98 10 16 60 2 86 71 13 31 69 46 87 70 1 42 3 69 90 96 56 28 5 62 82 97 6 44 79 45 87 86 33 18 35 45 70 92 </values> 766.19/252.08 v </instantiation> 766.19/252.08 c Unexpected resolution interruption!
OK 7696083
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15335 MiB free) memory of node 1: 16384 MiB (15445 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254693-1502640868/watcher-4254693-1502640868 -o /tmp/evaluation-result-4254693-1502640868/solver-4254693-1502640868 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1669987996 HOME/instance-4254693-1502640868.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29264, runsolver pid=29261 [startup+0.100261 s]* /proc/loadavg: 8.94 8.19 7.89 2/200 29285 /proc/meminfo: memFree=31503636/32770624 swapFree=67108860/67108860 [pid=29264] ppid=29261 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29264/stat : 29264 (xcsp3-exec) S 29261 29264 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97175120 9740288 346 33554432000 4194304 5098028 140722935940144 140722935938248 140366449558140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30760960 140722935944298 140722935944508 140722935944508 140722935947243 0 /proc/29264/statm: 2378 346 289 221 0 87 0 [pid=29266] ppid=29264 vsize=25999808 memory=26552 CPUtime=0.12 cores=0-7 /proc/29266/stat : 29266 (java) S 29264 29264 10735 0 -1 1077944320 5519 0 0 0 11 1 0 0 20 0 20 0 97175120 26623803392 6638 33554432000 4194304 4196468 140727362089344 140727362071888 139726957457143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 /proc/29266/statm: 6499952 6638 2866 1 0 6488269 0 [pid=29266/tid=29267] ppid=29264 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/29266/task/29267/stat : 29267 (java) R 29264 29264 10735 0 -1 4202560 3519 0 0 0 8 1 0 0 20 0 20 0 97175120 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726961690416 139726957469078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29268] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29268/stat : 29268 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726910077840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29269] ppid=29264 vsize=25999808 memory=140447317538432 CPUtime=0 cores=0-7 /proc/29266/task/29269/stat : 29269 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726909025040 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29270] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29270/stat : 29270 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726907972752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29271] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29271/stat : 29271 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726906919952 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29272] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29272/stat : 29272 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726905866640 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29273] ppid=29264 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29266/task/29273/stat : 29273 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726904813840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29274] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29274/stat : 29274 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726903761552 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29275] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29275/stat : 29275 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26623803392 6638 33554432000 4194304 4196468 140727362089344 139726902708752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29276] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29276/stat : 29276 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175122 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725677480560 139726957468290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29277] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29277/stat : 29277 (java) S 29264 29264 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97175123 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725676426528 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29278] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29278/stat : 29278 (java) S 29264 29264 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97175123 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725675374192 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29279] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29279/stat : 29279 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175125 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725674322512 139726957475739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29280] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29280/stat : 29280 (java) S 29264 29264 10735 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 97175125 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725673269360 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29281] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29281/stat : 29281 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175125 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725672216560 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29282] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29282/stat : 29282 (java) S 29264 29264 10735 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97175125 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725671164272 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29283] ppid=29264 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29266/task/29283/stat : 29283 (java) R 29264 29264 10735 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 20 0 97175125 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725670111472 139726936398734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29284] ppid=29264 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29284/stat : 29284 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175126 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725669059424 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29285] ppid=29264 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29266/task/29285/stat : 29285 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175126 26623803392 6638 33554432000 4194304 4196468 140727362089344 139725668006704 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27936 KiB [startup+0.210642 s]* /proc/loadavg: 8.94 8.19 7.89 2/200 29285 /proc/meminfo: memFree=31492456/32770624 swapFree=67108860/67108860 [pid=29264] ppid=29261 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29264/stat : 29264 (xcsp3-exec) S 29261 29264 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97175120 9740288 346 33554432000 4194304 5098028 140722935940144 140722935938248 140366449558140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30760960 140722935944298 140722935944508 140722935944508 140722935947243 0 /proc/29264/statm: 2378 346 289 221 0 87 0 [pid=29266] ppid=29264 vsize=26004064 memory=39196 CPUtime=0.33 cores=0-7 /proc/29266/stat : 29266 (java) S 29264 29264 10735 0 -1 1077944320 8336 0 0 0 30 3 0 0 20 0 20 0 97175120 26628161536 9799 33554432000 4194304 4196468 140727362089344 140727362071888 139726957457143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 /proc/29266/statm: 6501016 9799 3065 1 0 6488269 0 [pid=29266/tid=29267] ppid=29264 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29266/task/29267/stat : 29267 (java) R 29264 29264 10735 0 -1 4202560 5438 0 0 0 18 2 0 0 20 0 20 0 97175120 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726961679968 139726941537630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29268] ppid=29264 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/29266/task/29268/stat : 29268 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726910077840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29269] ppid=29264 vsize=26004064 memory=288370823469250176 CPUtime=0 cores=0-7 /proc/29266/task/29269/stat : 29269 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726909025040 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29270] ppid=29264 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29266/task/29270/stat : 29270 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726907972752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29271] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29271/stat : 29271 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726906919952 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29272] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29272/stat : 29272 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726905866640 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29273] ppid=29264 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29266/task/29273/stat : 29273 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726904813840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29274] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29274/stat : 29274 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726903761552 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29275] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29275/stat : 29275 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 9799 33554432000 4194304 4196468 140727362089344 139726902708752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29276] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29276/stat : 29276 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175122 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725677480560 139726957468290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29277] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29277/stat : 29277 (java) S 29264 29264 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97175123 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725676426528 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29278] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29278/stat : 29278 (java) S 29264 29264 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97175123 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725675374192 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29279] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29279/stat : 29279 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175125 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725674322512 139726957475739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29280] ppid=29264 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/29266/task/29280/stat : 29280 (java) S 29264 29264 10735 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 20 0 97175125 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725673269360 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29281] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29281/stat : 29281 (java) S 29264 29264 10735 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 97175125 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725672216560 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29282] ppid=29264 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/29266/task/29282/stat : 29282 (java) S 29264 29264 10735 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 97175125 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725671164272 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29283] ppid=29264 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/29266/task/29283/stat : 29283 (java) R 29264 29264 10735 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 20 0 97175125 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725670111472 139726949694270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29284] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29284/stat : 29284 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175126 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725669059424 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29285] ppid=29264 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29266/task/29285/stat : 29285 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175126 26628161536 9799 33554432000 4194304 4196468 140727362089344 139725668006704 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40580 KiB [startup+0.310484 s]* /proc/loadavg: 8.94 8.19 7.89 3/200 29285 /proc/meminfo: memFree=31485508/32770624 swapFree=67108860/67108860 [pid=29264] ppid=29261 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29264/stat : 29264 (xcsp3-exec) S 29261 29264 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97175120 9740288 346 33554432000 4194304 5098028 140722935940144 140722935938248 140366449558140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30760960 140722935944298 140722935944508 140722935944508 140722935947243 0 /proc/29264/statm: 2378 346 289 221 0 87 0 [pid=29266] ppid=29264 vsize=26004064 memory=45896 CPUtime=0.5 cores=0-7 /proc/29266/stat : 29266 (java) S 29264 29264 10735 0 -1 1077944320 9181 0 0 0 46 4 0 0 20 0 20 0 97175120 26628161536 11474 33554432000 4194304 4196468 140727362089344 140727362071888 139726957457143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 /proc/29266/statm: 6501016 11474 3104 1 0 6488269 0 [pid=29266/tid=29267] ppid=29264 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29266/task/29267/stat : 29267 (java) R 29264 29264 10735 0 -1 4202560 6100 0 0 0 27 2 0 0 20 0 20 0 97175120 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726961695952 139726577495520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29268] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29268/stat : 29268 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726910077840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29269] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29269/stat : 29269 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726909025040 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29270] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29270/stat : 29270 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726907972752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29271] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29271/stat : 29271 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726906919952 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29272] ppid=29264 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29266/task/29272/stat : 29272 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726905866640 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29273] ppid=29264 vsize=26004064 memory=140447175504815 CPUtime=0 cores=0-7 /proc/29266/task/29273/stat : 29273 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726904813840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29274] ppid=29264 vsize=26004064 memory=140447175507120 CPUtime=0 cores=0-7 /proc/29266/task/29274/stat : 29274 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726903761552 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29275] ppid=29264 vsize=26004064 memory=140447175509424 CPUtime=0 cores=0-7 /proc/29266/task/29275/stat : 29275 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628161536 11474 33554432000 4194304 4196468 140727362089344 139726902708752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29276] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29276/stat : 29276 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175122 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725677480560 139726957468290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29277] ppid=29264 vsize=26004064 memory=280894351025808 CPUtime=0 cores=0-7 /proc/29266/task/29277/stat : 29277 (java) S 29264 29264 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97175123 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725676426528 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29278] ppid=29264 vsize=26004064 memory=280894351032720 CPUtime=0 cores=0-7 /proc/29266/task/29278/stat : 29278 (java) S 29264 29264 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97175123 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725675374192 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29279] ppid=29264 vsize=26004064 memory=280894350974000 CPUtime=0 cores=0-7 /proc/29266/task/29279/stat : 29279 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175125 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725674322512 139726957475739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29280] ppid=29264 vsize=26004064 memory=280894351046544 CPUtime=0.03 cores=0-7 /proc/29266/task/29280/stat : 29280 (java) S 29264 29264 10735 0 -1 1077944384 681 0 0 0 3 0 0 0 20 0 20 0 97175125 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725673269360 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29281] ppid=29264 vsize=26004064 memory=280894351053456 CPUtime=0.01 cores=0-7 /proc/29266/task/29281/stat : 29281 (java) S 29264 29264 10735 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 20 0 97175125 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725672216560 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29282] ppid=29264 vsize=26004064 memory=280894351051152 CPUtime=0.01 cores=0-7 /proc/29266/task/29282/stat : 29282 (java) S 29264 29264 10735 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 97175125 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725671164272 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29283] ppid=29264 vsize=26004064 memory=280894351067312 CPUtime=0.12 cores=0-7 /proc/29266/task/29283/stat : 29283 (java) R 29264 29264 10735 0 -1 4202560 853 0 0 0 12 0 0 0 20 0 20 0 97175125 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725670107840 139726936423273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29284] ppid=29264 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29284/stat : 29284 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175126 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725669059424 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29285] ppid=29264 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29266/task/29285/stat : 29285 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175126 26628161536 11474 33554432000 4194304 4196468 140727362089344 139725668006704 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47280 KiB [startup+0.701012 s] /proc/loadavg: 8.94 8.19 7.89 6/200 29285 /proc/meminfo: memFree=31460472/32770624 swapFree=67108860/67108860 [pid=29264] ppid=29261 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29264/stat : 29264 (xcsp3-exec) S 29261 29264 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97175120 9740288 346 33554432000 4194304 5098028 140722935940144 140722935938248 140366449558140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30760960 140722935944298 140722935944508 140722935944508 140722935947243 0 /proc/29264/statm: 2378 346 289 221 0 87 0 [pid=29266] ppid=29264 vsize=26004140 memory=99244 CPUtime=1.91 cores=0-7 /proc/29266/stat : 29266 (java) S 29264 29264 10735 0 -1 1077944320 13273 0 0 0 185 6 0 0 20 0 20 0 97175120 26628239360 24811 33554432000 4194304 4196468 140727362089344 140727362071888 139726957457143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 /proc/29266/statm: 6501035 24811 3198 1 0 6488269 0 [pid=29266/tid=29267] ppid=29264 vsize=26004140 memory=280894351425200 CPUtime=0.67 cores=0-7 /proc/29266/task/29267/stat : 29267 (java) R 29264 29264 10735 0 -1 4202560 6467 0 0 0 64 3 0 0 20 0 20 0 97175120 26628239360 24811 33554432000 4194304 4196468 140727362089344 139726961695664 139726581369325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29268] ppid=29264 vsize=26004140 memory=140447175713648 CPUtime=0 cores=0-7 /proc/29266/task/29268/stat : 29268 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97175121 26628239360 24811 33554432000 4194304 4196468 140727362089344 139726910077840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29269] ppid=29264 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/29266/task/29269/stat : 29269 (java) S 29264 29264 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97175121 26628239360 24811 33554432000 4194304 4196468 140727362089344 139726909025040 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29270] ppid=29264 vsize=26004140 memory=5672 CPUtime=0 cores=0-7 /proc/29266/task/29270/stat : 29270 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97175121 26628239360 24811 33554432000 4194304 4196468 140727362089344 139726907972752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 ################ # More data... # ################ /proc/meminfo: memFree=20776244/32770624 swapFree=67108860/67108860 [pid=29264] ppid=29261 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29264/stat : 29264 (xcsp3-exec) S 29261 29264 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97175120 9740288 346 33554432000 4194304 5098028 140722935940144 140722935938248 140366449558140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30760960 140722935944298 140722935944508 140722935944508 140722935947243 0 /proc/29264/statm: 2378 346 289 221 0 87 0 [pid=29266] ppid=29264 vsize=26538700 memory=10736252 CPUtime=529.26 cores=0-7 /proc/29266/stat : 29266 (java) S 29264 29264 10735 0 -1 1077944320 312971 0 0 0 50389 2537 0 0 20 0 28 0 97175120 27175628800 2684063 33554432000 4194304 4196468 140727362089344 140727362071888 139726957457143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 /proc/29266/statm: 6634675 2684063 3311 1 0 6621909 0 [pid=29266/tid=29267] ppid=29264 vsize=26538700 memory=10736192 CPUtime=131.6 cores=0-7 /proc/29266/task/29267/stat : 29267 (java) S 29264 29264 10735 0 -1 1077944384 16805 0 0 0 13144 16 0 0 20 0 28 0 97175120 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726961697920 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29268] ppid=29264 vsize=26538700 memory=10736212 CPUtime=19.08 cores=0-7 /proc/29266/task/29268/stat : 29268 (java) S 29264 29264 10735 0 -1 1077944384 13665 0 0 0 1622 286 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726910077840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29269] ppid=29264 vsize=26538700 memory=10736252 CPUtime=19.2 cores=0-7 /proc/29266/task/29269/stat : 29269 (java) S 29264 29264 10735 0 -1 1077944384 12865 0 0 0 1641 279 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726909025040 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29270] ppid=29264 vsize=26538700 memory=1384 CPUtime=19.12 cores=0-7 /proc/29266/task/29270/stat : 29270 (java) S 29264 29264 10735 0 -1 1077944384 10697 0 0 0 1650 262 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726907972752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29271] ppid=29264 vsize=26538700 memory=10736252 CPUtime=19.1 cores=0-7 /proc/29266/task/29271/stat : 29271 (java) S 29264 29264 10735 0 -1 1077944384 10407 0 0 0 1631 279 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726906919952 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29272] ppid=29264 vsize=26538700 memory=1384 CPUtime=19.28 cores=0-7 /proc/29266/task/29272/stat : 29272 (java) S 29264 29264 10735 0 -1 1077944384 15038 0 0 0 1632 296 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726905866640 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29273] ppid=29264 vsize=26538700 memory=1384 CPUtime=19.39 cores=0-7 /proc/29266/task/29273/stat : 29273 (java) S 29264 29264 10735 0 -1 1077944384 13480 0 0 0 1627 312 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726904813840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29274] ppid=29264 vsize=26538700 memory=280894352026688 CPUtime=19.07 cores=0-7 /proc/29266/task/29274/stat : 29274 (java) S 29264 29264 10735 0 -1 1077944384 20543 0 0 0 1651 256 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726903761552 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29275] ppid=29264 vsize=26538700 memory=10599684 CPUtime=19.23 cores=0-7 /proc/29266/task/29275/stat : 29275 (java) S 29264 29264 10735 0 -1 1077944384 13761 0 0 0 1643 280 0 0 20 0 28 0 97175121 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139726902708752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29276] ppid=29264 vsize=26538700 memory=1384 CPUtime=2.26 cores=0-7 /proc/29266/task/29276/stat : 29276 (java) S 29264 29264 10735 0 -1 1077944384 27938 0 0 0 214 12 0 0 20 0 28 0 97175122 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725677480560 139726957468290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29277] ppid=29264 vsize=26538700 memory=27976 CPUtime=0 cores=0-7 /proc/29266/task/29277/stat : 29277 (java) S 29264 29264 10735 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97175123 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725676426592 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29278] ppid=29264 vsize=26538700 memory=1296 CPUtime=0 cores=0-7 /proc/29266/task/29278/stat : 29278 (java) S 29264 29264 10735 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 28 0 97175123 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725675374208 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29279] ppid=29264 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/29266/task/29279/stat : 29279 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97175125 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725674322512 139726957475739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29280] ppid=29264 vsize=26538700 memory=10736192 CPUtime=3.02 cores=0-7 /proc/29266/task/29280/stat : 29280 (java) S 29264 29264 10735 0 -1 1077944384 18601 0 0 0 298 4 0 0 20 0 28 0 97175125 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725673269360 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29281] ppid=29264 vsize=26538700 memory=1384 CPUtime=2.56 cores=0-7 /proc/29266/task/29281/stat : 29281 (java) S 29264 29264 10735 0 -1 1077944384 18859 0 0 0 251 5 0 0 20 0 28 0 97175125 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725672216560 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29282] ppid=29264 vsize=26538700 memory=1384 CPUtime=2.84 cores=0-7 /proc/29266/task/29282/stat : 29282 (java) S 29264 29264 10735 0 -1 1077944384 18758 0 0 0 281 3 0 0 20 0 28 0 97175125 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725671164272 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29283] ppid=29264 vsize=26538700 memory=10736252 CPUtime=0.9 cores=0-7 /proc/29266/task/29283/stat : 29283 (java) S 29264 29264 10735 0 -1 1077944384 15436 0 0 0 87 3 0 0 20 0 28 0 97175125 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725670111472 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29284] ppid=29264 vsize=26538700 memory=10599864 CPUtime=0 cores=0-7 /proc/29266/task/29284/stat : 29284 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97175126 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725669059424 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29285] ppid=29264 vsize=26538700 memory=4136 CPUtime=0.07 cores=0-7 /proc/29266/task/29285/stat : 29285 (java) S 29264 29264 10735 0 -1 1077944384 2463 0 0 0 3 4 0 0 20 0 28 0 97175126 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725668006704 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29436] ppid=29264 vsize=26538700 memory=27976 CPUtime=16.08 cores=0-7 /proc/29266/task/29436/stat : 29436 (java) R 29264 29264 10735 0 -1 4202560 1719 0 0 0 1589 19 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725657890712 139726581398403 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29437] ppid=29264 vsize=26538700 memory=10736252 CPUtime=16.07 cores=0-7 /proc/29266/task/29437/stat : 29437 (java) R 29264 29264 10735 0 -1 4202560 1890 0 0 0 1584 23 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725656838888 139726584331000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29438] ppid=29264 vsize=26538700 memory=4136 CPUtime=16.18 cores=0-7 /proc/29266/task/29438/stat : 29438 (java) R 29264 29264 10735 0 -1 4202560 2103 0 0 0 1618 0 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725655785304 139726579592031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29439] ppid=29264 vsize=26538700 memory=1384 CPUtime=16.22 cores=0-7 /proc/29266/task/29439/stat : 29439 (java) R 29264 29264 10735 0 -1 4202560 3002 0 0 0 1602 20 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725652626840 139726581398403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29440] ppid=29264 vsize=26538700 memory=10736252 CPUtime=16.3 cores=0-7 /proc/29266/task/29440/stat : 29440 (java) R 29264 29264 10735 0 -1 4202560 8733 0 0 0 1622 8 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725654733240 139726581398403 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29441] ppid=29264 vsize=26538700 memory=1384 CPUtime=16.23 cores=0-7 /proc/29266/task/29441/stat : 29441 (java) R 29264 29264 10735 0 -1 4202560 2543 0 0 0 1600 23 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725653679896 139726585108757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29442] ppid=29264 vsize=26538700 memory=6791534058613427641 CPUtime=16.3 cores=0-7 /proc/29266/task/29442/stat : 29442 (java) R 29264 29264 10735 0 -1 4202560 4437 0 0 0 1630 0 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725659995944 139726584699909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29443] ppid=29264 vsize=26538700 memory=1384 CPUtime=16.36 cores=0-7 /proc/29266/task/29443/stat : 29443 (java) R 29264 29264 10735 0 -1 4202560 3148 0 0 0 1629 7 0 0 20 0 28 0 97195705 27175628800 2684063 33554432000 4194304 4196468 140727362089344 139725658942744 139726580384112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 Current children cumulated CPU time: 529.26 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10737636 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 5.30 5.32 6.68 9/208 29443 /proc/meminfo: memFree=20843640/32770624 swapFree=67108860/67108860 [pid=29264] ppid=29261 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29264/stat : 29264 (xcsp3-exec) S 29261 29264 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97175120 9740288 346 33554432000 4194304 5098028 140722935940144 140722935938248 140366449558140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30760960 140722935944298 140722935944508 140722935944508 140722935947243 0 /proc/29264/statm: 2378 346 289 221 0 87 0 [pid=29266] ppid=29264 vsize=26538700 memory=10670192 CPUtime=766.19 cores=0-7 /proc/29266/stat : 29266 (java) S 29264 29264 10735 0 -1 1077944320 362520 0 0 0 74020 2599 0 0 20 0 28 0 97175120 27175628800 2667548 33554432000 4194304 4196468 140727362089344 140727362071888 139726957457143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 /proc/29266/statm: 6634675 2667548 3311 1 0 6621909 0 [pid=29266/tid=29267] ppid=29264 vsize=26538700 memory=6791534058613427641 CPUtime=131.6 cores=0-7 /proc/29266/task/29267/stat : 29267 (java) S 29264 29264 10735 0 -1 1077944384 16805 0 0 0 13144 16 0 0 20 0 28 0 97175120 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726961697920 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29268] ppid=29264 vsize=26538700 memory=10670192 CPUtime=19.12 cores=0-7 /proc/29266/task/29268/stat : 29268 (java) S 29264 29264 10735 0 -1 1077944384 16129 0 0 0 1626 286 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726910077840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29269] ppid=29264 vsize=26538700 memory=5672 CPUtime=19.24 cores=0-7 /proc/29266/task/29269/stat : 29269 (java) S 29264 29264 10735 0 -1 1077944384 14528 0 0 0 1645 279 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726909025040 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29270] ppid=29264 vsize=26538700 memory=4612 CPUtime=19.15 cores=0-7 /proc/29266/task/29270/stat : 29270 (java) S 29264 29264 10735 0 -1 1077944384 14192 0 0 0 1653 262 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726907972752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29271] ppid=29264 vsize=26538700 memory=916 CPUtime=19.14 cores=0-7 /proc/29266/task/29271/stat : 29271 (java) S 29264 29264 10735 0 -1 1077944384 12368 0 0 0 1635 279 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726906919952 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29272] ppid=29264 vsize=26538700 memory=4208 CPUtime=19.32 cores=0-7 /proc/29266/task/29272/stat : 29272 (java) S 29264 29264 10735 0 -1 1077944384 16017 0 0 0 1636 296 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726905866640 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29273] ppid=29264 vsize=26538700 memory=4108 CPUtime=19.42 cores=0-7 /proc/29266/task/29273/stat : 29273 (java) S 29264 29264 10735 0 -1 1077944384 15770 0 0 0 1630 312 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726904813840 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29274] ppid=29264 vsize=26538700 memory=1424 CPUtime=19.11 cores=0-7 /proc/29266/task/29274/stat : 29274 (java) S 29264 29264 10735 0 -1 1077944384 22782 0 0 0 1655 256 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726903761552 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29275] ppid=29264 vsize=26538700 memory=8560 CPUtime=19.28 cores=0-7 /proc/29266/task/29275/stat : 29275 (java) S 29264 29264 10735 0 -1 1077944384 14280 0 0 0 1647 281 0 0 20 0 28 0 97175121 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139726902708752 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29276] ppid=29264 vsize=26538700 memory=1724 CPUtime=2.28 cores=0-7 /proc/29266/task/29276/stat : 29276 (java) S 29264 29264 10735 0 -1 1077944384 28303 0 0 0 215 13 0 0 20 0 28 0 97175122 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725677480560 139726957468290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29277] ppid=29264 vsize=26538700 memory=11000 CPUtime=0 cores=0-7 /proc/29266/task/29277/stat : 29277 (java) S 29264 29264 10735 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97175123 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725676426592 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29278] ppid=29264 vsize=26538700 memory=1224 CPUtime=0 cores=0-7 /proc/29266/task/29278/stat : 29278 (java) S 29264 29264 10735 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 28 0 97175123 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725675374208 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29279] ppid=29264 vsize=26538700 memory=5672 CPUtime=0 cores=0-7 /proc/29266/task/29279/stat : 29279 (java) S 29264 29264 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97175125 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725674322512 139726957475739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29280] ppid=29264 vsize=26538700 memory=4612 CPUtime=3.06 cores=0-7 /proc/29266/task/29280/stat : 29280 (java) S 29264 29264 10735 0 -1 1077944384 20066 0 0 0 302 4 0 0 20 0 28 0 97175125 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725673269360 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29281] ppid=29264 vsize=26538700 memory=1200 CPUtime=2.71 cores=0-7 /proc/29266/task/29281/stat : 29281 (java) S 29264 29264 10735 0 -1 1077944384 22004 0 0 0 265 6 0 0 20 0 28 0 97175125 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725672216560 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29282] ppid=29264 vsize=26538700 memory=15876 CPUtime=2.89 cores=0-7 /proc/29266/task/29282/stat : 29282 (java) S 29264 29264 10735 0 -1 1077944384 19955 0 0 0 286 3 0 0 20 0 28 0 97175125 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725671164272 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29283] ppid=29264 vsize=26538700 memory=16236 CPUtime=0.9 cores=0-7 /proc/29266/task/29283/stat : 29283 (java) S 29264 29264 10735 0 -1 1077944384 15590 0 0 0 87 3 0 0 20 0 28 0 97175125 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725670111472 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29284] ppid=29264 vsize=26538700 memory=4044 CPUtime=0 cores=0-7 /proc/29266/task/29284/stat : 29284 (java) S 29264 29264 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97175126 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725669059424 139726957467349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29285] ppid=29264 vsize=26538700 memory=16428 CPUtime=0.09 cores=0-7 /proc/29266/task/29285/stat : 29285 (java) S 29264 29264 10735 0 -1 1077944384 2649 0 0 0 4 5 0 0 20 0 28 0 97175126 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725668006704 139726957468290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29436] ppid=29264 vsize=26538700 memory=1232 CPUtime=45.66 cores=0-7 /proc/29266/task/29436/stat : 29436 (java) R 29264 29264 10735 0 -1 4202560 3862 0 0 0 4543 23 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725657889936 139726581397851 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29437] ppid=29264 vsize=26538700 memory=648 CPUtime=45.73 cores=0-7 /proc/29266/task/29437/stat : 29437 (java) R 29264 29264 10735 0 -1 4202560 3398 0 0 0 4527 46 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725656838680 139726581398403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29438] ppid=29264 vsize=26538700 memory=1796 CPUtime=45.78 cores=0-7 /proc/29266/task/29438/stat : 29438 (java) R 29264 29264 10735 0 -1 4202560 4140 0 0 0 4576 2 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725655785112 139726581398022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29439] ppid=29264 vsize=26538700 memory=956 CPUtime=45.76 cores=0-7 /proc/29266/task/29439/stat : 29439 (java) R 29264 29264 10735 0 -1 4202560 5792 0 0 0 4554 22 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725652627464 139726581398403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29440] ppid=29264 vsize=26538700 memory=2344 CPUtime=45.96 cores=0-7 /proc/29266/task/29440/stat : 29440 (java) R 29264 29264 10735 0 -1 4202560 15623 0 0 0 4587 9 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725654732952 139726581398815 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29441] ppid=29264 vsize=26538700 memory=928 CPUtime=45.26 cores=0-7 /proc/29266/task/29441/stat : 29441 (java) R 29264 29264 10735 0 -1 4202560 6308 0 0 0 4478 48 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725653679896 139726581398815 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29442] ppid=29264 vsize=26538700 memory=1576 CPUtime=45.96 cores=0-7 /proc/29266/task/29442/stat : 29442 (java) R 29264 29264 10735 0 -1 4202560 8057 0 0 0 4594 2 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725659996648 139726581398815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 [pid=29266/tid=29443] ppid=29264 vsize=26538700 memory=2236 CPUtime=46.02 cores=0-7 /proc/29266/task/29443/stat : 29443 (java) R 29264 29264 10735 0 -1 4202560 7822 0 0 0 4594 8 0 0 20 0 28 0 97195705 27175628800 2667548 33554432000 4194304 4196468 140727362089344 139725658942936 139726581398344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140727362094232 140727362094408 140727362094408 140727362097103 0 Current children cumulated CPU time: 766.19 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10671576 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.042 s] # the end of solver process 29264 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001965 s, system=0 s [startup+252.146 s] # the end of solver process 29266 was just reported to runsolver # cumulated CPU time of all completed processes: user=740.866 s, system=26.0513 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+252.132 s]* /proc/loadavg: 5.30 5.32 6.68 2/181 29445 /proc/meminfo: memFree=30536880/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001965 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 252.146 CPU time (s): 766.917 CPU user time (s): 740.866 CPU system time (s): 26.0513 CPU usage (%): 304.156 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 10738784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 740.866 system time used= 26.0513 maximum resident set size= 10755864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 364018 page faults= 0 swaps= 0 block input operations= 0 block output operations= 552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20050 involuntary context switches= 8112 # summary of solver processes directly reported to runsolver: # pid: 29264,29266 # total CPU time (s): 766.917 # total CPU user time (s): 740.866 # total CPU system time (s): 26.0513 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.87197 second user time and 2.76982 second system time The end
Begin job on node102 at 2017-08-13 18:00:09 IDJOB=4254693 IDBENCH=123023 IDSOLVER=2636 FILE ID=node102/4254693-1502640868 RUNJOBID= node102-1502634636-10762 PBS_JOBID= 20628324 Free space on /tmp= 61912 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254693-1502640868/watcher-4254693-1502640868 -o /tmp/evaluation-result-4254693-1502640868/solver-4254693-1502640868 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1669987996 HOME/instance-4254693-1502640868.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1669987996 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31520112 kB MemAvailable: 31983796 kB Buffers: 114744 kB Cached: 633536 kB SwapCached: 0 kB Active: 646944 kB Inactive: 153364 kB Active(anon): 4584 kB Inactive(anon): 75372 kB Active(file): 642360 kB Inactive(file): 77992 kB Unevictable: 6444 kB Mlocked: 6444 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7952 kB Writeback: 4 kB AnonPages: 58188 kB Mapped: 43404 kB Shmem: 25228 kB Slab: 145100 kB SReclaimable: 118336 kB SUnreclaim: 26764 kB KernelStack: 3248 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323800 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61904 MiB End job on node102 at 2017-08-13 18:04:22