Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 7447576 | 250.383 | 240.02901 |
| 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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270195-1502621008.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4270195-1502621008.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.33/0.26 c parse instance... 23.45/18.44 c solve instance... 91.83/83.63 o 7580069 91.83/83.69 o 7566572 170.49/160.99 o 7462763 170.60/161.04 o 7450680 170.60/161.09 o 7447576 250.35/240.01 s SATISFIABLE 250.35/240.01 v <instantiation> 250.35/240.01 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> 250.35/240.01 v <values>45 16 60 19 22 66 63 4 64 74 55 8 71 17 51 77 5 52 11 57 14 23 34 39 2 46 37 79 54 47 24 0 18 7 61 13 76 50 44 28 72 27 49 42 3 33 56 20 10 31 29 12 69 41 59 35 43 32 68 75 36 9 58 38 73 78 40 25 62 30 65 67 70 26 21 6 53 15 48 1 56 71 30 89 68 4 37 75 87 55 78 78 44 57 50 43 76 19 92 47 99 65 45 27 62 88 19 5 59 79 21 23 13 28 15 21 12 51 22 21 27 65 47 62 26 59 81 63 3 92 98 89 39 72 53 84 1 38 45 41 13 91 21 28 69 84 72 90 41 96 0 38 22 22 77 81 29 10 88 75 93 18 11 70 99 39 43 33 20 45 31 22 93 48 81 7 60 79 15 84 75 82 52 87 39 37 0 15 57 13 12 70 15 82 25 20 76 84 90 94 57 10 56 59 60 6 18 82 12 80 34 49 51 55 5 41 29 54 95 77 33 94 44 62 62 72 81 20 41 89 97 74 79 48 15 79 56 83 92 17 65 55 15 33 38 29 33 53 98 78 14 47 93 33 25 17 87 52 84 71 48 30 40 33 13 84 5 9 24 92 98 87 66 24 35 53 44 16 18 76 37 55 13 0 91 73 97 74 19 19 99 50 0 30 98 96 48 32 14 55 23 37 80 6 58 28 49 53 68 86 46 21 93 79 87 16 54 36 32 55 82 89 58 54 94 67 49 71 35 94 41 12 8 89 75 34 12 9 29 37 10 62 30 33 6 21 73 81 29 42 3 9 19 42 80 72 54 56 63 37 63 21 40 84 40 2 64 53 42 66 94 9 50 80 79 1 13 48 97 15 34 99 75 29 27 74 40 9 35 93 33 94 59 58 7 63 3 94 11 85 32 53 22 19 38 53 99 2 43 6 17 84 84 10 20 76 56 48 14 85 1 29 6 78 24 67 22 61 90 99 79 19 78 55 93 39 5 17 70 3 30 94 33 9 72 44 80 95 57 48 72 47 55 81 73 28 76 97 71 85 40 54 82 45 77 65 54 26 60 81 13 67 92 27 87 61 88 20 56 68 48 32 99 61 77 34 36 33 42 94 39 22 2 97 48 57 28 36 75 10 42 66 49 89 7 26 85 62 73 77 97 32 31 46 9 96 39 96 77 54 39 56 97 57 60 47 96 56 37 34 26 31 18 14 87 7 36 37 10 89 69 66 3 93 49 77 11 87 27 14 98 96 69 84 45 33 38 3 1 77 35 92 47 54 8 52 79 11 21 42 15 48 93 16 52 62 87 23 96 2 14 54 27 18 92 49 74 13 74 4 69 91 33 90 35 64 70 27 86 10 13 58 80 41 6 96 15 2 34 9 20 27 42 84 26 71 80 50 12 19 9 52 68 76 0 26 87 55 20 96 56 26 14 51 79 66 54 37 93 37 11 94 42 2 21 98 49 93 67 37 40 7 7 26 19 39 71 39 90 74 65 1 92 1 93 70 84 93 27 71 93 21 60 35 1 51 12 72 62 8 4 30 85 84 11 35 77 5 54 94 73 93 12 90 45 19 54 46 57 50 84 48 31 81 11 43 23 25 63 99 29 69 28 16 80 13 73 25 2 17 8 17 82 3 85 75 43 14 20 44 25 17 23 67 81 25 19 76 93 17 26 21 24 4 35 98 15 89 64 62 39 61 71 55 67 37 85 90 59 88 27 80 30 37 99 83 62 57 40 11 45 3 25 37 1 22 1 55 15 53 26 98 97 28 54 46 98 78 81 49 33 99 99 65 32 62 50 89 89 66 27 75 99 54 79 36 96 97 42 26 47 35 52 84 67 95 0 69 85 44 16 56 51 47 48 5 29 4 33 8 24 74 73 82 72 44 74 98 91 35 83 23 96 1 59 30 60 87 3 37 48 88 22 90 69 52 96 64 44 47 14 91 48 96 96 1 61 4 28 23 74 21 75 5 80 60 63 76 90 35 47 50 82 23 72 29 43 60 48 97 93 53 87 44 43 8 13 30 90 92 85 47 64 50 10 40 28 54 22 74 19 37 9 10 43 46 81 84 53 54 53 55 46 22 62 84 76 39 30 91 68 82 62 30 95 12 6 92 22 95 58 12 64 88 46 8 62 34 69 35 86 49 90 9 52 85 72 94 1 1 51 41 24 65 45 20 32 20 49 24 85 15 83 81 58 96 17 36 86 23 20 76 63 43 69 45 16 80 71 29 50 37 22 40 84 79 23 62 28 36 35 22 0 25 19 22 96 98 18 13 34 51 55 70 87 94 17 15 93 57 74 54 49 5 85 68 62 30 53 42 8 74 20 58 4 96 64 89 47 37 11 28 23 32 12 96 49 7 44 25 82 94 64 29 93 0 98 79 5 30 35 6 64 60 12 92 97 61 38 94 88 81 4 45 39 47 79 83 55 13 74 38 84 24 54 83 46 71 57 63 77 31 22 10 89 44 5 42 92 39 88 27 6 33 22 90 14 49 67 0 6 27 27 71 21 2 58 79 21 63 10 64 83 70 85 57 6 44 25 86 69 97 13 64 13 19 11 75 89 78 3 70 23 88 2 91 99 55 59 18 4 10 98 64 59 99 30 77 10 33 57 8 43 36 58 81 61 88 37 17 1 20 66 75 11 32 40 48 54 50 22 38 31 10 9 43 55 57 4 18 38 75 41 18 41 0 84 36 22 5 66 21 40 73 84 22 50 90 23 91 68 58 5 47 62 58 12 56 70 92 3 18 40 26 34 56 91 81 63 41 24 59 69 63 22 83 69 26 22 66 79 36 32 27 62 62 1 70 91 1 82 64 72 75 44 33 67 99 46 28 45 86 46 96 13 69 18 41 12 71 45 49 72 42 1 39 44 19 44 85 17 46 55 35 90 91 3 32 29 38 71 43 76 78 10 72 15 16 33 44 57 10 31 2 44 54 69 10 40 77 43 81 76 84 43 21 36 93 31 9 5 77 62 32 80 20 45 56 37 72 99 67 66 12 6 13 93 92 56 66 52 31 54 68 91 46 53 12 20 89 54 6 29 58 52 8 24 23 76 11 26 81 5 55 0 67 17 79 90 95 56 44 84 98 86 88 84 37 88 59 93 3 60 44 81 58 95 27 38 37 53 63 75 4 74 53 59 89 48 44 69 46 31 1 62 63 50 87 22 72 89 46 82 84 16 79 53 69 25 32 44 96 72 61 92 35 47 66 12 53 48 6 1 23 69 69 58 53 0 16 92 48 81 79 88 25 52 58 14 17 2 92 39 31 24 31 3 41 46 34 3 8 49 68 36 34 96 78 39 75 58 70 53 81 25 6 73 52 26 18 40 8 59 9 98 93 20 3 4 32 17 75 0 5 64 80 35 57 26 98 86 92 54 87 94 8 16 95 23 80 45 86 47 29 47 99 8 66 41 61 77 62 41 60 2 70 12 78 68 21 0 68 3 38 56 66 27 49 60 39 6 62 9 54 32 4 3 1 46 61 55 10 76 26 78 32 77 28 20 1 9 75 43 55 86 89 42 22 17 21 71 26 36 30 54 60 69 25 91 15 77 33 67 45 74 49 67 84 15 91 12 72 15 80 98 90 98 35 13 17 60 8 40 52 17 24 45 91 93 46 5 23 67 72 80 3 77 36 38 33 3 83 54 19 75 1 34 99 49 54 46 91 49 13 75 92 60 91 92 39 27 26 15 32 29 7 17 7 28 62 66 48 44 70 89 9 88 66 30 71 70 66 60 81 73 3 24 81 91 68 46 75 63 58 30 89 84 27 67 23 46 97 49 61 71 46 81 32 21 72 61 62 6 50 95 38 58 72 59 97 82 68 19 47 55 26 58 75 40 51 56 78 34 85 13 21 87 39 12 17 53 3 43 85 68 91 7 25 35 46 30 45 52 87 33 90 58 39 66 3 85 67 21 9 64 90 14 33 71 44 35 30 9 96 9 63 87 87 73 80 25 83 98 96 2 61 71 11 38 57 50 12 46 36 57 94 69 17 94 71 85 17 76 22 34 29 69 69 10 3 82 65 33 58 68 31 99 29 2 87 78 18 82 50 83 32 53 8 29 55 48 26 30 1 17 65 99 12 44 25 67 28 32 10 70 46 35 66 41 6 38 57 83 57 41 73 58 76 12 17 19 74 70 31 11 84 26 44 21 11 89 71 74 58 3 88 9 84 12 51 67 69 23 43 28 79 93 55 28 22 70 22 60 63 81 61 24 24 94 50 16 81 30 54 21 71 82 44 53 56 30 13 96 76 39 11 66 47 27 17 25 81 59 77 80 56 80 56 10 62 18 48 37 30 88 21 65 15 23 24 17 93 36 91 52 31 31 73 50 95 73 74 93 97 90 87 37 42 30 45 22 3 75 72 88 49 65 37 92 77 60 1 11 0 80 8 30 87 97 12 6 56 21 99 60 91 38 19 97 87 61 53 97 73 99 44 60 93 44 63 93 21 0 21 56 90 64 63 61 51 53 51 68 61 68 73 36 60 56 0 55 35 55 10 91 10 26 35 28 42 2 27 15 61 28 2 69 13 90 32 7 32 68 9 18 29 65 31 91 33 38 85 21 44 30 0 9 94 17 24 91 47 25 18 22 83 35 25 93 40 21 82 36 35 11 11 82 36 82 86 30 1 63 69 82 44 2 57 91 61 56 85 20 59 4 76 76 35 80 18 26 56 26 4 27 1 91 85 6 8 29 21 2 66 79 78 80 48 63 85 31 53 5 29 74 61 27 79 36 37 23 91 85 4 57 73 5 51 65 34 15 51 44 31 28 72 6 68 82 12 45 49 80 12 99 41 39 96 90 25 30 97 40 37 48 55 16 7 27 74 3 17 83 10 99 30 23 2 15 69 82 3 17 34 81 96 42 42 26 33 60 4 42 29 56 60 23 43 56 55 17 40 94 98 3 32 63 28 3 5 15 56 96 4 31 89 0 81 78 35 78 44 42 63 72 52 94 94 7 16 90 56 70 49 78 10 11 9 90 58 72 19 7 19 15 66 79 4 0 24 2 62 30 75 97 92 62 80 0 63 80 51 33 72 9 27 2 40 25 53 13 2 3 12 67 27 66 8 61 34 73 68 88 46 89 1 11 94 84 55 0 90 92 69 66 32 76 26 96 39 86 27 52 52 99 96 87 27 64 69 25 81 19 21 8 2 99 61 68 3 85 93 86 57 23 81 67 32 72 49 91 63 70 41 98 85 22 21 40 5 36 11 50 76 55 12 53 60 50 84 41 12 97 29 46 92 57 61 84 90 12 51 80 59 64 75 46 10 25 48 77 75 59 18 73 60 59 99 49 61 59 62 30 2 9 4 98 31 99 86 95 91 51 49 30 30 87 18 73 13 87 19 26 53 5 79 5 3 51 41 52 73 15 39 2 9 56 26 98 62 49 88 88 41 89 77 31 76 89 45 14 78 54 52 8 58 12 85 57 31 69 46 79 18 95 90 48 37 20 35 1 36 36 64 2 24 62 61 42 50 46 68 1 93 45 20 48 54 77 82 85 55 1 78 28 29 80 20 28 29 78 17 40 44 63 35 63 10 67 63 25 63 3 46 23 81 94 54 49 78 80 18 60 26 94 13 91 62 26 98 85 78 97 5 87 70 3 19 36 28 83 2 34 12 75 71 83 28 58 77 17 62 65 65 92 28 87 56 31 61 82 54 97 81 49 47 32 85 20 68 17 6 17 67 33 26 4 23 92 89 12 33 28 82 65 10 99 86 31 87 29 41 67 39 31 2 22 15 89 80 19 21 4 27 19 25 26 35 67 5 29 91 84 54 69 91 41 85 8 21 86 37 94 82 49 3 0 76 62 48 7 76 34 35 60 66 95 5 15 6 5 77 32 82 26 66 82 28 31 1 92 42 51 43 43 29 57 76 3 53 29 79 16 97 81 13 71 7 50 83 88 94 41 80 92 3 38 0 29 32 98 91 78 15 92 94 80 15 48 1 84 76 28 0 79 18 52 64 48 14 66 13 11 54 25 87 8 75 70 45 0 46 76 8 24 74 92 15 31 45 90 35 69 62 74 28 9 49 63 89 80 22 79 45 29 67 18 33 98 80 6 34 52 18 79 97 19 99 27 64 37 0 1 7 39 45 99 23 87 88 9 30 95 3 40 86 53 28 23 62 30 75 84 66 99 91 33 38 85 13 1 68 48 78 66 34 3 99 66 30 91 72 91 2 95 70 45 76 76 23 42 20 16 70 64 82 10 5 67 89 87 47 45 42 56 74 26 50 27 4 40 23 58 83 72 93 10 78 86 58 48 12 4 69 74 81 8 88 21 71 35 81 51 24 97 53 53 87 17 81 36 20 43 33 42 30 12 71 35 48 53 3 7 69 59 30 26 2 43 16 64 26 29 2 51 56 76 1 89 26 41 83 52 57 3 20 51 4 4 64 91 54 60 71 6 67 67 23 78 59 40 70 62 3 69 47 21 71 30 58 64 91 20 40 51 48 95 80 26 47 41 85 0 19 67 32 16 45 85 29 9 73 13 11 5 73 22 44 9 48 27 9 3 73 25 70 42 94 94 20 54 86 8 85 31 26 97 21 73 76 27 25 72 66 86 94 28 97 75 64 6 22 18 13 88 85 32 38 32 80 79 18 23 26 2 84 18 11 25 21 13 46 31 73 75 79 44 94 17 56 17 45 28 80 13 29 44 36 95 9 62 79 61 56 24 81 76 87 74 46 94 52 18 32 10 49 92 63 84 7 22 52 79 57 20 5 74 45 44 5 11 1 86 8 30 83 98 82 86 25 87 17 30 20 92 80 10 71 62 20 17 4 44 42 28 70 25 3 14 85 17 40 98 57 78 67 57 29 33 39 55 56 55 54 73 50 55 67 28 71 94 53 46 69 21 51 95 51 13 89 40 70 91 76 89 3 61 45 79 37 24 26 13 97 74 84 31 46 24 47 14 44 87 10 83 54 6 26 77 41 22 9 57 47 40 45 21 96 85 64 8 91 31 6 79 18 35 7 13 10 85 35 86 65 4 20 27 46 56 50 95 17 58 26 57 1 25 32 30 1 87 6 43 75 78 92 18 9 47 63 57 67 14 62 16 16 45 86 87 20 98 52 77 99 83 74 15 47 99 27 57 37 91 29 32 6 21 74 30 84 48 64 26 69 12 89 41 81 89 7 50 24 17 56 84 22 49 9 17 16 68 71 87 91 26 42 65 85 64 52 85 34 86 2 12 41 70 </values> 250.35/240.02 v </instantiation> 250.35/240.02 c Unexpected resolution interruption!
OK 7447576
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 (12320 MiB free)
memory of node 1: 16384 MiB (13580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270195-1502621008/watcher-4270195-1502621008 -o /tmp/evaluation-result-4270195-1502621008/solver-4270195-1502621008 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1761 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1605404885 HOME/instance-4270195-1502621008.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1971, runsolver pid=1968
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.49 1.26 1.19 4/218 1987
/proc/meminfo: memFree=26505976/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13978596 memory=28292 CPUtime=0.12 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 5429 0 0 0 11 1 0 0 20 0 15 0 95172400 14314082304 7073 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3494649 7073 2860 1 0 3482966 0
[pid=1973/tid=1974] ppid=1971 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) R 1971 1971 31727 0 -1 4202560 3446 0 0 0 9 0 0 0 20 0 15 0 95172401 14314082304 7073 33554432000 4194304 4196468 140732307282592 140206267339008 140205868799818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14314082304 7073 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13978596 memory=139727615911552 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14314082304 7073 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14314082304 7073 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172401 14314082304 7073 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13978596 memory=139727615911552 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172403 14314082304 7073 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172403 14314082304 7073 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172403 14314082304 7073 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14314082304 7138 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 95172406 14314082304 7138 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172406 14314082304 7138 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13978596 memory=139727615911552 CPUtime=0.01 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) R 1971 1971 31727 0 -1 4202560 281 0 0 0 1 0 0 0 20 0 15 0 95172406 14314082304 7138 33554432000 4194304 4196468 140732307282592 140205730912240 140206241786710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14314082304 7138 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13978596 memory=139727615911552 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172406 14314082304 7138 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29676 KiB
[startup+0.210725 s]*
/proc/loadavg: 1.49 1.26 1.19 4/218 1987
/proc/meminfo: memFree=26495192/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13982852 memory=40080 CPUtime=0.33 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 8053 0 0 0 31 2 0 0 20 0 15 0 95172400 14318440448 10020 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3495713 10020 3060 1 0 3482966 0
[pid=1973/tid=1974] ppid=1971 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) D 1971 1971 31727 0 -1 1077944384 5328 0 0 0 18 1 0 0 20 0 15 0 95172401 14318440448 10040 33554432000 4194304 4196468 140732307282592 140206267309008 140206255786541 0 4 0 16800975 18446744072101613092 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13982852 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318440448 10040 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13982852 memory=139727616173705 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318440448 10040 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318473216 10040 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172401 14318473216 10040 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13982852 memory=139727615911552 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172403 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172403 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172403 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 15 0 95172406 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 95172406 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13982852 memory=139727615911552 CPUtime=0.07 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) S 1971 1971 31727 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 15 0 95172406 14318440448 10040 33554432000 4194304 4196468 140732307282592 140205730912240 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14318473216 10040 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172406 14318473216 10040 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41464 KiB
[startup+0.310616 s]*
/proc/loadavg: 1.49 1.26 1.19 4/218 1987
/proc/meminfo: memFree=26486940/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13982852 memory=47300 CPUtime=0.5 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 8911 0 0 0 47 3 0 0 20 0 15 0 95172400 14318440448 11825 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3495713 11825 3115 1 0 3482966 0
[pid=1973/tid=1974] ppid=1971 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) R 1971 1971 31727 0 -1 4202560 5933 0 0 0 27 2 0 0 20 0 15 0 95172401 14318440448 11825 33554432000 4194304 4196468 140732307282592 140206267339952 140206263119254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318440448 11825 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13982852 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318440448 11825 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13982852 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318440448 11825 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172401 14318440448 11825 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172403 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13982852 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172403 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13982852 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172403 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13982852 memory=-1807685287717842718 CPUtime=0.03 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 673 0 0 0 3 0 0 0 20 0 15 0 95172406 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13982852 memory=6944656592455097440 CPUtime=0.03 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 15 0 95172406 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13982852 memory=6944656592455097440 CPUtime=0.12 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) R 1971 1971 31727 0 -1 4202560 808 0 0 0 12 0 0 0 20 0 15 0 95172406 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205730908608 140206241812000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13982852 memory=-2672971631234216029 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172406 14318440448 11825 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48684 KiB
[startup+0.700766 s]
/proc/loadavg: 1.49 1.26 1.19 5/218 1987
/proc/meminfo: memFree=26457908/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13982928 memory=99592 CPUtime=1.75 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 12821 0 0 0 170 5 0 0 20 0 15 0 95172400 14318518272 24898 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3495732 24898 3199 1 0 3482966 0
[pid=1973/tid=1974] ppid=1971 vsize=13982928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) R 1971 1971 31727 0 -1 4202560 6294 0 0 0 64 3 0 0 20 0 15 0 95172401 14318518272 24898 33554432000 4194304 4196468 140732307282592 140206267345976 140206263121206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318518272 24898 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318518272 24898 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172401 14318518272 24898 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172401 14318518272 24898 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95172403 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172403 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13982928 memory=2 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172403 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13982928 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 1938 0 0 0 37 0 0 0 20 0 15 0 95172406 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13982928 memory=1196 CPUtime=0.34 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 1365 0 0 0 34 0 0 0 20 0 15 0 95172406 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13982928 memory=10640 CPUtime=0.33 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) S 1971 1971 31727 0 -1 1077944384 1918 0 0 0 33 0 0 0 20 0 15 0 95172406 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205730912240 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13982928 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13982928 memory=15516 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172406 14318518272 24898 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 100976 KiB
[startup+1.50071 s]
/proc/loadavg: 1.49 1.26 1.19 3/218 1987
/proc/meminfo: memFree=26432088/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13984976 memory=4 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13984976 memory=164 CPUtime=2.29 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 9541 0 0 0 228 1 0 0 20 0 15 0 95172406 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13984976 memory=6944656575208382560 CPUtime=2.36 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 11117 0 0 0 234 2 0 0 20 0 15 0 95172406 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13984976 memory=1384 CPUtime=0.68 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) S 1971 1971 31727 0 -1 1077944384 6152 0 0 0 67 1 0 0 20 0 15 0 95172406 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205730912240 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13984976 memory=1280744 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13984976 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 199 0 0 0 2 2 0 0 20 0 15 0 95172406 14320615424 320186 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 111.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1282128 KiB
[startup+162.301 s]
/proc/loadavg: 2.14 1.62 1.34 3/218 1999
/proc/meminfo: memFree=25109040/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13984976 memory=1290240 CPUtime=172.49 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 64278 0 0 0 17121 128 0 0 20 0 15 0 95172400 14320615424 322560 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3496244 322560 3283 1 0 3483478 0
[pid=1973/tid=1974] ppid=1971 vsize=13984976 memory=1278312 CPUtime=160.87 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) R 1971 1971 31727 0 -1 4202560 18626 0 0 0 16079 8 0 0 20 0 15 0 95172401 14320615424 322560 33554432000 4194304 4196468 140732307282592 140206267343456 140205876417549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13984976 memory=1290240 CPUtime=1.26 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1018 0 0 0 100 26 0 0 20 0 15 0 95172401 14320615424 322560 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13984976 memory=1384 CPUtime=1.25 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 2122 0 0 0 99 26 0 0 20 0 15 0 95172401 14320615424 322560 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13984976 memory=1384 CPUtime=1.27 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1685 0 0 0 100 27 0 0 20 0 15 0 95172401 14320615424 322560 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13984976 memory=1384 CPUtime=1.26 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 1460 0 0 0 99 27 0 0 20 0 15 0 95172401 14320615424 322560 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13984976 memory=279455000983920 CPUtime=0.14 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 2385 0 0 0 13 1 0 0 20 0 15 0 95172403 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13984976 memory=7372784292875167340 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13984976 memory=640 CPUtime=2.8 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 14399 0 0 0 279 1 0 0 20 0 15 0 95172406 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13984976 memory=960 CPUtime=2.74 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 14287 0 0 0 271 3 0 0 20 0 15 0 95172406 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13984976 memory=1384 CPUtime=0.7 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) S 1971 1971 31727 0 -1 1077944384 6634 0 0 0 69 1 0 0 20 0 15 0 95172406 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205730912240 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13984976 memory=1278312 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13984976 memory=4486604260213485459 CPUtime=0.09 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 311 0 0 0 5 4 0 0 20 0 15 0 95172406 14320615424 322560 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 172.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1291624 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.67 1.38 3/218 2000
/proc/meminfo: memFree=25046664/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13984976 memory=1356368 CPUtime=232.62 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 65447 0 0 0 23132 130 0 0 20 0 15 0 95172400 14320615424 339092 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3496244 339092 3283 1 0 3483478 0
[pid=1973/tid=1974] ppid=1971 vsize=13984976 memory=1356368 CPUtime=220.87 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) R 1971 1971 31727 0 -1 4202560 19567 0 0 0 22078 9 0 0 20 0 15 0 95172401 14320615424 339092 33554432000 4194304 4196468 140732307282592 140206267343480 140205874488078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13984976 memory=1356368 CPUtime=1.26 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1018 0 0 0 100 26 0 0 20 0 15 0 95172401 14320615424 339092 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13984976 memory=1384 CPUtime=1.25 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 2122 0 0 0 99 26 0 0 20 0 15 0 95172401 14320615424 339092 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13984976 memory=1428 CPUtime=1.27 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1685 0 0 0 100 27 0 0 20 0 15 0 95172401 14320615424 339092 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13984976 memory=1346128 CPUtime=1.26 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 1460 0 0 0 99 27 0 0 20 0 15 0 95172401 14320615424 339092 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13984976 memory=1354320 CPUtime=0.14 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 2385 0 0 0 13 1 0 0 20 0 15 0 95172403 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13984976 memory=288230621803970871 CPUtime=2.86 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 14418 0 0 0 285 1 0 0 20 0 15 0 95172406 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13984976 memory=1354320 CPUtime=2.78 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 14486 0 0 0 275 3 0 0 20 0 15 0 95172406 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13984976 memory=1384 CPUtime=0.71 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) S 1971 1971 31727 0 -1 1077944384 6640 0 0 0 70 1 0 0 20 0 15 0 95172406 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205730912240 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13984976 memory=1384 CPUtime=0.12 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 315 0 0 0 5 7 0 0 20 0 15 0 95172406 14320615424 339092 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 232.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1357752 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.93 1.67 1.38 4/218 2080
/proc/meminfo: memFree=25216156/32770624 swapFree=67108860/67108860
[pid=1971] ppid=1968 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1971/stat : 1971 (xcsp3-exec) S 1968 1971 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95172400 9740288 346 33554432000 4194304 5098028 140723943699728 140723943697832 140646055617148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10629120 140723943707764 140723943707968 140723943707968 140723943710699 0
/proc/1971/statm: 2378 346 289 221 0 87 0
[pid=1973] ppid=1971 vsize=13984976 memory=1362512 CPUtime=250.35 cores=0,2,4,6
/proc/1973/stat : 1973 (java) S 1971 1971 31727 0 -1 1077944320 65472 0 0 0 24904 131 0 0 20 0 15 0 95172400 14320615424 340628 33554432000 4194304 4196468 140732307282592 140732307265136 140206263107319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
/proc/1973/statm: 3496244 340628 3283 1 0 3483478 0
[pid=1973/tid=1974] ppid=1971 vsize=13984976 memory=6935054825532540783 CPUtime=238.58 cores=0,2,4,6
/proc/1973/task/1974/stat : 1974 (java) R 1971 1971 31727 0 -1 4202560 19588 0 0 0 23849 9 0 0 20 0 15 0 95172401 14320615424 340628 33554432000 4194304 4196468 140732307282592 140206267343704 140205874695280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1975] ppid=1971 vsize=13984976 memory=4126316290023845779 CPUtime=1.26 cores=0,2,4,6
/proc/1973/task/1975/stat : 1975 (java) S 1971 1971 31727 0 -1 1077944384 1018 0 0 0 100 26 0 0 20 0 15 0 95172401 14320615424 340628 33554432000 4194304 4196468 140732307282592 140206193195536 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1976] ppid=1971 vsize=13984976 memory=1380 CPUtime=1.25 cores=0,2,4,6
/proc/1973/task/1976/stat : 1976 (java) S 1971 1971 31727 0 -1 1077944384 2122 0 0 0 99 26 0 0 20 0 15 0 95172401 14320615424 340628 33554432000 4194304 4196468 140732307282592 140206192142992 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1977] ppid=1971 vsize=13984976 memory=212292 CPUtime=1.27 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (java) S 1971 1971 31727 0 -1 1077944384 1685 0 0 0 100 27 0 0 20 0 15 0 95172401 14320615424 340628 33554432000 4194304 4196468 140732307282592 140206191089936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1978] ppid=1971 vsize=13984976 memory=1384 CPUtime=1.26 cores=0,2,4,6
/proc/1973/task/1978/stat : 1978 (java) S 1971 1971 31727 0 -1 1077944384 1460 0 0 0 99 27 0 0 20 0 15 0 95172401 14320615424 340628 33554432000 4194304 4196468 140732307282592 140206190037392 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1979] ppid=1971 vsize=13984976 memory=8112282956445269571 CPUtime=0.14 cores=0,2,4,6
/proc/1973/task/1979/stat : 1979 (java) S 1971 1971 31727 0 -1 1077944384 2385 0 0 0 13 1 0 0 20 0 15 0 95172403 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205737229040 140206263118466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1980] ppid=1971 vsize=13984976 memory=1360464 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1980/stat : 1980 (java) S 1971 1971 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205736175264 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1981] ppid=1971 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1981/stat : 1981 (java) S 1971 1971 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95172403 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205735122160 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1982] ppid=1971 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1982/stat : 1982 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205734070736 140206263125915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1983] ppid=1971 vsize=13984976 memory=4104 CPUtime=2.86 cores=0,2,4,6
/proc/1973/task/1983/stat : 1983 (java) S 1971 1971 31727 0 -1 1077944384 14418 0 0 0 285 1 0 0 20 0 15 0 95172406 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205733017840 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1984] ppid=1971 vsize=13984976 memory=1384 CPUtime=2.78 cores=0,2,4,6
/proc/1973/task/1984/stat : 1984 (java) S 1971 1971 31727 0 -1 1077944384 14488 0 0 0 275 3 0 0 20 0 15 0 95172406 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205731965296 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1985] ppid=1971 vsize=13984976 memory=1360464 CPUtime=0.71 cores=0,2,4,6
/proc/1973/task/1985/stat : 1985 (java) S 1971 1971 31727 0 -1 1077944384 6640 0 0 0 70 1 0 0 20 0 15 0 95172406 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205730912240 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1986] ppid=1971 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1986/stat : 1986 (java) S 1971 1971 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172406 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205729859936 140206263117525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
[pid=1973/tid=1987] ppid=1971 vsize=13984976 memory=1360464 CPUtime=0.14 cores=0,2,4,6
/proc/1973/task/1987/stat : 1987 (java) S 1971 1971 31727 0 -1 1077944384 317 0 0 0 6 8 0 0 20 0 15 0 95172406 14320615424 340628 33554432000 4194304 4196468 140732307282592 140205728807984 140206263118466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 26845184 140732307285149 140732307285324 140732307285324 140732307288015 0
Current children cumulated CPU time: 250.35 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1363896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1971 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001898 s
[startup+240.029 s]
# the end of solver process 1973 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.057 s, system=1.32577 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): 240.029
CPU time (s): 250.383
CPU user time (s): 249.057
CPU system time (s): 1.32577
CPU usage (%): 104.314
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1363896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.057
system time used= 1.32577
maximum resident set size= 1369500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8459
involuntary context switches= 229
# summary of solver processes directly reported to runsolver:
# pid: 1971,1973
# total CPU time (s): 250.383
# total CPU user time (s): 249.057
# total CPU system time (s): 1.32577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50037 second user time and 2.43266 second system time
The end
Begin job on node105 at 2017-08-13 12:29:09 IDJOB=4270195 IDBENCH=123023 IDSOLVER=2661 FILE ID=node105/4270195-1502621008 RUNJOBID= node105-1502619907-1761 PBS_JOBID= 20628295 Free space on /tmp= 60660 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270195-1502621008/watcher-4270195-1502621008 -o /tmp/evaluation-result-4270195-1502621008/solver-4270195-1502621008 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1761 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1605404885 HOME/instance-4270195-1502621008.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1605404885 node105.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.17 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.17 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.17 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.17 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: 26524076 kB MemAvailable: 31915244 kB Buffers: 159692 kB Cached: 5507368 kB SwapCached: 0 kB Active: 740180 kB Inactive: 5046188 kB Active(anon): 122068 kB Inactive(anon): 25060 kB Active(file): 618112 kB Inactive(file): 5021128 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 15772 kB Writeback: 0 kB AnonPages: 122644 kB Mapped: 55252 kB Shmem: 25228 kB Slab: 160860 kB SReclaimable: 135524 kB SUnreclaim: 25336 kB KernelStack: 3568 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1290228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60652 MiB End job on node105 at 2017-08-13 12:33:10