Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 7696083 | 780.84003 | 252.12801 |
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-4271665-1502640920.xml" -tl '2016s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271665-1502640920.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 276.22/152.11 c solve instance... 319.53/160.59 o 7844359 325.71/162.74 o 7830277 348.51/183.48 o 7826722 351.70/186.02 o 7819723 352.43/186.34 o 7816299 355.60/188.42 o 7759699 356.64/188.81 o 7741320 359.37/191.03 o 7733914 360.45/191.31 o 7729404 363.23/193.36 o 7728996 364.22/193.60 o 7724936 367.78/196.00 o 7723314 372.99/198.29 o 7721956 374.77/198.61 o 7707774 381.32/200.95 o 7706708 381.82/201.06 o 7704936 394.29/203.59 o 7696083 780.23/252.06 s SATISFIABLE 780.23/252.06 v <instantiation> 780.23/252.06 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> 780.23/252.08 v <values>79 66 62 44 43 50 34 6 49 3 64 37 35 1 42 13 30 58 27 16 73 77 54 70 18 28 9 2 61 36 24 45 39 10 65 15 11 17 12 4 53 7 57 32 52 48 59 0 23 29 40 78 33 19 21 47 25 74 60 46 71 41 75 67 22 69 20 76 72 63 56 51 31 55 8 26 68 5 38 14 99 56 67 24 51 15 66 28 93 19 29 24 25 79 84 30 54 43 52 71 43 89 76 3 69 30 61 9 81 74 19 92 70 13 27 12 58 63 87 47 88 50 94 3 17 61 58 60 60 44 82 55 89 11 53 83 68 64 20 55 16 96 43 81 22 12 23 45 28 92 22 73 85 39 50 56 21 34 97 97 97 2 20 34 75 45 32 77 14 72 39 57 39 28 18 77 13 61 96 33 48 96 68 94 9 34 68 56 49 60 31 27 60 26 82 26 42 87 32 92 18 73 36 88 7 39 54 10 21 37 77 56 77 83 48 26 62 46 47 40 85 66 22 57 54 42 81 89 65 54 56 31 67 96 61 53 84 64 3 87 26 82 19 12 72 77 91 73 62 70 36 62 57 73 22 16 6 46 73 11 25 30 72 84 91 87 98 27 39 7 84 20 4 58 44 56 52 9 56 55 74 50 35 98 79 86 63 6 36 14 29 18 40 82 16 48 4 57 78 64 8 78 82 5 12 45 63 69 46 16 51 98 12 52 61 62 23 29 96 2 59 2 5 18 49 82 13 75 18 3 48 59 87 68 63 30 26 51 17 4 79 15 76 12 99 54 73 97 69 49 16 39 91 36 38 31 19 87 30 6 41 12 26 1 92 63 86 95 30 5 85 86 9 69 99 52 2 0 98 1 37 51 66 83 73 73 97 93 46 81 60 85 35 54 79 80 25 18 80 91 49 18 75 50 25 73 45 32 17 72 38 9 53 73 3 11 73 84 64 36 19 31 69 69 88 21 75 16 61 10 58 26 23 50 40 13 27 2 32 74 36 23 62 32 74 17 76 45 81 77 18 13 44 2 91 91 21 85 75 79 64 91 75 40 36 43 8 12 60 5 24 75 84 21 15 12 66 62 25 80 85 61 82 32 57 10 12 7 55 46 18 23 32 60 66 59 30 53 15 73 41 82 3 53 80 51 11 33 77 97 59 22 24 9 36 84 92 10 14 50 76 92 22 8 50 67 12 96 19 48 46 22 90 6 99 98 98 93 91 91 91 90 84 83 80 80 79 77 77 77 75 74 72 72 69 67 67 67 65 60 60 54 54 54 53 52 52 49 49 46 46 46 46 45 45 41 40 38 36 35 35 34 33 33 27 25 25 24 24 23 19 19 17 17 15 15 14 13 10 8 4 8 1 5 3 3 3 28 43 4 84 64 85 8 94 99 79 71 97 64 68 65 24 12 20 53 66 19 57 47 22 61 48 21 64 38 43 35 85 56 24 56 6 52 70 6 71 81 25 65 15 99 87 68 47 52 28 33 94 41 92 12 76 67 51 49 10 80 90 99 45 47 69 9 20 72 83 29 62 29 30 97 99 17 97 4 68 3 84 6 48 88 89 26 20 26 15 85 2 65 66 28 23 65 5 44 31 11 82 55 96 49 10 10 54 82 49 56 67 17 65 29 33 99 33 26 24 80 63 82 32 92 78 61 92 26 2 42 65 71 87 87 46 12 47 66 17 40 28 17 35 76 86 62 28 5 23 94 32 50 65 92 29 62 6 75 96 15 15 62 44 0 31 29 0 82 48 42 43 7 61 66 2 57 34 82 39 62 26 82 82 3 51 91 66 53 83 69 76 5 1 67 7 3 39 62 48 49 2 76 37 84 42 95 36 77 59 45 3 89 69 76 25 99 65 23 11 54 26 84 25 44 7 31 20 57 75 12 73 93 98 5 85 17 2 35 48 54 75 77 15 82 50 73 2 81 67 16 87 24 46 25 62 65 90 30 17 14 17 93 8 13 11 63 7 80 84 25 8 4 21 43 35 17 94 46 11 1 32 17 83 26 82 41 8 2 70 82 55 57 72 83 38 78 88 75 44 19 44 53 20 28 26 26 50 63 66 91 21 70 18 41 67 58 73 65 8 11 87 76 99 84 9 32 10 6 74 2 32 12 53 48 84 99 42 25 74 92 31 41 34 57 36 13 89 40 66 97 13 34 73 38 73 28 57 89 26 12 63 31 68 62 81 95 86 22 88 6 81 26 6 15 69 86 43 18 32 91 55 23 27 76 7 21 75 60 25 65 97 46 79 70 85 94 5 56 79 25 54 27 66 6 91 14 30 97 8 72 21 5 94 90 37 13 77 15 6 62 60 22 96 36 51 21 4 29 83 10 32 3 48 41 48 83 29 72 2 94 46 87 56 70 20 21 54 53 87 46 76 74 65 56 14 0 86 99 57 67 62 89 40 59 45 41 63 15 74 4 26 72 90 71 44 44 77 66 92 84 25 46 90 35 54 21 91 5 98 19 58 56 27 27 47 48 41 54 86 55 25 31 94 21 16 72 19 31 37 15 36 60 39 5 67 31 42 85 60 29 98 35 25 43 22 4 69 24 2 29 96 24 15 87 21 67 3 81 41 21 79 26 8 68 67 75 12 66 1 56 89 79 62 12 59 98 3 10 15 32 80 88 55 8 28 72 79 84 90 16 53 10 0 2 40 0 33 61 8 80 62 11 30 34 37 5 9 96 27 2 46 56 9 63 0 30 47 0 14 51 83 22 1 13 63 27 81 91 28 62 47 84 3 74 68 79 50 52 9 3 0 90 27 33 99 68 47 69 93 27 42 14 36 37 57 48 26 86 81 95 7 91 1 47 61 43 96 55 69 13 51 86 83 72 64 19 14 17 70 24 3 10 80 64 15 84 18 24 95 97 54 51 36 90 3 15 58 33 91 90 17 91 13 46 62 76 24 60 38 12 65 37 96 48 17 77 26 13 76 28 86 89 13 92 42 45 0 40 66 30 71 0 30 1 89 9 52 80 61 28 4 75 64 23 4 12 61 52 28 95 86 76 87 40 30 34 31 56 78 55 5 85 42 27 62 49 83 28 81 7 18 37 83 48 44 62 57 58 94 11 27 80 3 70 81 81 75 21 19 53 66 73 76 26 98 2 60 54 76 64 21 94 27 78 60 43 12 26 22 5 18 77 31 87 20 15 25 29 84 13 41 37 56 15 59 72 79 48 20 18 70 74 57 81 51 93 48 80 0 60 6 94 33 57 75 89 39 44 99 88 75 33 12 5 81 93 82 56 70 20 11 10 45 60 39 43 41 55 22 95 7 5 37 21 44 85 55 25 70 44 38 21 63 75 40 91 18 88 35 92 8 42 79 28 32 31 5 35 1 48 22 41 38 94 85 56 9 75 96 17 19 64 8 45 44 3 34 3 80 91 45 19 20 23 92 96 32 86 97 54 36 90 88 11 84 33 17 0 50 10 10 22 5 64 54 55 26 58 37 59 41 98 47 18 61 30 43 21 66 22 89 91 58 40 55 53 57 85 4 41 50 3 57 31 20 32 3 38 46 9 49 48 23 18 10 22 99 88 80 48 97 62 80 93 59 5 60 17 75 92 20 4 91 55 37 56 87 95 32 77 31 77 2 36 30 42 15 75 56 81 45 62 71 90 49 31 74 72 6 52 24 10 37 33 23 39 93 82 47 49 73 91 87 96 45 90 28 90 72 17 17 0 46 13 29 56 63 55 26 93 17 60 92 62 67 84 3 1 22 21 26 85 92 97 50 51 92 26 80 3 55 80 17 64 81 60 64 67 63 10 15 88 89 76 8 7 52 71 44 45 63 34 38 66 65 55 23 27 79 82 41 29 47 23 26 99 2 46 5 43 39 4 35 78 37 28 31 74 29 80 0 72 45 33 44 83 85 51 12 10 91 27 78 85 77 61 33 36 98 40 49 24 24 51 58 8 19 28 52 35 22 7 63 18 1 11 96 89 37 35 40 25 14 33 36 76 35 56 41 31 57 49 21 37 6 69 55 98 87 23 31 54 95 1 77 71 66 9 79 88 6 88 59 9 48 78 69 12 52 68 16 20 31 41 68 23 55 69 3 61 30 74 46 81 92 56 5 21 73 4 77 78 55 56 80 53 94 21 54 89 0 94 22 71 11 67 33 83 98 99 78 74 8 13 76 61 95 71 94 46 39 98 72 85 50 27 49 78 87 85 91 8 13 76 3 58 1 53 35 67 39 95 77 85 46 35 40 39 6 30 30 87 21 45 87 43 33 53 21 56 97 47 96 51 44 34 8 30 58 3 40 7 49 7 55 28 15 0 90 66 52 11 35 51 15 4 84 52 78 79 42 93 21 78 78 49 4 10 7 8 10 25 84 30 58 44 94 58 76 78 89 3 3 92 31 90 81 35 19 94 69 56 53 65 45 91 28 14 67 93 97 42 90 78 34 16 17 9 57 9 59 32 10 28 42 41 64 98 93 89 50 17 35 21 5 85 94 33 2 1 13 87 97 76 1 30 40 46 99 4 26 79 92 69 9 18 54 64 32 96 25 35 72 71 38 22 32 0 88 90 21 85 61 91 1 44 30 33 85 34 29 94 84 7 2 91 28 3 28 27 13 44 50 24 18 63 33 39 45 63 41 81 19 44 98 37 77 13 92 84 76 29 72 21 99 92 69 28 26 30 59 84 87 71 62 78 39 38 96 89 89 81 21 21 4 59 57 3 55 78 38 1 91 47 88 67 46 68 42 71 68 71 26 31 3 55 81 60 39 61 30 30 58 70 94 49 91 89 80 13 65 66 81 23 38 70 9 29 28 98 89 89 66 33 13 97 24 18 75 8 66 90 93 87 49 78 17 66 40 10 34 30 63 54 23 66 84 29 80 68 87 99 98 76 61 71 9 53 85 99 88 28 52 46 62 0 63 99 90 55 1 86 62 30 20 30 37 79 59 27 74 29 17 95 72 84 27 4 89 8 17 13 78 13 6 51 75 97 23 69 34 48 25 91 47 91 99 23 40 27 74 70 5 60 88 32 7 41 47 23 59 24 64 51 34 17 3 81 93 12 94 79 36 24 30 20 1 29 26 36 57 67 53 68 15 0 10 41 71 23 7 63 63 6 69 59 56 82 86 16 74 1 6 99 85 44 50 53 58 66 37 19 89 86 6 31 56 58 81 67 94 4 89 95 85 14 46 1 98 59 53 85 84 79 24 26 17 63 95 47 53 75 88 12 44 52 79 42 84 37 68 60 5 54 35 89 30 98 4 81 94 55 74 96 45 61 29 74 9 30 92 83 7 5 29 23 49 69 64 74 0 44 43 13 12 49 94 62 37 16 99 48 20 43 26 17 44 3 50 53 48 97 56 2 3 49 38 37 87 33 30 78 53 63 87 93 96 52 83 66 96 62 2 43 91 71 32 1 14 12 39 80 12 7 67 93 1 2 79 60 20 70 34 17 0 27 7 39 71 35 40 98 31 93 87 21 84 93 9 20 21 71 71 1 19 55 31 24 13 86 42 8 26 51 32 4 48 75 91 73 63 84 49 58 17 85 80 89 97 67 1 91 67 41 35 55 42 50 35 17 5 42 54 47 82 82 76 40 2 25 68 10 33 26 27 37 43 80 60 3 13 35 81 23 17 56 20 30 3 25 37 35 74 22 83 91 28 23 3 59 42 70 58 44 41 23 89 69 53 25 88 92 67 31 22 52 90 47 62 1 1 0 2 32 6 47 79 32 11 35 77 12 48 87 39 53 56 81 44 36 76 45 56 76 83 13 80 83 84 61 93 29 28 19 57 62 3 94 9 70 1 29 19 82 92 11 25 95 48 68 79 44 44 45 80 92 84 71 17 77 20 80 44 54 12 29 45 37 78 90 94 76 31 99 11 81 69 72 44 49 54 57 40 51 93 66 93 58 62 85 94 29 30 97 1 27 84 27 42 60 67 95 68 31 93 19 71 81 85 78 39 70 25 96 62 18 74 23 49 68 45 39 26 8 76 61 40 22 73 71 63 25 44 44 99 73 12 84 40 29 9 39 51 22 69 48 54 14 57 72 47 39 73 85 64 11 0 12 82 18 80 86 9 85 11 26 11 40 71 15 57 20 27 84 2 1 21 11 1 30 6 69 74 10 85 41 76 75 4 75 9 6 71 21 70 43 88 33 62 41 46 78 42 22 1 9 68 66 27 62 22 32 29 43 17 26 92 20 34 4 12 16 54 35 53 69 81 55 11 50 4 93 88 19 27 49 96 1 23 18 64 99 52 22 71 72 70 58 4 79 29 50 1 90 56 54 98 22 96 20 83 58 95 51 18 93 28 90 46 75 70 21 95 57 49 96 84 94 0 9 86 66 18 99 48 76 22 91 30 10 80 20 52 85 20 33 0 11 16 22 35 10 46 74 87 9 80 38 32 28 44 98 45 13 94 15 22 81 53 86 61 93 3 58 79 48 53 94 88 32 3 9 34 34 80 16 79 12 32 37 2 48 46 63 42 73 93 19 82 72 54 36 15 40 58 66 49 61 9 35 58 65 87 47 20 69 28 6 0 72 63 58 45 91 47 35 34 49 57 49 10 47 64 57 48 14 24 99 63 53 17 73 97 87 56 38 19 88 61 72 64 68 44 81 21 78 79 32 34 98 49 98 78 57 4 79 86 29 35 76 64 75 58 18 92 13 31 8 55 37 39 99 50 42 33 33 46 1 15 36 54 71 78 64 62 47 62 67 27 59 52 38 91 99 37 56 0 18 9 87 92 16 33 37 15 33 6 19 98 98 93 20 50 69 10 99 57 2 96 87 69 96 5 71 24 90 82 94 26 85 68 40 36 51 58 22 80 17 20 89 16 52 29 85 29 70 28 72 25 51 47 95 93 2 80 64 20 14 48 85 91 44 76 26 69 82 58 75 87 30 26 18 8 55 74 25 69 45 96 62 30 74 67 86 57 55 54 27 81 44 86 92 23 67 63 46 26 22 12 14 80 55 90 48 29 9 61 63 79 94 59 73 3 94 72 53 89 27 45 2 64 70 30 64 84 71 89 1 57 17 52 50 52 28 21 9 22 53 37 67 62 6 93 32 54 27 49 99 23 74 32 21 24 68 25 11 27 68 30 10 35 85 26 29 26 16 66 87 37 10 13 49 69 87 79 79 88 54 31 54 27 70 98 10 16 60 2 86 71 13 31 69 46 87 70 1 42 3 69 90 96 56 28 5 62 82 97 6 44 79 45 87 86 33 18 35 45 70 92 </values> 780.23/252.08 v </instantiation> 780.23/252.08 c Unexpected resolution interruption!
OK 7696083
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15310 MiB free) memory of node 1: 16384 MiB (15605 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271665-1502640920/watcher-4271665-1502640920 -o /tmp/evaluation-result-4271665-1502640920/solver-4271665-1502640920 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 955558447 HOME/instance-4271665-1502640920.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=21755, runsolver pid=21752 [startup+0.100114 s]* /proc/loadavg: 7.72 7.31 7.09 2/201 21776 /proc/meminfo: memFree=31641868/32770624 swapFree=67108860/67108860 [pid=21755] ppid=21752 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21755/stat : 21755 (xcsp3-exec) S 21752 21755 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97180242 9740288 346 33554432000 4194304 5098028 140732265707456 140732265705560 140506122416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20840448 140732265714795 140732265715004 140732265715004 140732265717739 0 /proc/21755/statm: 2378 346 289 221 0 87 0 [pid=21757] ppid=21755 vsize=25999808 memory=27084 CPUtime=0.11 cores=0-7 /proc/21757/stat : 21757 (java) S 21755 21755 8183 0 -1 1077944320 5702 0 0 0 10 1 0 0 20 0 20 0 97180242 26623803392 6771 33554432000 4194304 4196468 140726536453696 140726536436240 139881689886455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 /proc/21757/statm: 6499952 6771 2844 1 0 6488269 0 [pid=21757/tid=21758] ppid=21755 vsize=25999808 memory=8184618805443338396 CPUtime=0.08 cores=0-7 /proc/21757/task/21758/stat : 21758 (java) R 21755 21755 8183 0 -1 4202560 3712 0 0 0 8 0 0 0 20 0 20 0 97180243 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881694119728 139881669441243 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21759] ppid=21755 vsize=25999808 memory=732370833817119717 CPUtime=0 cores=0-7 /proc/21757/task/21759/stat : 21759 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881650846224 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21760] ppid=21755 vsize=25999808 memory=140695479666304 CPUtime=0 cores=0-7 /proc/21757/task/21760/stat : 21760 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881246800528 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21761] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21761/stat : 21761 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881245747472 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21762] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21762/stat : 21762 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881244694928 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21763] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21763/stat : 21763 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881243642896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21764] ppid=21755 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21757/task/21764/stat : 21764 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881242590352 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21765] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21765/stat : 21765 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881241537296 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21766] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21766/stat : 21766 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26623803392 6771 33554432000 4194304 4196468 140726536453696 139881240484752 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21767] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21767/stat : 21767 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180245 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879895058672 139881689897602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21768] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21768/stat : 21768 (java) S 21755 21755 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97180246 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879894004896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21769] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21769/stat : 21769 (java) S 21755 21755 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97180246 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879892951792 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21770] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21770/stat : 21770 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180248 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879891900368 139881689905051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21771] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21771/stat : 21771 (java) S 21755 21755 8183 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 97180248 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879890848496 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21772] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21772/stat : 21772 (java) S 21755 21755 8183 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 97180248 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879889795952 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21773] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21773/stat : 21773 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180248 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879888742896 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21774] ppid=21755 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/21757/task/21774/stat : 21774 (java) R 21755 21755 8183 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 97180248 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879887690352 139881669167752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21775] ppid=21755 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21775/stat : 21775 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180249 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879886637536 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21776] ppid=21755 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21757/task/21776/stat : 21776 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180249 26623803392 6771 33554432000 4194304 4196468 140726536453696 139879885585072 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28468 KiB [startup+0.210597 s]* /proc/loadavg: 7.72 7.31 7.09 2/201 21776 /proc/meminfo: memFree=31633480/32770624 swapFree=67108860/67108860 [pid=21755] ppid=21752 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21755/stat : 21755 (xcsp3-exec) S 21752 21755 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97180242 9740288 346 33554432000 4194304 5098028 140732265707456 140732265705560 140506122416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20840448 140732265714795 140732265715004 140732265715004 140732265717739 0 /proc/21755/statm: 2378 346 289 221 0 87 0 [pid=21757] ppid=21755 vsize=26004064 memory=38856 CPUtime=0.33 cores=0-7 /proc/21757/stat : 21757 (java) S 21755 21755 8183 0 -1 1077944320 8303 0 0 0 31 2 0 0 20 0 20 0 97180242 26628161536 9714 33554432000 4194304 4196468 140726536453696 140726536436240 139881689886455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 /proc/21757/statm: 6501016 9714 3065 1 0 6488269 0 [pid=21757/tid=21758] ppid=21755 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/21757/task/21758/stat : 21758 (java) R 21755 21755 8183 0 -1 4202560 5455 0 0 0 18 1 0 0 20 0 20 0 97180243 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881694100464 139881673966942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21759] ppid=21755 vsize=26004064 memory=732370833817119717 CPUtime=0 cores=0-7 /proc/21757/task/21759/stat : 21759 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881650846224 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21760] ppid=21755 vsize=26004064 memory=140695479666304 CPUtime=0 cores=0-7 /proc/21757/task/21760/stat : 21760 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881246800528 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21761] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21761/stat : 21761 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881245747472 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21762] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21762/stat : 21762 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881244694928 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21763] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21763/stat : 21763 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881243642896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21764] ppid=21755 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21757/task/21764/stat : 21764 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881242590352 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21765] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21765/stat : 21765 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881241537296 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21766] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21766/stat : 21766 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 9714 33554432000 4194304 4196468 140726536453696 139881240484752 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21767] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21767/stat : 21767 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180245 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879895058672 139881689897602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21768] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21768/stat : 21768 (java) S 21755 21755 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97180246 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879894004896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21769] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21769/stat : 21769 (java) S 21755 21755 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97180246 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879892951792 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21770] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21770/stat : 21770 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180248 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879891900368 139881689905051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21771] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21771/stat : 21771 (java) S 21755 21755 8183 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 97180248 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879890848496 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21772] ppid=21755 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/21757/task/21772/stat : 21772 (java) S 21755 21755 8183 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 20 0 97180248 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879889795952 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21773] ppid=21755 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/21757/task/21773/stat : 21773 (java) S 21755 21755 8183 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 97180248 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879888742896 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21774] ppid=21755 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/21757/task/21774/stat : 21774 (java) S 21755 21755 8183 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 20 0 97180248 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879887690352 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21775] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21775/stat : 21775 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180249 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879886637536 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21776] ppid=21755 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21757/task/21776/stat : 21776 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180249 26628161536 9714 33554432000 4194304 4196468 140726536453696 139879885585072 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40240 KiB [startup+0.309728 s]* /proc/loadavg: 7.72 7.31 7.09 2/201 21776 /proc/meminfo: memFree=31627500/32770624 swapFree=67108860/67108860 [pid=21755] ppid=21752 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21755/stat : 21755 (xcsp3-exec) S 21752 21755 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97180242 9740288 346 33554432000 4194304 5098028 140732265707456 140732265705560 140506122416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20840448 140732265714795 140732265715004 140732265715004 140732265717739 0 /proc/21755/statm: 2378 346 289 221 0 87 0 [pid=21757] ppid=21755 vsize=26004064 memory=45816 CPUtime=0.48 cores=0-7 /proc/21757/stat : 21757 (java) S 21755 21755 8183 0 -1 1077944320 9163 0 0 0 45 3 0 0 20 0 20 0 97180242 26628161536 11454 33554432000 4194304 4196468 140726536453696 140726536436240 139881689886455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 /proc/21757/statm: 6501016 11454 3087 1 0 6488269 0 [pid=21757/tid=21758] ppid=21755 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21757/task/21758/stat : 21758 (java) R 21755 21755 8183 0 -1 4202560 6138 0 0 0 27 2 0 0 20 0 20 0 97180243 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881694124888 139881325988848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21759] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21759/stat : 21759 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881650846224 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21760] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21760/stat : 21760 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881246800528 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21761] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21761/stat : 21761 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881245747472 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21762] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21762/stat : 21762 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881244694928 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21763] ppid=21755 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/21757/task/21763/stat : 21763 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881243642896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21764] ppid=21755 vsize=26004064 memory=140695344083887 CPUtime=0 cores=0-7 /proc/21757/task/21764/stat : 21764 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881242590352 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21765] ppid=21755 vsize=26004064 memory=140695344086192 CPUtime=0 cores=0-7 /proc/21757/task/21765/stat : 21765 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881241537296 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21766] ppid=21755 vsize=26004064 memory=140695344088496 CPUtime=0 cores=0-7 /proc/21757/task/21766/stat : 21766 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628161536 11454 33554432000 4194304 4196468 140726536453696 139881240484752 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21767] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21767/stat : 21767 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180245 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879895058672 139881689897602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21768] ppid=21755 vsize=26004064 memory=281390688183952 CPUtime=0 cores=0-7 /proc/21757/task/21768/stat : 21768 (java) S 21755 21755 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97180246 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879894004896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21769] ppid=21755 vsize=26004064 memory=281390688190864 CPUtime=0 cores=0-7 /proc/21757/task/21769/stat : 21769 (java) S 21755 21755 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97180246 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879892951792 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21770] ppid=21755 vsize=26004064 memory=281390688132144 CPUtime=0 cores=0-7 /proc/21757/task/21770/stat : 21770 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180248 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879891900368 139881689905051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21771] ppid=21755 vsize=26004064 memory=281390688204688 CPUtime=0.01 cores=0-7 /proc/21757/task/21771/stat : 21771 (java) S 21755 21755 8183 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 97180248 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879890848496 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21772] ppid=21755 vsize=26004064 memory=281390688211600 CPUtime=0.02 cores=0-7 /proc/21757/task/21772/stat : 21772 (java) S 21755 21755 8183 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 20 0 97180248 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879889795952 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21773] ppid=21755 vsize=26004064 memory=281390688209296 CPUtime=0.01 cores=0-7 /proc/21757/task/21773/stat : 21773 (java) R 21755 21755 8183 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 97180248 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879888742896 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21774] ppid=21755 vsize=26004064 memory=281390688225456 CPUtime=0.11 cores=0-7 /proc/21757/task/21774/stat : 21774 (java) R 21755 21755 8183 0 -1 4202560 820 0 0 0 11 0 0 0 20 0 20 0 97180248 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879887690352 139881689898390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21775] ppid=21755 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21775/stat : 21775 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180249 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879886637536 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21776] ppid=21755 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21757/task/21776/stat : 21776 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97180249 26628161536 11454 33554432000 4194304 4196468 140726536453696 139879885585072 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47200 KiB [startup+0.70102 s] /proc/loadavg: 7.72 7.31 7.09 6/201 21776 /proc/meminfo: memFree=31603536/32770624 swapFree=67108860/67108860 [pid=21755] ppid=21752 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21755/stat : 21755 (xcsp3-exec) S 21752 21755 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97180242 9740288 346 33554432000 4194304 5098028 140732265707456 140732265705560 140506122416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20840448 140732265714795 140732265715004 140732265715004 140732265717739 0 /proc/21755/statm: 2378 346 289 221 0 87 0 [pid=21757] ppid=21755 vsize=26004140 memory=101248 CPUtime=1.86 cores=0-7 /proc/21757/stat : 21757 (java) S 21755 21755 8183 0 -1 1077944320 13246 0 0 0 181 5 0 0 20 0 20 0 97180242 26628239360 25312 33554432000 4194304 4196468 140726536453696 140726536436240 139881689886455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 /proc/21757/statm: 6501035 25312 3200 1 0 6488269 0 [pid=21757/tid=21758] ppid=21755 vsize=26004140 memory=281390688520384 CPUtime=0.67 cores=0-7 /proc/21757/task/21758/stat : 21758 (java) R 21755 21755 8183 0 -1 4202560 6509 0 0 0 64 3 0 0 20 0 20 0 97180243 26628239360 25312 33554432000 4194304 4196468 140726536453696 139881694124048 139881674967270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21759] ppid=21755 vsize=26004140 memory=5050881541254 CPUtime=0 cores=0-7 /proc/21757/task/21759/stat : 21759 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628239360 25312 33554432000 4194304 4196468 140726536453696 139881650846224 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21760] ppid=21755 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21760/stat : 21760 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97180244 26628239360 25312 33554432000 4194304 4196468 140726536453696 139881246800528 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21761] ppid=21755 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21757/task/21761/stat : 21761 (java) S 21755 21755 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97180244 26628239360 25312 33554432000 4194304 4196468 140726536453696 139881245747472 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 ################ # More data... # ################ [pid=21757/tid=21792] ppid=21755 vsize=26538700 memory=10461828 CPUtime=0.25 cores=0-7 /proc/21757/task/21792/stat : 21792 (java) S 21755 21755 8183 0 -1 1077944384 585 0 0 0 25 0 0 0 20 0 28 0 97196303 27175628800 2615474 33554432000 4194304 4196468 140726536453696 139879870211152 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 Current children cumulated CPU time: 324.99 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10463280 KiB [startup+222.302 s] /proc/loadavg: 3.95 4.78 6.06 9/209 21920 /proc/meminfo: memFree=21002004/32770624 swapFree=67108860/67108860 [pid=21755] ppid=21752 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21755/stat : 21755 (xcsp3-exec) S 21752 21755 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97180242 9740288 346 33554432000 4194304 5098028 140732265707456 140732265705560 140506122416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20840448 140732265714795 140732265715004 140732265715004 140732265717739 0 /proc/21755/statm: 2378 346 289 221 0 87 0 [pid=21757] ppid=21755 vsize=26538700 memory=10647664 CPUtime=543.4 cores=0-7 /proc/21757/stat : 21757 (java) S 21755 21755 8183 0 -1 1077944320 336150 0 0 0 51668 2672 0 0 20 0 28 0 97180242 27175628800 2661916 33554432000 4194304 4196468 140726536453696 140726536436240 139881689886455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 /proc/21757/statm: 6634675 2661916 3312 1 0 6621909 0 [pid=21757/tid=21758] ppid=21755 vsize=26538700 memory=10647664 CPUtime=132.83 cores=0-7 /proc/21757/task/21758/stat : 21758 (java) S 21755 21755 8183 0 -1 1077944384 19191 0 0 0 13259 24 0 0 20 0 28 0 97180243 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881694127232 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21759] ppid=21755 vsize=26538700 memory=10647664 CPUtime=19.07 cores=0-7 /proc/21757/task/21759/stat : 21759 (java) S 21755 21755 8183 0 -1 1077944384 20411 0 0 0 1625 282 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881650846224 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21760] ppid=21755 vsize=26538700 memory=10730740 CPUtime=19.28 cores=0-7 /proc/21757/task/21760/stat : 21760 (java) S 21755 21755 8183 0 -1 1077944384 18666 0 0 0 1635 293 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881246800528 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21761] ppid=21755 vsize=26538700 memory=10730740 CPUtime=19.21 cores=0-7 /proc/21757/task/21761/stat : 21761 (java) S 21755 21755 8183 0 -1 1077944384 22590 0 0 0 1631 290 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881245747472 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21762] ppid=21755 vsize=26538700 memory=10647664 CPUtime=19.34 cores=0-7 /proc/21757/task/21762/stat : 21762 (java) S 21755 21755 8183 0 -1 1077944384 13468 0 0 0 1615 319 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881244694928 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21763] ppid=21755 vsize=26538700 memory=1384 CPUtime=19.15 cores=0-7 /proc/21757/task/21763/stat : 21763 (java) S 21755 21755 8183 0 -1 1077944384 18683 0 0 0 1638 277 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881243642896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21764] ppid=21755 vsize=26538700 memory=10647664 CPUtime=19.34 cores=0-7 /proc/21757/task/21764/stat : 21764 (java) S 21755 21755 8183 0 -1 1077944384 17706 0 0 0 1615 319 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881242590352 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21765] ppid=21755 vsize=26538700 memory=10730224 CPUtime=19.13 cores=0-7 /proc/21757/task/21765/stat : 21765 (java) S 21755 21755 8183 0 -1 1077944384 21021 0 0 0 1639 274 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881241537296 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21766] ppid=21755 vsize=26538700 memory=6791534058613427641 CPUtime=19.45 cores=0-7 /proc/21757/task/21766/stat : 21766 (java) S 21755 21755 8183 0 -1 1077944384 16468 0 0 0 1649 296 0 0 20 0 28 0 97180244 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139881240484752 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21767] ppid=21755 vsize=26538700 memory=1716 CPUtime=2.1 cores=0-7 /proc/21757/task/21767/stat : 21767 (java) S 21755 21755 8183 0 -1 1077944384 26694 0 0 0 200 10 0 0 20 0 28 0 97180245 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879895058672 139881689897602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21768] ppid=21755 vsize=26538700 memory=10733544 CPUtime=0 cores=0-7 /proc/21757/task/21768/stat : 21768 (java) S 21755 21755 8183 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 97180246 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879894004960 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21769] ppid=21755 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/21757/task/21769/stat : 21769 (java) S 21755 21755 8183 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 28 0 97180246 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879892951808 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21770] ppid=21755 vsize=26538700 memory=4040 CPUtime=0 cores=0-7 /proc/21757/task/21770/stat : 21770 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97180248 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879891900368 139881689905051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21771] ppid=21755 vsize=26538700 memory=1236 CPUtime=2.87 cores=0-7 /proc/21757/task/21771/stat : 21771 (java) S 21755 21755 8183 0 -1 1077944384 16331 0 0 0 283 4 0 0 20 0 28 0 97180248 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879890848496 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21772] ppid=21755 vsize=26538700 memory=1384 CPUtime=3.08 cores=0-7 /proc/21757/task/21772/stat : 21772 (java) S 21755 21755 8183 0 -1 1077944384 23544 0 0 0 305 3 0 0 20 0 28 0 97180248 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879889795952 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21773] ppid=21755 vsize=26538700 memory=10752076 CPUtime=2.57 cores=0-7 /proc/21757/task/21773/stat : 21773 (java) S 21755 21755 8183 0 -1 1077944384 20665 0 0 0 253 4 0 0 20 0 28 0 97180248 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879888742896 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21774] ppid=21755 vsize=26538700 memory=187913409178342 CPUtime=0.92 cores=0-7 /proc/21757/task/21774/stat : 21774 (java) S 21755 21755 8183 0 -1 1077944384 13939 0 0 0 90 2 0 0 20 0 28 0 97180248 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879887690352 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21775] ppid=21755 vsize=26538700 memory=5788366128454266989 CPUtime=0 cores=0-7 /proc/21757/task/21775/stat : 21775 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97180249 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879886637536 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21776] ppid=21755 vsize=26538700 memory=6791534058613427641 CPUtime=0.09 cores=0-7 /proc/21757/task/21776/stat : 21776 (java) S 21755 21755 8183 0 -1 1077944384 1578 0 0 0 4 5 0 0 20 0 28 0 97180249 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879885585072 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21913] ppid=21755 vsize=26538700 memory=4140 CPUtime=18.55 cores=0-7 /proc/21757/task/21913/stat : 21913 (java) R 21755 21755 8183 0 -1 4202560 2135 0 0 0 1845 10 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879877573176 139881332476642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21914] ppid=21755 vsize=26538700 memory=1420 CPUtime=18.45 cores=0-7 /proc/21757/task/21914/stat : 21914 (java) R 21755 21755 8183 0 -1 4202560 1724 0 0 0 1818 27 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879875469400 139881328589872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21915] ppid=21755 vsize=26538700 memory=13040 CPUtime=18.57 cores=0-7 /proc/21757/task/21915/stat : 21915 (java) R 21755 21755 8183 0 -1 4202560 2069 0 0 0 1826 31 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879876522328 139881332660229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21916] ppid=21755 vsize=26538700 memory=840 CPUtime=18.33 cores=0-7 /proc/21757/task/21916/stat : 21916 (java) R 21755 21755 8183 0 -1 4202560 2720 0 0 0 1801 32 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879870206536 139881328589565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21917] ppid=21755 vsize=26538700 memory=4108 CPUtime=18.49 cores=0-7 /proc/21757/task/21917/stat : 21917 (java) R 21755 21755 8183 0 -1 4202560 3262 0 0 0 1836 13 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879874416384 139881332660027 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21918] ppid=21755 vsize=26538700 memory=4140 CPUtime=18.16 cores=0-7 /proc/21757/task/21918/stat : 21918 (java) R 21755 21755 8183 0 -1 4202560 3779 0 0 0 1810 6 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879873364760 139881328589535 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21919] ppid=21755 vsize=26538700 memory=28008 CPUtime=18.56 cores=0-7 /proc/21757/task/21919/stat : 21919 (java) R 21755 21755 8183 0 -1 4202560 3199 0 0 0 1856 0 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879871258824 139881332659985 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21920] ppid=21755 vsize=26538700 memory=1196 CPUtime=18.58 cores=0-7 /proc/21757/task/21920/stat : 21920 (java) R 21755 21755 8183 0 -1 4202560 3236 0 0 0 1852 6 0 0 20 0 28 0 97200602 27175628800 2661916 33554432000 4194304 4196468 140726536453696 139879872310632 139881328589565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 Current children cumulated CPU time: 543.4 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10649048 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 5.69 5.12 6.13 9/208 21920 /proc/meminfo: memFree=21076212/32770624 swapFree=67108860/67108860 [pid=21755] ppid=21752 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21755/stat : 21755 (xcsp3-exec) S 21752 21755 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97180242 9740288 346 33554432000 4194304 5098028 140732265707456 140732265705560 140506122416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20840448 140732265714795 140732265715004 140732265715004 140732265717739 0 /proc/21755/statm: 2378 346 289 221 0 87 0 [pid=21757] ppid=21755 vsize=26538700 memory=10574796 CPUtime=780.23 cores=0-7 /proc/21757/stat : 21757 (java) S 21755 21755 8183 0 -1 1077944320 373360 0 0 0 75326 2697 0 0 20 0 28 0 97180242 27175628800 2643699 33554432000 4194304 4196468 140726536453696 140726536436240 139881689886455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 /proc/21757/statm: 6634675 2643699 3312 1 0 6621909 0 [pid=21757/tid=21758] ppid=21755 vsize=26538700 memory=6791534058613427641 CPUtime=132.83 cores=0-7 /proc/21757/task/21758/stat : 21758 (java) S 21755 21755 8183 0 -1 1077944384 19191 0 0 0 13259 24 0 0 20 0 28 0 97180243 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881694127232 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21759] ppid=21755 vsize=26538700 memory=-7003737579269690708 CPUtime=19.13 cores=0-7 /proc/21757/task/21759/stat : 21759 (java) S 21755 21755 8183 0 -1 1077944384 23660 0 0 0 1631 282 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881650846224 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21760] ppid=21755 vsize=26538700 memory=1196 CPUtime=19.36 cores=0-7 /proc/21757/task/21760/stat : 21760 (java) S 21755 21755 8183 0 -1 1077944384 21544 0 0 0 1642 294 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881246800528 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21761] ppid=21755 vsize=26538700 memory=8548 CPUtime=19.29 cores=0-7 /proc/21757/task/21761/stat : 21761 (java) S 21755 21755 8183 0 -1 1077944384 22774 0 0 0 1639 290 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881245747472 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21762] ppid=21755 vsize=26538700 memory=10574796 CPUtime=19.41 cores=0-7 /proc/21757/task/21762/stat : 21762 (java) S 21755 21755 8183 0 -1 1077944384 16100 0 0 0 1621 320 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881244694928 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21763] ppid=21755 vsize=26538700 memory=1384 CPUtime=19.22 cores=0-7 /proc/21757/task/21763/stat : 21763 (java) S 21755 21755 8183 0 -1 1077944384 20345 0 0 0 1644 278 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881243642896 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21764] ppid=21755 vsize=26538700 memory=10574796 CPUtime=19.41 cores=0-7 /proc/21757/task/21764/stat : 21764 (java) S 21755 21755 8183 0 -1 1077944384 20337 0 0 0 1621 320 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881242590352 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21765] ppid=21755 vsize=26538700 memory=1384 CPUtime=19.2 cores=0-7 /proc/21757/task/21765/stat : 21765 (java) S 21755 21755 8183 0 -1 1077944384 23076 0 0 0 1645 275 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881241537296 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21766] ppid=21755 vsize=26538700 memory=10574796 CPUtime=19.52 cores=0-7 /proc/21757/task/21766/stat : 21766 (java) S 21755 21755 8183 0 -1 1077944384 18917 0 0 0 1653 299 0 0 20 0 28 0 97180244 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139881240484752 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21767] ppid=21755 vsize=26538700 memory=6791534058613427641 CPUtime=2.12 cores=0-7 /proc/21757/task/21767/stat : 21767 (java) S 21755 21755 8183 0 -1 1077944384 27045 0 0 0 201 11 0 0 20 0 28 0 97180245 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879895058672 139881689897602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21768] ppid=21755 vsize=26538700 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/21757/task/21768/stat : 21768 (java) S 21755 21755 8183 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 97180246 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879894004960 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21769] ppid=21755 vsize=26538700 memory=10648140 CPUtime=0 cores=0-7 /proc/21757/task/21769/stat : 21769 (java) S 21755 21755 8183 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 28 0 97180246 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879892951808 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21770] ppid=21755 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/21757/task/21770/stat : 21770 (java) S 21755 21755 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97180248 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879891900368 139881689905051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21771] ppid=21755 vsize=26538700 memory=28008 CPUtime=2.91 cores=0-7 /proc/21757/task/21771/stat : 21771 (java) S 21755 21755 8183 0 -1 1077944384 16792 0 0 0 287 4 0 0 20 0 28 0 97180248 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879890848496 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21772] ppid=21755 vsize=26538700 memory=1296 CPUtime=3.14 cores=0-7 /proc/21757/task/21772/stat : 21772 (java) S 21755 21755 8183 0 -1 1077944384 25048 0 0 0 311 3 0 0 20 0 28 0 97180248 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879889795952 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21773] ppid=21755 vsize=26538700 memory=2336 CPUtime=2.72 cores=0-7 /proc/21757/task/21773/stat : 21773 (java) S 21755 21755 8183 0 -1 1077944384 21948 0 0 0 268 4 0 0 20 0 28 0 97180248 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879888742896 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21774] ppid=21755 vsize=26538700 memory=1724 CPUtime=0.96 cores=0-7 /proc/21757/task/21774/stat : 21774 (java) S 21755 21755 8183 0 -1 1077944384 15571 0 0 0 93 3 0 0 20 0 28 0 97180248 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879887690352 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21775] ppid=21755 vsize=26538700 memory=1012 CPUtime=0 cores=0-7 /proc/21757/task/21775/stat : 21775 (java) S 21755 21755 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97180249 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879886637536 139881689896661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21776] ppid=21755 vsize=26538700 memory=1716 CPUtime=0.09 cores=0-7 /proc/21757/task/21776/stat : 21776 (java) S 21755 21755 8183 0 -1 1077944384 1671 0 0 0 4 5 0 0 20 0 28 0 97180249 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879885585072 139881689897602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21913] ppid=21755 vsize=26538700 memory=5792 CPUtime=48.17 cores=0-7 /proc/21757/task/21913/stat : 21913 (java) R 21755 21755 8183 0 -1 4202560 3560 0 0 0 4806 11 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879877572712 139881333698085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21914] ppid=21755 vsize=26538700 memory=4616 CPUtime=48.06 cores=0-7 /proc/21757/task/21914/stat : 21914 (java) R 21755 21755 8183 0 -1 4202560 2918 0 0 0 4775 31 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879875468984 139881332476700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21915] ppid=21755 vsize=26538700 memory=792 CPUtime=48.17 cores=0-7 /proc/21757/task/21915/stat : 21915 (java) R 21755 21755 8183 0 -1 4202560 3080 0 0 0 4785 32 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879876522488 139881329510089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21916] ppid=21755 vsize=26538700 memory=1420 CPUtime=47.49 cores=0-7 /proc/21757/task/21916/stat : 21916 (java) R 21755 21755 8183 0 -1 4202560 4131 0 0 0 4715 34 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879870206328 139881328162313 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21917] ppid=21755 vsize=26538700 memory=13040 CPUtime=48.06 cores=0-7 /proc/21757/task/21917/stat : 21917 (java) R 21755 21755 8183 0 -1 4202560 5800 0 0 0 4789 17 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879874416448 139881332660027 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21918] ppid=21755 vsize=26538700 memory=1944 CPUtime=47.4 cores=0-7 /proc/21757/task/21918/stat : 21918 (java) R 21755 21755 8183 0 -1 4202560 5851 0 0 0 4733 7 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879873364088 139881332659370 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21919] ppid=21755 vsize=26538700 memory=1196 CPUtime=48.13 cores=0-7 /proc/21757/task/21919/stat : 21919 (java) R 21755 21755 8183 0 -1 4202560 5875 0 0 0 4811 2 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879871258232 139881332661943 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 [pid=21757/tid=21920] ppid=21755 vsize=26538700 memory=8548 CPUtime=48.18 cores=0-7 /proc/21757/task/21920/stat : 21920 (java) R 21755 21755 8183 0 -1 4202560 5055 0 0 0 4811 7 0 0 20 0 28 0 97200602 27175628800 2643699 33554432000 4194304 4196468 140726536453696 139879872310152 139881328589530 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29876224 140726536455320 140726536455496 140726536455496 140726536458191 0 Current children cumulated CPU time: 780.23 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 10576180 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.04 s] # the end of solver process 21755 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001002 s, system=0.001002 s [startup+252.128 s] # the end of solver process 21757 was just reported to runsolver # cumulated CPU time of all completed processes: user=753.813 s, system=27.0268 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.128 CPU time (s): 780.84 CPU user time (s): 753.813 CPU system time (s): 27.0268 CPU usage (%): 309.7 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 10753460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 753.813 system time used= 27.0268 maximum resident set size= 10752076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 374364 page faults= 0 swaps= 0 block input operations= 0 block output operations= 544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25855 involuntary context switches= 8097 # summary of solver processes directly reported to runsolver: # pid: 21755,21757 # total CPU time (s): 780.84 # total CPU user time (s): 753.813 # total CPU system time (s): 27.0268 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.83623 second user time and 2.76608 second system time The end
Begin job on node103 at 2017-08-13 18:01:02 IDJOB=4271665 IDBENCH=123023 IDSOLVER=2663 FILE ID=node103/4271665-1502640920 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61792 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-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-4271665-1502640920/watcher-4271665-1502640920 -o /tmp/evaluation-result-4271665-1502640920/solver-4271665-1502640920 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 955558447 HOME/instance-4271665-1502640920.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=955558447 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31658260 kB MemAvailable: 31993352 kB Buffers: 106740 kB Cached: 522968 kB SwapCached: 0 kB Active: 516436 kB Inactive: 168428 kB Active(anon): 4444 kB Inactive(anon): 78632 kB Active(file): 511992 kB Inactive(file): 89796 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7808 kB Writeback: 0 kB AnonPages: 61756 kB Mapped: 43312 kB Shmem: 25228 kB Slab: 124196 kB SReclaimable: 98276 kB SUnreclaim: 25920 kB KernelStack: 3232 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 18:05:14