Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 7696083 | 684.38202 | 252.24699 |
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-4281475-1503184800.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281475-1503184800.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 233.15/149.17 c solve instance... 348.60/167.80 o 7844359 351.48/169.69 o 7830277 354.16/171.66 o 7826722 357.13/173.92 o 7819723 425.68/205.91 o 7816299 429.49/208.45 o 7808954 430.44/208.82 o 7807237 433.07/210.97 o 7759699 433.82/211.26 o 7741320 436.45/213.37 o 7733914 437.23/213.59 o 7729404 440.23/215.69 o 7728996 441.24/215.90 o 7724936 444.57/217.82 o 7723314 450.05/220.16 o 7721956 450.74/220.31 o 7707774 457.31/222.75 o 7706708 458.16/222.95 o 7704936 469.22/225.15 o 7696083 683.29/252.11 s SATISFIABLE 683.29/252.11 v <instantiation> 683.29/252.11 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> 683.29/252.11 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> 683.29/252.11 v </instantiation> 683.29/252.13 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 (13011 MiB free) memory of node 1: 16384 MiB (12569 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281475-1503184800/watcher-4281475-1503184800 -o /tmp/evaluation-result-4281475-1503184800/solver-4281475-1503184800 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1682220880 HOME/instance-4281475-1503184800.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=7109, runsolver pid=7106 [startup+0.100134 s]* /proc/loadavg: 7.31 7.57 7.95 2/200 7130 /proc/meminfo: memFree=26180540/32770624 swapFree=67108860/67108860 [pid=7109] ppid=7106 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7109/stat : 7109 (xcsp3-exec) S 7106 7109 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151567625 9740288 346 33554432000 4194304 5098028 140728522043888 140728522041992 140606439977596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28303360 140728522052714 140728522052924 140728522052924 140728522055659 0 /proc/7109/statm: 2378 346 289 221 0 87 0 [pid=7111] ppid=7109 vsize=25999808 memory=26480 CPUtime=0.12 cores=0-7 /proc/7111/stat : 7111 (java) S 7109 7109 3572 0 -1 1077944320 5478 0 0 0 11 1 0 0 20 0 20 0 151567625 26623803392 6620 33554432000 4194304 4196468 140726418839872 140726418822416 140413093400311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 /proc/7111/statm: 6499952 6620 2866 1 0 6488269 0 [pid=7111/tid=7112] ppid=7109 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7111/task/7112/stat : 7112 (java) R 7109 7109 3572 0 -1 4202560 3480 0 0 0 9 0 0 0 20 0 20 0 151567625 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413097633584 140413093421658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7113] ppid=7109 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7111/task/7113/stat : 7113 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413046020368 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7114] ppid=7109 vsize=25999808 memory=140445736416896 CPUtime=0 cores=0-7 /proc/7111/task/7114/stat : 7114 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413044967824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7115] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7115/stat : 7115 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413043915280 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7116] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7116/stat : 7116 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413042862736 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7117] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7117/stat : 7117 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413041810192 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7118] ppid=7109 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7111/task/7118/stat : 7118 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413040757648 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7119] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7119/stat : 7119 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413039705104 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7120] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7120/stat : 7120 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26623803392 6620 33554432000 4194304 4196468 140726418839872 140413038652560 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7121] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7121/stat : 7121 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567628 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411880499184 140413093411458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7122] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7122/stat : 7122 (java) S 7109 7109 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151567628 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411879445408 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7123] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7123/stat : 7123 (java) S 7109 7109 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151567628 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411878392816 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7124] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7124/stat : 7124 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411877341392 140413093418907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7125] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7125/stat : 7125 (java) S 7109 7109 3572 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411495541232 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7126] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7126/stat : 7126 (java) S 7109 7109 3572 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411494488688 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7127] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7127/stat : 7127 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411493436144 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7128] ppid=7109 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/7111/task/7128/stat : 7128 (java) S 7109 7109 3572 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411492383600 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7129] ppid=7109 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7129/stat : 7129 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411491330272 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7130] ppid=7109 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7111/task/7130/stat : 7130 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567631 26623803392 6620 33554432000 4194304 4196468 140726418839872 140411490277808 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27864 KiB [startup+0.210206 s]* /proc/loadavg: 7.31 7.57 7.95 2/200 7130 /proc/meminfo: memFree=26170368/32770624 swapFree=67108860/67108860 [pid=7109] ppid=7106 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7109/stat : 7109 (xcsp3-exec) S 7106 7109 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151567625 9740288 346 33554432000 4194304 5098028 140728522043888 140728522041992 140606439977596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28303360 140728522052714 140728522052924 140728522052924 140728522055659 0 /proc/7109/statm: 2378 346 289 221 0 87 0 [pid=7111] ppid=7109 vsize=26004064 memory=39088 CPUtime=0.33 cores=0-7 /proc/7111/stat : 7111 (java) S 7109 7109 3572 0 -1 1077944320 8303 0 0 0 31 2 0 0 20 0 20 0 151567625 26628161536 9772 33554432000 4194304 4196468 140726418839872 140726418822416 140413093400311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 /proc/7111/statm: 6501016 9772 3088 1 0 6488269 0 [pid=7111/tid=7112] ppid=7109 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7111/task/7112/stat : 7112 (java) R 7109 7109 3572 0 -1 4202560 5394 0 0 0 19 1 0 0 20 0 20 0 151567625 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413097621312 140413093422237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7113] ppid=7109 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/7111/task/7113/stat : 7113 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413046020368 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7114] ppid=7109 vsize=26004064 memory=140445736952219 CPUtime=0 cores=0-7 /proc/7111/task/7114/stat : 7114 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413044967824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7115] ppid=7109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7111/task/7115/stat : 7115 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413043915280 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7116] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7116/stat : 7116 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413042862736 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7117] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7117/stat : 7117 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413041810192 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7118] ppid=7109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7111/task/7118/stat : 7118 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413040757648 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7119] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7119/stat : 7119 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413039705104 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7120] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7120/stat : 7120 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 9772 33554432000 4194304 4196468 140726418839872 140413038652560 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7121] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7121/stat : 7121 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567628 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411880499184 140413093411458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7122] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7122/stat : 7122 (java) S 7109 7109 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151567628 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411879445408 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7123] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7123/stat : 7123 (java) S 7109 7109 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151567628 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411878392816 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7124] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7124/stat : 7124 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567631 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411877341392 140413093418907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7125] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7125/stat : 7125 (java) S 7109 7109 3572 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 151567631 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411495541232 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7126] ppid=7109 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/7111/task/7126/stat : 7126 (java) S 7109 7109 3572 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 151567631 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411494488688 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7127] ppid=7109 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/7111/task/7127/stat : 7127 (java) S 7109 7109 3572 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 151567631 26628161536 9772 33554432000 4194304 4196468 140726418839872 140411493436144 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7128] ppid=7109 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7 /proc/7111/task/7128/stat : 7128 (java) S 7109 7109 3572 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 20 0 151567631 26628194304 9772 33554432000 4194304 4196468 140726418839872 140411492383600 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7129] ppid=7109 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7129/stat : 7129 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567631 26628194304 9772 33554432000 4194304 4196468 140726418839872 140411491330272 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7130] ppid=7109 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/7111/task/7130/stat : 7130 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567631 26628194304 9793 33554432000 4194304 4196468 140726418839872 140411490277808 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40472 KiB [startup+0.309483 s]* /proc/loadavg: 7.31 7.57 7.95 3/200 7130 /proc/meminfo: memFree=26163280/32770624 swapFree=67108860/67108860 [pid=7109] ppid=7106 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7109/stat : 7109 (xcsp3-exec) S 7106 7109 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151567625 9740288 346 33554432000 4194304 5098028 140728522043888 140728522041992 140606439977596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28303360 140728522052714 140728522052924 140728522052924 140728522055659 0 /proc/7109/statm: 2378 346 289 221 0 87 0 [pid=7111] ppid=7109 vsize=26004064 memory=45520 CPUtime=0.49 cores=0-7 /proc/7111/stat : 7111 (java) S 7109 7109 3572 0 -1 1077944320 9086 0 0 0 47 2 0 0 20 0 20 0 151567625 26628161536 11380 33554432000 4194304 4196468 140726418839872 140726418822416 140413093400311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 /proc/7111/statm: 6501016 11380 3104 1 0 6488269 0 [pid=7111/tid=7112] ppid=7109 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7111/task/7112/stat : 7112 (java) R 7109 7109 3572 0 -1 4202560 6068 0 0 0 28 1 0 0 20 0 20 0 151567625 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413097638432 140413077443941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7113] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7113/stat : 7113 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413046020368 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7114] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7114/stat : 7114 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413044967824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7115] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7115/stat : 7115 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413043915280 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7116] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7116/stat : 7116 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413042862736 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7117] ppid=7109 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/7111/task/7117/stat : 7117 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413041810192 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7118] ppid=7109 vsize=26004064 memory=140445632000943 CPUtime=0 cores=0-7 /proc/7111/task/7118/stat : 7118 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413040757648 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7119] ppid=7109 vsize=26004064 memory=140445632003248 CPUtime=0 cores=0-7 /proc/7111/task/7119/stat : 7119 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413039705104 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7120] ppid=7109 vsize=26004064 memory=140445632005552 CPUtime=0 cores=0-7 /proc/7111/task/7120/stat : 7120 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628161536 11380 33554432000 4194304 4196468 140726418839872 140413038652560 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7121] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7121/stat : 7121 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567628 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411880499184 140413093411458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7122] ppid=7109 vsize=26004064 memory=280891264018064 CPUtime=0 cores=0-7 /proc/7111/task/7122/stat : 7122 (java) S 7109 7109 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151567628 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411879445408 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7123] ppid=7109 vsize=26004064 memory=280891264024976 CPUtime=0 cores=0-7 /proc/7111/task/7123/stat : 7123 (java) S 7109 7109 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151567628 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411878392816 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7124] ppid=7109 vsize=26004064 memory=280891263966256 CPUtime=0 cores=0-7 /proc/7111/task/7124/stat : 7124 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411877341392 140413093418907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7125] ppid=7109 vsize=26004064 memory=280891264038800 CPUtime=0 cores=0-7 /proc/7111/task/7125/stat : 7125 (java) S 7109 7109 3572 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411495541232 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7126] ppid=7109 vsize=26004064 memory=280891264045712 CPUtime=0.01 cores=0-7 /proc/7111/task/7126/stat : 7126 (java) S 7109 7109 3572 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411494488688 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7127] ppid=7109 vsize=26004064 memory=280891264043408 CPUtime=0.04 cores=0-7 /proc/7111/task/7127/stat : 7127 (java) R 7109 7109 3572 0 -1 4202560 364 0 0 0 4 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411493436144 140413071141184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7128] ppid=7109 vsize=26004064 memory=280891264059568 CPUtime=0.11 cores=0-7 /proc/7111/task/7128/stat : 7128 (java) R 7109 7109 3572 0 -1 4202560 840 0 0 0 11 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411492383600 140413077480798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7129] ppid=7109 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7129/stat : 7129 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411491330272 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7130] ppid=7109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7111/task/7130/stat : 7130 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567631 26628161536 11380 33554432000 4194304 4196468 140726418839872 140411490277808 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46904 KiB [startup+0.700984 s] /proc/loadavg: 7.31 7.57 7.95 5/200 7130 /proc/meminfo: memFree=26138336/32770624 swapFree=67108860/67108860 [pid=7109] ppid=7106 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7109/stat : 7109 (xcsp3-exec) S 7106 7109 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151567625 9740288 346 33554432000 4194304 5098028 140728522043888 140728522041992 140606439977596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28303360 140728522052714 140728522052924 140728522052924 140728522055659 0 /proc/7109/statm: 2378 346 289 221 0 87 0 [pid=7111] ppid=7109 vsize=26004140 memory=98208 CPUtime=1.81 cores=0-7 /proc/7111/stat : 7111 (java) S 7109 7109 3572 0 -1 1077944320 13030 0 0 0 177 4 0 0 20 0 20 0 151567625 26628239360 24552 33554432000 4194304 4196468 140726418839872 140726418822416 140413093400311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 /proc/7111/statm: 6501035 24552 3196 1 0 6488269 0 [pid=7111/tid=7112] ppid=7109 vsize=26004140 memory=280891264417456 CPUtime=0.67 cores=0-7 /proc/7111/task/7112/stat : 7112 (java) R 7109 7109 3572 0 -1 4202560 6434 0 0 0 65 2 0 0 20 0 20 0 151567625 26628239360 24552 33554432000 4194304 4196468 140726418839872 140413097638800 140413058742752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7113] ppid=7109 vsize=26004140 memory=140445632209776 CPUtime=0 cores=0-7 /proc/7111/task/7113/stat : 7113 (java) S 7109 7109 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151567626 26628239360 24552 33554432000 4194304 4196468 140726418839872 140413046020368 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7114] ppid=7109 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/7111/task/7114/stat : 7114 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151567626 26628239360 24552 33554432000 4194304 4196468 140726418839872 140413044967824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7115] ppid=7109 vsize=26004140 memory=1004 CPUtime=0 cores=0-7 /proc/7111/task/7115/stat : 7115 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151567626 26628239360 24552 33554432000 4194304 4196468 140726418839872 140413043915280 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 ################ # More data... # ################ /proc/meminfo: memFree=15273892/32770624 swapFree=67108860/67108860 [pid=7109] ppid=7106 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7109/stat : 7109 (xcsp3-exec) S 7106 7109 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151567625 9740288 346 33554432000 4194304 5098028 140728522043888 140728522041992 140606439977596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28303360 140728522052714 140728522052924 140728522052924 140728522055659 0 /proc/7109/statm: 2378 346 289 221 0 87 0 [pid=7111] ppid=7109 vsize=26538700 memory=10912764 CPUtime=456.9 cores=0-7 /proc/7111/stat : 7111 (java) S 7109 7109 3572 0 -1 1077944320 1025793 0 0 0 43169 2521 0 0 20 0 28 0 151567625 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140726418822416 140413093400311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 /proc/7111/statm: 6634675 2728191 3310 1 0 6621909 0 [pid=7111/tid=7112] ppid=7109 vsize=26538700 memory=10919480 CPUtime=136.27 cores=0-7 /proc/7111/task/7112/stat : 7112 (java) S 7109 7109 3572 0 -1 1077944384 21346 0 0 0 13600 27 0 0 20 0 28 0 151567625 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413097641088 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7113] ppid=7109 vsize=26538700 memory=10912340 CPUtime=26.6 cores=0-7 /proc/7111/task/7113/stat : 7113 (java) S 7109 7109 3572 0 -1 1077944384 51825 0 0 0 2355 305 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413046020368 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7114] ppid=7109 vsize=26538700 memory=10912764 CPUtime=26.69 cores=0-7 /proc/7111/task/7114/stat : 7114 (java) S 7109 7109 3572 0 -1 1077944384 61433 0 0 0 2383 286 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413044967824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7115] ppid=7109 vsize=26538700 memory=1384 CPUtime=26.74 cores=0-7 /proc/7111/task/7115/stat : 7115 (java) S 7109 7109 3572 0 -1 1077944384 50183 0 0 0 2389 285 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413043915280 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7116] ppid=7109 vsize=26538700 memory=1384 CPUtime=26.78 cores=0-7 /proc/7111/task/7116/stat : 7116 (java) S 7109 7109 3572 0 -1 1077944384 48176 0 0 0 2391 287 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413042862736 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7117] ppid=7109 vsize=26538700 memory=10919208 CPUtime=26.84 cores=0-7 /proc/7111/task/7117/stat : 7117 (java) S 7109 7109 3572 0 -1 1077944384 92241 0 0 0 2395 289 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413041810192 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7118] ppid=7109 vsize=26538700 memory=6 CPUtime=26.59 cores=0-7 /proc/7111/task/7118/stat : 7118 (java) S 7109 7109 3572 0 -1 1077944384 47186 0 0 0 2377 282 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413040757648 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7119] ppid=7109 vsize=26538700 memory=3 CPUtime=26.73 cores=0-7 /proc/7111/task/7119/stat : 7119 (java) S 7109 7109 3572 0 -1 1077944384 51818 0 0 0 2397 276 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413039705104 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7120] ppid=7109 vsize=26538700 memory=244 CPUtime=26.75 cores=0-7 /proc/7111/task/7120/stat : 7120 (java) S 7109 7109 3572 0 -1 1077944384 53709 0 0 0 2406 269 0 0 20 0 28 0 151567626 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140413038652560 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7121] ppid=7109 vsize=26538700 memory=280891264678864 CPUtime=6.6 cores=0-7 /proc/7111/task/7121/stat : 7121 (java) S 7109 7109 3572 0 -1 1077944384 40078 0 0 0 643 17 0 0 20 0 28 0 151567628 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411880499184 140413093411458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7122] ppid=7109 vsize=26538700 memory=10903552 CPUtime=0 cores=0-7 /proc/7111/task/7122/stat : 7122 (java) S 7109 7109 3572 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 151567628 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411879445472 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7123] ppid=7109 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7111/task/7123/stat : 7123 (java) S 7109 7109 3572 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 151567628 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411878392832 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7124] ppid=7109 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/7111/task/7124/stat : 7124 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411877341392 140413093418907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7125] ppid=7109 vsize=26538700 memory=1384 CPUtime=2.61 cores=0-7 /proc/7111/task/7125/stat : 7125 (java) S 7109 7109 3572 0 -1 1077944384 19737 0 0 0 256 5 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411495541232 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7126] ppid=7109 vsize=26538700 memory=1384 CPUtime=2.8 cores=0-7 /proc/7111/task/7126/stat : 7126 (java) S 7109 7109 3572 0 -1 1077944384 20329 0 0 0 277 3 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411494488688 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7127] ppid=7109 vsize=26538700 memory=10912764 CPUtime=2.43 cores=0-7 /proc/7111/task/7127/stat : 7127 (java) S 7109 7109 3572 0 -1 1077944384 14403 0 0 0 241 2 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411493436144 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7128] ppid=7109 vsize=26538700 memory=0 CPUtime=0.89 cores=0-7 /proc/7111/task/7128/stat : 7128 (java) S 7109 7109 3572 0 -1 1077944384 14175 0 0 0 87 2 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411492383600 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7129] ppid=7109 vsize=26538700 memory=1436 CPUtime=0 cores=0-7 /proc/7111/task/7129/stat : 7129 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411491330272 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7130] ppid=7109 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7 /proc/7111/task/7130/stat : 7130 (java) S 7109 7109 3572 0 -1 1077944384 1840 0 0 0 2 5 0 0 20 0 28 0 151567631 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411490277808 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7259] ppid=7109 vsize=26538700 memory=10912660 CPUtime=0.58 cores=0-7 /proc/7111/task/7259/stat : 7259 (java) S 7109 7109 3572 0 -1 1077944384 25 0 0 0 58 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411475955360 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7260] ppid=7109 vsize=26538700 memory=10912404 CPUtime=0.53 cores=0-7 /proc/7111/task/7260/stat : 7260 (java) S 7109 7109 3572 0 -1 1077944384 22 0 0 0 53 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411478062096 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7261] ppid=7109 vsize=26538700 memory=1384 CPUtime=0.55 cores=0-7 /proc/7111/task/7261/stat : 7261 (java) S 7109 7109 3572 0 -1 1077944384 52 0 0 0 55 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411481220240 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7262] ppid=7109 vsize=26538700 memory=10919308 CPUtime=0.58 cores=0-7 /proc/7111/task/7262/stat : 7262 (java) S 7109 7109 3572 0 -1 1077944384 134 0 0 0 58 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411479115024 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7263] ppid=7109 vsize=26538700 memory=4132 CPUtime=0.56 cores=0-7 /proc/7111/task/7263/stat : 7263 (java) S 7109 7109 3572 0 -1 1077944384 96 0 0 0 56 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411480167824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7264] ppid=7109 vsize=26538700 memory=10912476 CPUtime=0.57 cores=0-7 /proc/7111/task/7264/stat : 7264 (java) S 7109 7109 3572 0 -1 1077944384 38 0 0 0 57 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411477009936 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7265] ppid=7109 vsize=26538700 memory=1436 CPUtime=0.57 cores=0-7 /proc/7111/task/7265/stat : 7265 (java) S 7109 7109 3572 0 -1 1077944384 30 0 0 0 57 0 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411482272400 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7266] ppid=7109 vsize=26538700 memory=1200 CPUtime=1.98 cores=0-7 /proc/7111/task/7266/stat : 7266 (java) R 7109 7109 3572 0 -1 4202560 1118 0 0 0 197 1 0 0 20 0 28 0 151589656 27175628800 2728191 33554432000 4194304 4196468 140726418839872 140411474897608 140412700357783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 Current children cumulated CPU time: 456.9 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10914148 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 3.87 4.63 6.58 9/207 7290 /proc/meminfo: memFree=15273688/32770624 swapFree=67108860/67108860 [pid=7109] ppid=7106 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7109/stat : 7109 (xcsp3-exec) S 7106 7109 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151567625 9740288 346 33554432000 4194304 5098028 140728522043888 140728522041992 140606439977596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28303360 140728522052714 140728522052924 140728522052924 140728522055659 0 /proc/7109/statm: 2378 346 289 221 0 87 0 [pid=7111] ppid=7109 vsize=26538700 memory=10913284 CPUtime=683.29 cores=0-7 /proc/7111/stat : 7111 (java) S 7109 7109 3572 0 -1 1077944320 1379651 0 0 0 65583 2746 0 0 20 0 28 0 151567625 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140726418822416 140413093400311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 /proc/7111/statm: 6634675 2728321 3311 1 0 6621909 0 [pid=7111/tid=7112] ppid=7109 vsize=26538700 memory=8112282956445269571 CPUtime=136.27 cores=0-7 /proc/7111/task/7112/stat : 7112 (java) S 7109 7109 3572 0 -1 1077944384 21901 0 0 0 13600 27 0 0 20 0 28 0 151567625 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413097641088 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7113] ppid=7109 vsize=26538700 memory=4872558044660077418 CPUtime=26.6 cores=0-7 /proc/7111/task/7113/stat : 7113 (java) S 7109 7109 3572 0 -1 1077944384 51825 0 0 0 2355 305 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413046020368 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7114] ppid=7109 vsize=26538700 memory=960 CPUtime=26.69 cores=0-7 /proc/7111/task/7114/stat : 7114 (java) S 7109 7109 3572 0 -1 1077944384 61433 0 0 0 2383 286 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413044967824 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7115] ppid=7109 vsize=26538700 memory=15620 CPUtime=26.74 cores=0-7 /proc/7111/task/7115/stat : 7115 (java) S 7109 7109 3572 0 -1 1077944384 50183 0 0 0 2389 285 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413043915280 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7116] ppid=7109 vsize=26538700 memory=8028063742189650020 CPUtime=26.78 cores=0-7 /proc/7111/task/7116/stat : 7116 (java) S 7109 7109 3572 0 -1 1077944384 48176 0 0 0 2391 287 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413042862736 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7117] ppid=7109 vsize=26538700 memory=1948 CPUtime=26.84 cores=0-7 /proc/7111/task/7117/stat : 7117 (java) S 7109 7109 3572 0 -1 1077944384 92241 0 0 0 2395 289 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413041810192 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7118] ppid=7109 vsize=26538700 memory=8580 CPUtime=26.59 cores=0-7 /proc/7111/task/7118/stat : 7118 (java) S 7109 7109 3572 0 -1 1077944384 47186 0 0 0 2377 282 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413040757648 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7119] ppid=7109 vsize=26538700 memory=4616 CPUtime=26.73 cores=0-7 /proc/7111/task/7119/stat : 7119 (java) S 7109 7109 3572 0 -1 1077944384 51818 0 0 0 2397 276 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413039705104 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7120] ppid=7109 vsize=26538700 memory=1720 CPUtime=26.75 cores=0-7 /proc/7111/task/7120/stat : 7120 (java) S 7109 7109 3572 0 -1 1077944384 53709 0 0 0 2406 269 0 0 20 0 28 0 151567626 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140413038652560 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7121] ppid=7109 vsize=26538700 memory=1004 CPUtime=6.61 cores=0-7 /proc/7111/task/7121/stat : 7121 (java) S 7109 7109 3572 0 -1 1077944384 40537 0 0 0 644 17 0 0 20 0 28 0 151567628 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411880499184 140413093411458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7122] ppid=7109 vsize=26538700 memory=1200 CPUtime=0 cores=0-7 /proc/7111/task/7122/stat : 7122 (java) S 7109 7109 3572 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 151567628 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411879445472 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7123] ppid=7109 vsize=26538700 memory=15876 CPUtime=0 cores=0-7 /proc/7111/task/7123/stat : 7123 (java) S 7109 7109 3572 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 151567628 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411878392832 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7124] ppid=7109 vsize=26538700 memory=4040 CPUtime=0 cores=0-7 /proc/7111/task/7124/stat : 7124 (java) S 7109 7109 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411877341392 140413093418907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7125] ppid=7109 vsize=26538700 memory=24096 CPUtime=2.9 cores=0-7 /proc/7111/task/7125/stat : 7125 (java) S 7109 7109 3572 0 -1 1077944384 24776 0 0 0 284 6 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411495541232 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7126] ppid=7109 vsize=26538700 memory=18292 CPUtime=3.28 cores=0-7 /proc/7111/task/7126/stat : 7126 (java) S 7109 7109 3572 0 -1 1077944384 27356 0 0 0 324 4 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411494488688 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7127] ppid=7109 vsize=26538700 memory=1792 CPUtime=2.8 cores=0-7 /proc/7111/task/7127/stat : 7127 (java) S 7109 7109 3572 0 -1 1077944384 19320 0 0 0 278 2 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411493436144 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7128] ppid=7109 vsize=26538700 memory=648 CPUtime=0.94 cores=0-7 /proc/7111/task/7128/stat : 7128 (java) S 7109 7109 3572 0 -1 1077944384 16725 0 0 0 92 2 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411492383600 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7129] ppid=7109 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/7111/task/7129/stat : 7129 (java) S 7109 7109 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411491330272 140413093410517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7130] ppid=7109 vsize=26538700 memory=10913284 CPUtime=0.09 cores=0-7 /proc/7111/task/7130/stat : 7130 (java) S 7109 7109 3572 0 -1 1077944384 2151 0 0 0 3 6 0 0 20 0 28 0 151567631 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411490277808 140413093411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7283] ppid=7109 vsize=26538700 memory=2424 CPUtime=26.82 cores=0-7 /proc/7111/task/7283/stat : 7283 (java) R 7109 7109 3572 0 -1 4202560 2904 0 0 0 2672 10 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411479108456 140412700357783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7284] ppid=7109 vsize=26538700 memory=648 CPUtime=26.68 cores=0-7 /proc/7111/task/7284/stat : 7284 (java) R 7109 7109 3572 0 -1 4202560 7779 0 0 0 2632 36 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411481215672 140412702487572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7285] ppid=7109 vsize=26538700 memory=1236 CPUtime=26.59 cores=0-7 /proc/7111/task/7285/stat : 7285 (java) R 7109 7109 3572 0 -1 4202560 3886 0 0 0 2625 34 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411482267440 140412700357732 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7286] ppid=7109 vsize=26538700 memory=960 CPUtime=26.18 cores=0-7 /proc/7111/task/7286/stat : 7286 (java) R 7109 7109 3572 0 -1 4202560 67143 0 0 0 2591 27 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411480163000 140412705099460 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7287] ppid=7109 vsize=26538700 memory=2424 CPUtime=26.7 cores=0-7 /proc/7111/task/7287/stat : 7287 (java) R 7109 7109 3572 0 -1 4202560 21647 0 0 0 2639 31 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411477004856 140412700359115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7288] ppid=7109 vsize=26538700 memory=2236 CPUtime=26.64 cores=0-7 /proc/7111/task/7288/stat : 7288 (java) R 7109 7109 3572 0 -1 4202560 2382 0 0 0 2632 32 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411478057384 140412705049866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7289] ppid=7109 vsize=26538700 memory=4084 CPUtime=26.74 cores=0-7 /proc/7111/task/7289/stat : 7289 (java) R 7109 7109 3572 0 -1 4202560 164115 0 0 0 2666 8 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411475951192 140412700357952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 [pid=7111/tid=7290] ppid=7109 vsize=26538700 memory=932 CPUtime=26.68 cores=0-7 /proc/7111/task/7290/stat : 7290 (java) R 7109 7109 3572 0 -1 4202560 4982 0 0 0 2647 21 0 0 20 0 28 0 151590141 27175628800 2728321 33554432000 4194304 4196468 140726418839872 140411474897752 140412700357783 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21757952 140726418846872 140726418847048 140726418847048 140726418849743 0 Current children cumulated CPU time: 683.29 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10914668 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.033 s] # the end of solver process 7109 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000656 s, system=0.001313 s [startup+252.247 s] # the end of solver process 7111 was just reported to runsolver # cumulated CPU time of all completed processes: user=656.793 s, system=27.5891 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.209 s]* /proc/loadavg: 3.87 4.63 6.58 2/180 7292 /proc/meminfo: memFree=20920068/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001969 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.247 CPU time (s): 684.382 CPU user time (s): 656.793 CPU system time (s): 27.5891 CPU usage (%): 271.314 Max. virtual memory (cumulated for all children) (KiB): 26671828 Max. memory (cumulated for all children) (KiB): 10920932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 656.793 system time used= 27.5891 maximum resident set size= 10919752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1396623 page faults= 0 swaps= 0 block input operations= 0 block output operations= 536 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21825 involuntary context switches= 7873 # summary of solver processes directly reported to runsolver: # pid: 7109,7111 # total CPU time (s): 684.382 # total CPU user time (s): 656.793 # total CPU system time (s): 27.5891 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.10922 second user time and 2.37977 second system time The end
Begin job on node112 at 2017-08-20 01:05:40 IDJOB=4281475 IDBENCH=123023 IDSOLVER=2676 FILE ID=node112/4281475-1503184800 RUNJOBID= node112-1503180405-3599 PBS_JOBID= 20630850 Free space on /tmp= 61856 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-4281475-1503184800/watcher-4281475-1503184800 -o /tmp/evaluation-result-4281475-1503184800/solver-4281475-1503184800 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1682220880 HOME/instance-4281475-1503184800.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1682220880 node112.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.24 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.24 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.24 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.24 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: 26195896 kB MemAvailable: 31970180 kB Buffers: 252656 kB Cached: 5811756 kB SwapCached: 0 kB Active: 1102180 kB Inactive: 5014908 kB Active(anon): 4356 kB Inactive(anon): 84388 kB Active(file): 1097824 kB Inactive(file): 4930520 kB Unevictable: 7840 kB Mlocked: 7840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7856 kB Writeback: 0 kB AnonPages: 56232 kB Mapped: 51504 kB Shmem: 33416 kB Slab: 150612 kB SReclaimable: 123548 kB SUnreclaim: 27064 kB KernelStack: 3056 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61848 MiB End job on node112 at 2017-08-20 01:09:52