Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 89 | 581.599 | 73.7201 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml |
MD5SUM | 21aab71f6f536658a77b49f0e4f1f876 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 89 |
Best CPU time to get the best result obtained on this benchmark | 7.39237 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2772 |
Number of constraints | 154 |
Number of domains | 12 |
Minimum domain size | 2 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":2772}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 2640 |
Distribution of constraint arities | [{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":152}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407137-1569346668.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407137-1569346668.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.24/0.85 c solve instance... 302.07/38.53 o 131 302.07/38.56 o 130 302.77/38.61 o 129 302.77/38.68 o 128 303.49/38.72 o 127 304.25/38.80 o 126 304.25/38.84 o 125 316.90/40.40 o 124 413.28/52.56 o 123 452.27/57.42 o 122 460.96/58.53 o 121 483.96/61.45 o 120 486.31/61.78 o 119 491.08/62.38 o 118 491.84/62.47 o 117 492.60/62.56 o 116 494.96/62.88 o 115 496.59/63.04 o 114 539.55/68.47 o 113 564.97/71.68 o 112 567.30/71.93 o 94 569.67/72.22 o 93 570.45/72.37 o 92 575.26/72.98 o 90 580.79/73.70 o 89 581.56/73.71 s OPTIMUM FOUND 581.56/73.71 v <instantiation> 581.56/73.71 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] </list> 581.56/73.71 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 581.56/73.71 v </instantiation>
OK 89
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 (12400 MiB free) memory of node 1: 16384 MiB (11484 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407137-1569346668/watcher-4407137-1569346668 -o /var/tmp/evaluation-result-4407137-1569346668/solver-4407137-1569346668 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407137-1569346668.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2798, runsolver pid=2795 [startup+0.100117 s]* /proc/loadavg: 8.09 8.27 7.90 3/212 2819 /proc/meminfo: memFree=24439700/32770624 swapFree=66997016/67108860 [pid=2798] ppid=2795 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2798/stat : 2798 (xcsp3-exec) S 2795 2798 395 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510934596 115843072 363 33554432000 4194304 5098028 140721770781360 140721770779464 140041531290236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20516864 140721770787665 140721770787925 140721770787925 140721770790854 0 /proc/2798/statm: 28282 363 304 221 0 87 0 [pid=2800] ppid=2798 vsize=28227396 memory=29828 CPUtime=0.12 cores=0-7 /proc/2800/stat : 2800 (java) S 2798 2798 395 0 -1 1077944320 5920 0 0 0 10 2 0 0 20 0 20 0 510934597 28904853504 7457 33554432000 4194304 4196468 140723414167888 140723414150432 140546500050679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 /proc/2800/statm: 7056849 7457 3121 1 0 7019032 0 [pid=2800/tid=2801] ppid=2798 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/2800/task/2801/stat : 2801 (java) R 2798 2798 395 0 -1 4202560 3851 0 0 0 8 1 0 0 20 0 20 0 510934597 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546504283008 140546481956263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2802] ppid=2798 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2800/task/2802/stat : 2802 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546452671632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2803] ppid=2798 vsize=28227396 memory=140007555880576 CPUtime=0 cores=0-7 /proc/2800/task/2803/stat : 2803 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546451618832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2804] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2804/stat : 2804 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546450566032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2805] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2805/stat : 2805 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546449513232 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2806] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2806/stat : 2806 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546448460432 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2807] ppid=2798 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2800/task/2807/stat : 2807 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546447407632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2808] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2808/stat : 2808 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546446354832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2809] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2809/stat : 2809 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 7457 33554432000 4194304 4196468 140723414167888 140546445302032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2810] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2810/stat : 2810 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934599 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544963607408 140546500061826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2811] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2811/stat : 2811 (java) S 2798 2798 395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510934600 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544962553376 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2812] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2812/stat : 2812 (java) S 2798 2798 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510934600 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544961500528 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2813] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2813/stat : 2813 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934602 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544960448848 140546500069275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2814] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2814/stat : 2814 (java) S 2798 2798 395 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 510934602 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544959396208 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2815] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2815/stat : 2815 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934602 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544958343408 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2816] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2816/stat : 2816 (java) S 2798 2798 395 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 510934602 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544957290608 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2817] ppid=2798 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2800/task/2817/stat : 2817 (java) R 2798 2798 395 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 20 0 510934602 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544956237808 140546478990830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2818] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2818/stat : 2818 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510934603 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544955186272 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2819] ppid=2798 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2800/task/2819/stat : 2819 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934603 28904853504 7457 33554432000 4194304 4196468 140723414167888 140544954133552 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31280 KiB [startup+0.210391 s]* /proc/loadavg: 8.09 8.27 7.90 2/212 2819 /proc/meminfo: memFree=24427364/32770624 swapFree=66997016/67108860 [pid=2798] ppid=2795 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2798/stat : 2798 (xcsp3-exec) S 2795 2798 395 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510934596 115843072 363 33554432000 4194304 5098028 140721770781360 140721770779464 140041531290236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20516864 140721770787665 140721770787925 140721770787925 140721770790854 0 /proc/2798/statm: 28282 363 304 221 0 87 0 [pid=2800] ppid=2798 vsize=28227396 memory=40880 CPUtime=0.33 cores=0-7 /proc/2800/stat : 2800 (java) S 2798 2798 395 0 -1 1077944320 9466 0 0 0 30 3 0 0 20 0 20 0 510934597 28904853504 10220 33554432000 4194304 4196468 140723414167888 140723414150432 140546500050679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 /proc/2800/statm: 7056849 10220 3300 1 0 7019032 0 [pid=2800/tid=2801] ppid=2798 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2800/task/2801/stat : 2801 (java) R 2798 2798 395 0 -1 4202560 6685 0 0 0 17 2 0 0 20 0 20 0 510934597 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546504280400 140546484131166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2802] ppid=2798 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/2800/task/2802/stat : 2802 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546452671632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2803] ppid=2798 vsize=28227396 memory=140007559392127 CPUtime=0 cores=0-7 /proc/2800/task/2803/stat : 2803 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546451618832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2804] ppid=2798 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2800/task/2804/stat : 2804 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546450566032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2805] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2805/stat : 2805 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546449513232 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2806] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2806/stat : 2806 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546448460432 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2807] ppid=2798 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2800/task/2807/stat : 2807 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546447407632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2808] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2808/stat : 2808 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546446354832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2809] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2809/stat : 2809 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28904853504 10220 33554432000 4194304 4196468 140723414167888 140546445302032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2810] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2810/stat : 2810 (java) S 2798 2798 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510934599 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544963607408 140546500061826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2811] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2811/stat : 2811 (java) S 2798 2798 395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510934600 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544962553376 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2812] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2812/stat : 2812 (java) S 2798 2798 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510934600 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544961500528 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2813] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2813/stat : 2813 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934602 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544960448848 140546500069275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2814] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2814/stat : 2814 (java) S 2798 2798 395 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 510934602 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544959396208 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2815] ppid=2798 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2800/task/2815/stat : 2815 (java) S 2798 2798 395 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 510934602 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544958343408 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2816] ppid=2798 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/2800/task/2816/stat : 2816 (java) S 2798 2798 395 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 510934602 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544957290608 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2817] ppid=2798 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/2800/task/2817/stat : 2817 (java) S 2798 2798 395 0 -1 1077944384 747 0 0 0 7 0 0 0 20 0 20 0 510934602 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544956237808 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2818] ppid=2798 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2818/stat : 2818 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510934603 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544955186272 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2819] ppid=2798 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2800/task/2819/stat : 2819 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934603 28904853504 10220 33554432000 4194304 4196468 140723414167888 140544954133552 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42332 KiB [startup+0.309487 s]* /proc/loadavg: 8.09 8.27 7.90 2/212 2819 /proc/meminfo: memFree=24422876/32770624 swapFree=66997016/67108860 [pid=2798] ppid=2795 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2798/stat : 2798 (xcsp3-exec) S 2795 2798 395 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510934596 115843072 363 33554432000 4194304 5098028 140721770781360 140721770779464 140041531290236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20516864 140721770787665 140721770787925 140721770787925 140721770790854 0 /proc/2798/statm: 28282 363 304 221 0 87 0 [pid=2800] ppid=2798 vsize=28231652 memory=49304 CPUtime=0.51 cores=0-7 /proc/2800/stat : 2800 (java) S 2798 2798 395 0 -1 1077944320 10683 0 0 0 47 4 0 0 20 0 20 0 510934597 28909211648 12326 33554432000 4194304 4196468 140723414167888 140723414150432 140546500050679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 /proc/2800/statm: 7057913 12326 3359 1 0 7019032 0 [pid=2800/tid=2801] ppid=2798 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/2800/task/2801/stat : 2801 (java) R 2798 2798 395 0 -1 4202560 7761 0 0 0 26 3 0 0 20 0 20 0 510934597 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546504281792 140546484131166 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2802] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2802/stat : 2802 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546452671632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2803] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2803/stat : 2803 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546451618832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2804] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2804/stat : 2804 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546450566032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2805] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2805/stat : 2805 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546449513232 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2806] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2806/stat : 2806 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546448460432 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2807] ppid=2798 vsize=28231652 memory=140007411116719 CPUtime=0 cores=0-7 /proc/2800/task/2807/stat : 2807 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546447407632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2808] ppid=2798 vsize=28231652 memory=140007411119024 CPUtime=0 cores=0-7 /proc/2800/task/2808/stat : 2808 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546446354832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2809] ppid=2798 vsize=28231652 memory=140007411121328 CPUtime=0 cores=0-7 /proc/2800/task/2809/stat : 2809 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28909211648 12326 33554432000 4194304 4196468 140723414167888 140546445302032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2810] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2810/stat : 2810 (java) S 2798 2798 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510934599 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544963607408 140546500061826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2811] ppid=2798 vsize=28231652 memory=280014822256528 CPUtime=0 cores=0-7 /proc/2800/task/2811/stat : 2811 (java) S 2798 2798 395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510934600 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544962553376 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2812] ppid=2798 vsize=28231652 memory=280014822254224 CPUtime=0 cores=0-7 /proc/2800/task/2812/stat : 2812 (java) S 2798 2798 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510934600 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544961500528 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2813] ppid=2798 vsize=28231652 memory=280014822261136 CPUtime=0 cores=0-7 /proc/2800/task/2813/stat : 2813 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934602 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544960448848 140546500069275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2814] ppid=2798 vsize=28231652 memory=280014822202416 CPUtime=0.01 cores=0-7 /proc/2800/task/2814/stat : 2814 (java) S 2798 2798 395 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 510934602 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544959396208 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2815] ppid=2798 vsize=28231652 memory=280014822274960 CPUtime=0.03 cores=0-7 /proc/2800/task/2815/stat : 2815 (java) S 2798 2798 395 0 -1 1077944384 106 0 0 0 3 0 0 0 20 0 20 0 510934602 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544958343408 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2816] ppid=2798 vsize=28231652 memory=280014822281872 CPUtime=0.03 cores=0-7 /proc/2800/task/2816/stat : 2816 (java) R 2798 2798 395 0 -1 4202560 386 0 0 0 3 0 0 0 20 0 20 0 510934602 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544957280992 140546486064988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2817] ppid=2798 vsize=28231652 memory=280014822279568 CPUtime=0.12 cores=0-7 /proc/2800/task/2817/stat : 2817 (java) S 2798 2798 395 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 510934602 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544956237808 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2818] ppid=2798 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2818/stat : 2818 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510934603 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544955186272 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2819] ppid=2798 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2800/task/2819/stat : 2819 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934603 28909211648 12326 33554432000 4194304 4196468 140723414167888 140544954133552 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50756 KiB [startup+0.700845 s] /proc/loadavg: 8.09 8.27 7.90 3/212 2819 /proc/meminfo: memFree=24404672/32770624 swapFree=66997016/67108860 [pid=2798] ppid=2795 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2798/stat : 2798 (xcsp3-exec) S 2795 2798 395 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510934596 115843072 363 33554432000 4194304 5098028 140721770781360 140721770779464 140041531290236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20516864 140721770787665 140721770787925 140721770787925 140721770790854 0 /proc/2798/statm: 28282 363 304 221 0 87 0 [pid=2800] ppid=2798 vsize=28233776 memory=101056 CPUtime=1.79 cores=0-7 /proc/2800/stat : 2800 (java) S 2798 2798 395 0 -1 1077944320 15906 0 0 0 172 7 0 0 20 0 20 0 510934597 28911386624 25264 33554432000 4194304 4196468 140723414167888 140723414150432 140546500050679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 /proc/2800/statm: 7058444 25264 3468 1 0 7019544 0 [pid=2800/tid=2801] ppid=2798 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/2800/task/2801/stat : 2801 (java) R 2798 2798 395 0 -1 4202560 9346 0 0 0 63 4 0 0 20 0 20 0 510934597 28911386624 25264 33554432000 4194304 4196468 140723414167888 140546504289568 140546110988976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2802] ppid=2798 vsize=28233776 memory=140007411327856 CPUtime=0 cores=0-7 /proc/2800/task/2802/stat : 2802 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28911386624 25264 33554432000 4194304 4196468 140723414167888 140546452671632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2803] ppid=2798 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2803/stat : 2803 (java) S 2798 2798 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510934598 28911386624 25264 33554432000 4194304 4196468 140723414167888 140546451618832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2804] ppid=2798 vsize=28233776 memory=1540 CPUtime=0 cores=0-7 /proc/2800/task/2804/stat : 2804 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510934598 28911386624 25264 33554432000 4194304 4196468 140723414167888 140546450566032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 ################ # More data... # ################ [pid=2800/tid=2809] ppid=2798 vsize=28766288 memory=16 CPUtime=0.12 cores=0-7 /proc/2800/task/2809/stat : 2809 (java) S 2798 2798 395 0 -1 1077944384 929 0 0 0 11 1 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546445302032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2810] ppid=2798 vsize=28766288 memory=183 CPUtime=0.04 cores=0-7 /proc/2800/task/2810/stat : 2810 (java) S 2798 2798 395 0 -1 1077944384 2243 0 0 0 4 0 0 0 20 0 28 0 510934599 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544963607408 140546500061826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2811] ppid=2798 vsize=28766288 memory=2463 CPUtime=0 cores=0-7 /proc/2800/task/2811/stat : 2811 (java) S 2798 2798 395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510934600 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544962553440 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2812] ppid=2798 vsize=28766288 memory=5189 CPUtime=0 cores=0-7 /proc/2800/task/2812/stat : 2812 (java) S 2798 2798 395 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510934600 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544961500528 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2813] ppid=2798 vsize=28766288 memory=1208 CPUtime=0 cores=0-7 /proc/2800/task/2813/stat : 2813 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544960448848 140546500069275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2814] ppid=2798 vsize=28766288 memory=0 CPUtime=2.33 cores=0-7 /proc/2800/task/2814/stat : 2814 (java) S 2798 2798 395 0 -1 1077944384 15510 0 0 0 228 5 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544959396208 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2815] ppid=2798 vsize=28766288 memory=354 CPUtime=2.18 cores=0-7 /proc/2800/task/2815/stat : 2815 (java) S 2798 2798 395 0 -1 1077944384 13874 0 0 0 214 4 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544958343408 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2816] ppid=2798 vsize=28766288 memory=13 CPUtime=1.96 cores=0-7 /proc/2800/task/2816/stat : 2816 (java) S 2798 2798 395 0 -1 1077944384 11285 0 0 0 193 3 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544957290608 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2817] ppid=2798 vsize=28766288 memory=1654 CPUtime=0.84 cores=0-7 /proc/2800/task/2817/stat : 2817 (java) S 2798 2798 395 0 -1 1077944384 10740 0 0 0 82 2 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544956237808 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2818] ppid=2798 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/2800/task/2818/stat : 2818 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510934603 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544955186272 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2819] ppid=2798 vsize=28766288 memory=34298 CPUtime=0.02 cores=0-7 /proc/2800/task/2819/stat : 2819 (java) S 2798 2798 395 0 -1 1077944384 1108 0 0 0 0 2 0 0 20 0 28 0 510934603 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544954133552 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3017] ppid=2798 vsize=28766288 memory=0 CPUtime=0.22 cores=0-7 /proc/2800/task/3017/stat : 3017 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 22 0 0 0 20 0 28 0 510941894 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544874827144 140546117391058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3018] ppid=2798 vsize=28766288 memory=1 CPUtime=0.22 cores=0-7 /proc/2800/task/3018/stat : 3018 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 22 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544877985840 140546117515292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3019] ppid=2798 vsize=28766288 memory=0 CPUtime=0.21 cores=0-7 /proc/2800/task/3019/stat : 3019 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 21 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544871670520 140546117390653 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3020] ppid=2798 vsize=28766288 memory=2643 CPUtime=0.22 cores=0-7 /proc/2800/task/3020/stat : 3020 (java) R 2798 2798 395 0 -1 4202560 19 0 0 0 22 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544872722536 140546117126065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3021] ppid=2798 vsize=28766288 memory=1301 CPUtime=0.22 cores=0-7 /proc/2800/task/3021/stat : 3021 (java) R 2798 2798 395 0 -1 4202560 19 0 0 0 22 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544876936008 140546117753632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3022] ppid=2798 vsize=28766288 memory=286 CPUtime=0.22 cores=0-7 /proc/2800/task/3022/stat : 3022 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 22 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544870619848 140546117515292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3023] ppid=2798 vsize=28766288 memory=0 CPUtime=0.22 cores=0-7 /proc/2800/task/3023/stat : 3023 (java) R 2798 2798 395 0 -1 4202560 16 0 0 0 22 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544875884104 140546117126035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3024] ppid=2798 vsize=28766288 memory=0 CPUtime=0.22 cores=0-7 /proc/2800/task/3024/stat : 3024 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 22 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544873778632 140546116514709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 Current children cumulated CPU time: 577.66 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 212356 KiB [startup+73.6015 s] /proc/loadavg: 8.33 8.27 7.93 9/220 3024 /proc/meminfo: memFree=24258228/32770624 swapFree=66997016/67108860 [pid=2798] ppid=2795 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2798/stat : 2798 (xcsp3-exec) S 2795 2798 395 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510934596 115843072 363 33554432000 4194304 5098028 140721770781360 140721770779464 140041531290236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20516864 140721770787665 140721770787925 140721770787925 140721770790854 0 /proc/2798/statm: 28282 363 304 221 0 87 0 [pid=2800] ppid=2798 vsize=28766288 memory=210904 CPUtime=580.79 cores=0-7 /proc/2800/stat : 2800 (java) S 2798 2798 395 0 -1 1077944320 89025 0 0 0 58027 52 0 0 20 0 28 0 510934597 29456678912 52726 33554432000 4194304 4196468 140723414167888 140723414150432 140546500050679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 /proc/2800/statm: 7191572 52726 3536 1 0 7152672 0 [pid=2800/tid=2801] ppid=2798 vsize=28766288 memory=8112282956445269571 CPUtime=0.9 cores=0-7 /proc/2800/task/2801/stat : 2801 (java) S 2798 2798 395 0 -1 1077944384 10503 0 0 0 85 5 0 0 20 0 28 0 510934597 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546504291456 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2802] ppid=2798 vsize=28766288 memory=740 CPUtime=0.11 cores=0-7 /proc/2800/task/2802/stat : 2802 (java) S 2798 2798 395 0 -1 1077944384 724 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546452671632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2803] ppid=2798 vsize=28766288 memory=280014823666976 CPUtime=0.1 cores=0-7 /proc/2800/task/2803/stat : 2803 (java) S 2798 2798 395 0 -1 1077944384 802 0 0 0 8 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546451618832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2804] ppid=2798 vsize=28766288 memory=7306621391093918822 CPUtime=0.11 cores=0-7 /proc/2800/task/2804/stat : 2804 (java) S 2798 2798 395 0 -1 1077944384 508 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546450566032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2805] ppid=2798 vsize=28766288 memory=6156821378523096421 CPUtime=0.11 cores=0-7 /proc/2800/task/2805/stat : 2805 (java) S 2798 2798 395 0 -1 1077944384 1531 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546449513232 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2806] ppid=2798 vsize=28766288 memory=24180665882108 CPUtime=0.11 cores=0-7 /proc/2800/task/2806/stat : 2806 (java) S 2798 2798 395 0 -1 1077944384 707 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546448460432 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2807] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.1 cores=0-7 /proc/2800/task/2807/stat : 2807 (java) S 2798 2798 395 0 -1 1077944384 1775 0 0 0 8 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546447407632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2808] ppid=2798 vsize=28766288 memory=222060 CPUtime=0.12 cores=0-7 /proc/2800/task/2808/stat : 2808 (java) S 2798 2798 395 0 -1 1077944384 1825 0 0 0 10 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546446354832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2809] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7 /proc/2800/task/2809/stat : 2809 (java) S 2798 2798 395 0 -1 1077944384 929 0 0 0 11 1 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546445302032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2810] ppid=2798 vsize=28766288 memory=3620 CPUtime=0.04 cores=0-7 /proc/2800/task/2810/stat : 2810 (java) S 2798 2798 395 0 -1 1077944384 2243 0 0 0 4 0 0 0 20 0 28 0 510934599 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544963607408 140546500061826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2811] ppid=2798 vsize=28766288 memory=1804 CPUtime=0 cores=0-7 /proc/2800/task/2811/stat : 2811 (java) S 2798 2798 395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510934600 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544962553440 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2812] ppid=2798 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/2800/task/2812/stat : 2812 (java) S 2798 2798 395 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510934600 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544961500528 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2813] ppid=2798 vsize=28766288 memory=221220 CPUtime=0 cores=0-7 /proc/2800/task/2813/stat : 2813 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544960448848 140546500069275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2814] ppid=2798 vsize=28766288 memory=-7357787915995474596 CPUtime=2.33 cores=0-7 /proc/2800/task/2814/stat : 2814 (java) S 2798 2798 395 0 -1 1077944384 15510 0 0 0 228 5 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544959396208 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2815] ppid=2798 vsize=28766288 memory=7682475212697334586 CPUtime=2.18 cores=0-7 /proc/2800/task/2815/stat : 2815 (java) S 2798 2798 395 0 -1 1077944384 13874 0 0 0 214 4 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544958343408 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2816] ppid=2798 vsize=28766288 memory=29967613596 CPUtime=1.96 cores=0-7 /proc/2800/task/2816/stat : 2816 (java) S 2798 2798 395 0 -1 1077944384 11285 0 0 0 193 3 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544957290608 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2817] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.84 cores=0-7 /proc/2800/task/2817/stat : 2817 (java) S 2798 2798 395 0 -1 1077944384 10740 0 0 0 82 2 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544956237808 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2818] ppid=2798 vsize=28766288 memory=211032 CPUtime=0 cores=0-7 /proc/2800/task/2818/stat : 2818 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510934603 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544955186272 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2819] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.02 cores=0-7 /proc/2800/task/2819/stat : 2819 (java) S 2798 2798 395 0 -1 1077944384 1108 0 0 0 0 2 0 0 20 0 28 0 510934603 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544954133552 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3017] ppid=2798 vsize=28766288 memory=211040 CPUtime=0.61 cores=0-7 /proc/2800/task/3017/stat : 3017 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 61 0 0 0 20 0 28 0 510941894 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544874827144 140546117390560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3018] ppid=2798 vsize=28766288 memory=140007411150304 CPUtime=0.61 cores=0-7 /proc/2800/task/3018/stat : 3018 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 61 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544877985840 140546117390585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3019] ppid=2798 vsize=28766288 memory=0 CPUtime=0.6 cores=0-7 /proc/2800/task/3019/stat : 3019 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 60 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544871670520 140546117390623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3020] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.61 cores=0-7 /proc/2800/task/3020/stat : 3020 (java) R 2798 2798 395 0 -1 4202560 21 0 0 0 61 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544872722536 140546117390680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3021] ppid=2798 vsize=28766288 memory=210904 CPUtime=0.61 cores=0-7 /proc/2800/task/3021/stat : 3021 (java) R 2798 2798 395 0 -1 4202560 19 0 0 0 61 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544876936008 140546117594586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3022] ppid=2798 vsize=28766288 memory=928 CPUtime=0.61 cores=0-7 /proc/2800/task/3022/stat : 3022 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 61 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544870619848 140546117391016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3023] ppid=2798 vsize=28766288 memory=1688 CPUtime=0.61 cores=0-7 /proc/2800/task/3023/stat : 3023 (java) R 2798 2798 395 0 -1 4202560 16 0 0 0 61 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544875884104 140546117515292 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=3024] ppid=2798 vsize=28766288 memory=1984 CPUtime=0.61 cores=0-7 /proc/2800/task/3024/stat : 3024 (java) R 2798 2798 395 0 -1 4202560 17 0 0 0 61 0 0 0 20 0 28 0 510941895 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544873778632 140546117335144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 Current children cumulated CPU time: 580.79 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 212356 KiB [startup+73.7014 s] /proc/loadavg: 8.33 8.27 7.93 9/220 3024 /proc/meminfo: memFree=24258228/32770624 swapFree=66997016/67108860 [pid=2798] ppid=2795 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2798/stat : 2798 (xcsp3-exec) S 2795 2798 395 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510934596 115843072 363 33554432000 4194304 5098028 140721770781360 140721770779464 140041531290236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20516864 140721770787665 140721770787925 140721770787925 140721770790854 0 /proc/2798/statm: 28282 363 304 221 0 87 0 [pid=2800] ppid=2798 vsize=28766288 memory=210904 CPUtime=581.56 cores=0-7 /proc/2800/stat : 2800 (java) S 2798 2798 395 0 -1 1077944320 89167 0 0 0 58104 52 0 0 20 0 28 0 510934597 29456678912 52726 33554432000 4194304 4196468 140723414167888 140723414150432 140546500050679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 /proc/2800/statm: 7191572 52726 3536 1 0 7152672 0 [pid=2800/tid=2801] ppid=2798 vsize=28766288 memory=210904 CPUtime=0.9 cores=0-7 /proc/2800/task/2801/stat : 2801 (java) S 2798 2798 395 0 -1 1077944384 10504 0 0 0 85 5 0 0 20 0 28 0 510934597 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546504291456 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2802] ppid=2798 vsize=28766288 memory=210904 CPUtime=0.11 cores=0-7 /proc/2800/task/2802/stat : 2802 (java) S 2798 2798 395 0 -1 1077944384 724 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546452671632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2803] ppid=2798 vsize=28766288 memory=213892 CPUtime=0.1 cores=0-7 /proc/2800/task/2803/stat : 2803 (java) S 2798 2798 395 0 -1 1077944384 802 0 0 0 8 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546451618832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2804] ppid=2798 vsize=28766288 memory=210904 CPUtime=0.11 cores=0-7 /proc/2800/task/2804/stat : 2804 (java) S 2798 2798 395 0 -1 1077944384 508 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546450566032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2805] ppid=2798 vsize=28766288 memory=210904 CPUtime=0.11 cores=0-7 /proc/2800/task/2805/stat : 2805 (java) S 2798 2798 395 0 -1 1077944384 1531 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546449513232 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2806] ppid=2798 vsize=28766288 memory=210904 CPUtime=0.11 cores=0-7 /proc/2800/task/2806/stat : 2806 (java) S 2798 2798 395 0 -1 1077944384 707 0 0 0 9 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546448460432 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2807] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.1 cores=0-7 /proc/2800/task/2807/stat : 2807 (java) S 2798 2798 395 0 -1 1077944384 1775 0 0 0 8 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546447407632 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2808] ppid=2798 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/2800/task/2808/stat : 2808 (java) S 2798 2798 395 0 -1 1077944384 1825 0 0 0 10 2 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546446354832 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2809] ppid=2798 vsize=28766288 memory=3620 CPUtime=0.12 cores=0-7 /proc/2800/task/2809/stat : 2809 (java) S 2798 2798 395 0 -1 1077944384 929 0 0 0 11 1 0 0 20 0 28 0 510934598 29456678912 52726 33554432000 4194304 4196468 140723414167888 140546445302032 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2810] ppid=2798 vsize=28766288 memory=1804 CPUtime=0.05 cores=0-7 /proc/2800/task/2810/stat : 2810 (java) S 2798 2798 395 0 -1 1077944384 2244 0 0 0 5 0 0 0 20 0 28 0 510934599 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544963607408 140546500061826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2811] ppid=2798 vsize=28766288 memory=3620 CPUtime=0 cores=0-7 /proc/2800/task/2811/stat : 2811 (java) S 2798 2798 395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510934600 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544962553440 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2812] ppid=2798 vsize=28766288 memory=1804 CPUtime=0 cores=0-7 /proc/2800/task/2812/stat : 2812 (java) S 2798 2798 395 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510934600 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544961500528 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2813] ppid=2798 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/2800/task/2813/stat : 2813 (java) S 2798 2798 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544960448848 140546500069275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2814] ppid=2798 vsize=28766288 memory=1804 CPUtime=2.33 cores=0-7 /proc/2800/task/2814/stat : 2814 (java) S 2798 2798 395 0 -1 1077944384 15510 0 0 0 228 5 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544959396208 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2815] ppid=2798 vsize=28766288 memory=496 CPUtime=2.18 cores=0-7 /proc/2800/task/2815/stat : 2815 (java) S 2798 2798 395 0 -1 1077944384 13877 0 0 0 214 4 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544958343408 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2816] ppid=2798 vsize=28766288 memory=1564 CPUtime=1.96 cores=0-7 /proc/2800/task/2816/stat : 2816 (java) S 2798 2798 395 0 -1 1077944384 11285 0 0 0 193 3 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544957290608 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2817] ppid=2798 vsize=28766288 memory=1804 CPUtime=0.84 cores=0-7 /proc/2800/task/2817/stat : 2817 (java) S 2798 2798 395 0 -1 1077944384 10740 0 0 0 82 2 0 0 20 0 28 0 510934602 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544956237808 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2818] ppid=2798 vsize=28766288 memory=56380 CPUtime=0 cores=0-7 /proc/2800/task/2818/stat : 2818 (java) S 2798 2798 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510934603 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544955186272 140546500060885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 [pid=2800/tid=2819] ppid=2798 vsize=28766288 memory=1452 CPUtime=0.02 cores=0-7 /proc/2800/task/2819/stat : 2819 (java) S 2798 2798 395 0 -1 1077944384 1108 0 0 0 0 2 0 0 20 0 28 0 510934603 29456678912 52726 33554432000 4194304 4196468 140723414167888 140544954133552 140546500061826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37715968 140723414172630 140723414172806 140723414172806 140723414175695 0 Current children cumulated CPU time: 581.56 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 212356 KiB Child status: 0 Real time (s): 73.7201 CPU time (s): 581.599 CPU user time (s): 581.066 CPU system time (s): 0.532563 CPU usage (%): 788.928 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 282648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 581.066 system time used= 0.532563 maximum resident set size= 281196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90075 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9971 involuntary context switches= 7889 # summary of solver processes directly reported to runsolver: # pid: 2798 # total CPU time (s): 581.599 # total CPU user time (s): 581.066 # total CPU system time (s): 0.532563 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.789692 second user time and 0.737128 second system time The end
Begin job on node126 at 2019-09-24 19:37:10 IDJOB=4407137 IDBENCH=124140 IDSOLVER=2871 FILE ID=node126/4407137-1569346668 RUNJOBID= node126-1569335941-423 PBS_JOBID= 21705059 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-6.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407137-1569346668/watcher-4407137-1569346668 -o /var/tmp/evaluation-result-4407137-1569346668/solver-4407137-1569346668 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407137-1569346668.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=1201978005 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24457892 kB MemAvailable: 31843628 kB Buffers: 93980 kB Cached: 7521908 kB SwapCached: 7648 kB Active: 3798452 kB Inactive: 3828660 kB Active(anon): 4516 kB Inactive(anon): 56920 kB Active(file): 3793936 kB Inactive(file): 3771740 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66997016 kB Dirty: 26136 kB Writeback: 0 kB AnonPages: 113600 kB Mapped: 54456 kB Shmem: 41596 kB Slab: 277116 kB SReclaimable: 248520 kB SUnreclaim: 28596 kB KernelStack: 3392 kB PageTables: 5452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515492 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-24 19:38:24