Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 89 | 550.951 | 69.8527 |
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.90115 |
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-4405037-1569003817.xml" -tl '2016s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4405037-1569003817.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.24/0.83 c solve instance... 318.10/40.51 o 131 318.10/40.56 o 130 318.10/40.58 o 129 318.78/40.63 o 128 318.78/40.68 o 127 319.53/40.76 o 126 319.53/40.80 o 125 332.98/42.45 o 124 435.71/55.33 o 123 441.95/56.15 o 122 451.56/57.37 o 121 453.85/57.67 o 120 488.04/61.93 o 119 510.25/64.76 o 118 511.02/64.81 o 117 530.19/67.30 o 116 546.06/69.27 o 115 546.85/69.35 o 96 550.70/69.82 o 89 550.70/69.83 s OPTIMUM FOUND 550.70/69.83 v <instantiation> 550.70/69.83 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> 550.70/69.83 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 1 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 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 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 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 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 1 0 0 0 1 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 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 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 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 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 1 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 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 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 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 550.70/69.83 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 (12401 MiB free) memory of node 1: 16384 MiB (12757 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405037-1569003817/watcher-4405037-1569003817 -o /var/tmp/evaluation-result-4405037-1569003817/solver-4405037-1569003817 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1637362524 HOME/instance-4405037-1569003817.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30586, runsolver pid=30583 Current StackSize limit: 8192 KiB [startup+0.100147 s]* /proc/loadavg: 7.48 7.95 8.10 2/212 30607 /proc/meminfo: memFree=25744756/32770624 swapFree=66966844/67108860 [pid=30586] ppid=30583 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30586/stat : 30586 (xcsp3-exec) S 30583 30586 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476318138 115843072 364 33554432000 4194304 5098028 140721106298512 140721106296616 140137613734524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11436032 140721106301783 140721106302042 140721106302042 140721106304966 0 /proc/30586/statm: 28282 364 305 221 0 87 0 [pid=30588] ppid=30586 vsize=28227396 memory=30468 CPUtime=0.13 cores=0-7 /proc/30588/stat : 30588 (java) S 30586 30586 23748 0 -1 1077944320 6030 0 0 0 11 2 0 0 20 0 20 0 476318138 28904853504 7617 33554432000 4194304 4196468 140732906626624 140732906609168 140704038907639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 /proc/30588/statm: 7056849 7617 3147 1 0 7019032 0 [pid=30588/tid=30589] ppid=30586 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) R 30586 30586 23748 0 -1 4202560 3932 0 0 0 8 1 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140704043126744 140704038929565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28227396 memory=140424834180736 CPUtime=0 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30593] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30593/stat : 30593 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703586691344 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30594] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30594/stat : 30594 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703585639568 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30595] ppid=30586 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30588/task/30595/stat : 30595 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703584586768 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30596] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30596/stat : 30596 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703583533968 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30597] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30597/stat : 30597 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703582481168 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30598] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30598/stat : 30598 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318141 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703539947888 140704038918786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30599] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30599/stat : 30599 (java) S 30586 30586 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476318141 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703538893856 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30600] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30600/stat : 30600 (java) S 30586 30586 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476318142 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703537841008 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30601] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30601/stat : 30601 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703536789328 140704038926235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30602] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30602/stat : 30602 (java) S 30586 30586 23748 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703535737712 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30603] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30603/stat : 30603 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703534684912 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30604] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30604/stat : 30604 (java) S 30586 30586 23748 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703533632112 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30605] ppid=30586 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30588/task/30605/stat : 30605 (java) R 30586 30586 23748 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703532579312 140704038919574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30606] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30606/stat : 30606 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703464155744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30607] ppid=30586 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30588/task/30607/stat : 30607 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 7617 33554432000 4194304 4196468 140732906626624 140703463103024 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31924 KiB [startup+0.210548 s]* /proc/loadavg: 7.48 7.95 8.10 3/212 30607 /proc/meminfo: memFree=25732136/32770624 swapFree=66966844/67108860 [pid=30586] ppid=30583 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30586/stat : 30586 (xcsp3-exec) S 30583 30586 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476318138 115843072 364 33554432000 4194304 5098028 140721106298512 140721106296616 140137613734524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11436032 140721106301783 140721106302042 140721106302042 140721106304966 0 /proc/30586/statm: 28282 364 305 221 0 87 0 [pid=30588] ppid=30586 vsize=28227396 memory=41456 CPUtime=0.34 cores=0-7 /proc/30588/stat : 30588 (java) S 30586 30586 23748 0 -1 1077944320 9623 0 0 0 30 4 0 0 20 0 20 0 476318138 28904853504 10364 33554432000 4194304 4196468 140732906626624 140732906609168 140704038907639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 /proc/30588/statm: 7056849 10364 3291 1 0 7019032 0 [pid=30588/tid=30589] ppid=30586 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) R 30586 30586 23748 0 -1 4202560 6747 0 0 0 17 3 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140704043139552 140703677008926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28227396 memory=288370800985892480 CPUtime=0 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30593] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30593/stat : 30593 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703586691344 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30594] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30594/stat : 30594 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703585639568 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30595] ppid=30586 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30588/task/30595/stat : 30595 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703584586768 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30596] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30596/stat : 30596 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703583533968 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30597] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30597/stat : 30597 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318139 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703582481168 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30598] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30598/stat : 30598 (java) S 30586 30586 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476318141 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703539947888 140704038918786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30599] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30599/stat : 30599 (java) S 30586 30586 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476318141 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703538893856 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30600] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30600/stat : 30600 (java) S 30586 30586 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476318142 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703537841008 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30601] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30601/stat : 30601 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703536789328 140704038926235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30602] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30602/stat : 30602 (java) S 30586 30586 23748 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703535737712 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30603] ppid=30586 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30588/task/30603/stat : 30603 (java) S 30586 30586 23748 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703534684912 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30604] ppid=30586 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/30588/task/30604/stat : 30604 (java) S 30586 30586 23748 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703533632112 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30605] ppid=30586 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30588/task/30605/stat : 30605 (java) R 30586 30586 23748 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703532579312 140704038919574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30606] ppid=30586 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30606/stat : 30606 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703464155744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30607] ppid=30586 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30588/task/30607/stat : 30607 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318144 28904853504 10364 33554432000 4194304 4196468 140732906626624 140703463103024 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42912 KiB [startup+0.317682 s]* /proc/loadavg: 7.48 7.95 8.10 3/212 30607 /proc/meminfo: memFree=25726648/32770624 swapFree=66966844/67108860 [pid=30586] ppid=30583 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30586/stat : 30586 (xcsp3-exec) S 30583 30586 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476318138 115843072 364 33554432000 4194304 5098028 140721106298512 140721106296616 140137613734524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11436032 140721106301783 140721106302042 140721106302042 140721106304966 0 /proc/30586/statm: 28282 364 305 221 0 87 0 [pid=30588] ppid=30586 vsize=28231652 memory=50488 CPUtime=0.54 cores=0-7 /proc/30588/stat : 30588 (java) S 30586 30586 23748 0 -1 1077944320 10982 0 0 0 50 4 0 0 20 0 20 0 476318138 28909211648 12622 33554432000 4194304 4196468 140732906626624 140732906609168 140704038907639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 /proc/30588/statm: 7057913 12622 3361 1 0 7019032 0 [pid=30588/tid=30589] ppid=30586 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) R 30586 30586 23748 0 -1 4202560 7945 0 0 0 27 3 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140704043143184 140704022988126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30593] ppid=30586 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30593/stat : 30593 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703586691344 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30594] ppid=30586 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30588/task/30594/stat : 30594 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703585639568 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30595] ppid=30586 vsize=28231652 memory=140424694035375 CPUtime=0 cores=0-7 /proc/30588/task/30595/stat : 30595 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703584586768 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30596] ppid=30586 vsize=28231652 memory=140424694037680 CPUtime=0 cores=0-7 /proc/30588/task/30596/stat : 30596 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703583533968 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30597] ppid=30586 vsize=28231652 memory=3472464322875209184 CPUtime=0 cores=0-7 /proc/30588/task/30597/stat : 30597 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318139 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703582481168 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30598] ppid=30586 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30598/stat : 30598 (java) S 30586 30586 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476318141 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703539947888 140704038918786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30599] ppid=30586 vsize=28231652 memory=280849388086928 CPUtime=0 cores=0-7 /proc/30588/task/30599/stat : 30599 (java) S 30586 30586 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476318141 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703538893856 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30600] ppid=30586 vsize=28231652 memory=280849388093840 CPUtime=0 cores=0-7 /proc/30588/task/30600/stat : 30600 (java) S 30586 30586 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476318142 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703537841008 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30601] ppid=30586 vsize=28231652 memory=280849388035088 CPUtime=0 cores=0-7 /proc/30588/task/30601/stat : 30601 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703536789328 140704038926235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30602] ppid=30586 vsize=28231652 memory=280849388107664 CPUtime=0.01 cores=0-7 /proc/30588/task/30602/stat : 30602 (java) S 30586 30586 23748 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703535737712 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30603] ppid=30586 vsize=28231652 memory=280849388114576 CPUtime=0.04 cores=0-7 /proc/30588/task/30603/stat : 30603 (java) S 30586 30586 23748 0 -1 1077944384 405 0 0 0 4 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703534684912 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30604] ppid=30586 vsize=28231652 memory=280849388112272 CPUtime=0.03 cores=0-7 /proc/30588/task/30604/stat : 30604 (java) S 30586 30586 23748 0 -1 1077944384 470 0 0 0 3 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703533632112 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30605] ppid=30586 vsize=28231652 memory=280849388128432 CPUtime=0.12 cores=0-7 /proc/30588/task/30605/stat : 30605 (java) S 30586 30586 23748 0 -1 1077944384 772 0 0 0 12 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703532579312 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30606] ppid=30586 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30606/stat : 30606 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703464155744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30607] ppid=30586 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30588/task/30607/stat : 30607 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318144 28909211648 12622 33554432000 4194304 4196468 140732906626624 140703463103024 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51944 KiB [startup+0.701028 s] /proc/loadavg: 7.48 7.95 8.10 3/212 30607 /proc/meminfo: memFree=25712260/32770624 swapFree=66966844/67108860 [pid=30586] ppid=30583 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30586/stat : 30586 (xcsp3-exec) S 30583 30586 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476318138 115843072 364 33554432000 4194304 5098028 140721106298512 140721106296616 140137613734524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11436032 140721106301783 140721106302042 140721106302042 140721106304966 0 /proc/30586/statm: 28282 364 305 221 0 87 0 [pid=30588] ppid=30586 vsize=28233776 memory=103344 CPUtime=1.79 cores=0-7 /proc/30588/stat : 30588 (java) S 30586 30586 23748 0 -1 1077944320 16107 0 0 0 172 7 0 0 20 0 20 0 476318138 28911386624 25836 33554432000 4194304 4196468 140732906626624 140732906609168 140704038907639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 /proc/30588/statm: 7058444 25836 3465 1 0 7019544 0 [pid=30588/tid=30589] ppid=30586 vsize=28233776 memory=280849388486320 CPUtime=0.68 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) R 30586 30586 23748 0 -1 4202560 9229 0 0 0 63 5 0 0 20 0 20 0 476318139 28911386624 25836 33554432000 4194304 4196468 140732906626624 140704043143376 140703678930090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28233776 memory=140424694244208 CPUtime=0 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28911386624 25836 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476318139 28911386624 25836 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476318139 28911386624 25836 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 ################ # More data... # ################ [pid=30588/tid=30589] ppid=30586 vsize=28766288 memory=712 CPUtime=0.87 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) S 30586 30586 23748 0 -1 1077944384 10280 0 0 0 81 6 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140704043148416 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28766288 memory=6791534058613427641 CPUtime=0.13 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 400 0 0 0 9 4 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28766288 memory=223152 CPUtime=0.12 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 439 0 0 0 8 4 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28766288 memory=1056 CPUtime=0.13 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1553 0 0 0 9 4 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30593] ppid=30586 vsize=28766288 memory=3616 CPUtime=0.13 cores=0-7 /proc/30588/task/30593/stat : 30593 (java) S 30586 30586 23748 0 -1 1077944384 2309 0 0 0 10 3 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703586691344 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30594] ppid=30586 vsize=28766288 memory=1552 CPUtime=0.12 cores=0-7 /proc/30588/task/30594/stat : 30594 (java) S 30586 30586 23748 0 -1 1077944384 766 0 0 0 9 3 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703585639568 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30595] ppid=30586 vsize=28766288 memory=1708 CPUtime=0.09 cores=0-7 /proc/30588/task/30595/stat : 30595 (java) S 30586 30586 23748 0 -1 1077944384 2581 0 0 0 7 2 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703584586768 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30596] ppid=30586 vsize=28766288 memory=1196 CPUtime=0.12 cores=0-7 /proc/30588/task/30596/stat : 30596 (java) S 30586 30586 23748 0 -1 1077944384 876 0 0 0 10 2 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703583533968 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30597] ppid=30586 vsize=28766288 memory=288230574492221466 CPUtime=0.09 cores=0-7 /proc/30588/task/30597/stat : 30597 (java) S 30586 30586 23748 0 -1 1077944384 638 0 0 0 7 2 0 0 20 0 28 0 476318139 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703582481168 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30598] ppid=30586 vsize=28766288 memory=288230617509003574 CPUtime=0.05 cores=0-7 /proc/30588/task/30598/stat : 30598 (java) S 30586 30586 23748 0 -1 1077944384 2788 0 0 0 4 1 0 0 20 0 28 0 476318141 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703539947888 140704038918786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30599] ppid=30586 vsize=28766288 memory=14408211662899591 CPUtime=0 cores=0-7 /proc/30588/task/30599/stat : 30599 (java) S 30586 30586 23748 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476318141 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703538893920 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30600] ppid=30586 vsize=28766288 memory=1804 CPUtime=0 cores=0-7 /proc/30588/task/30600/stat : 30600 (java) S 30586 30586 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476318142 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703537841008 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30601] ppid=30586 vsize=28766288 memory=55132 CPUtime=0 cores=0-7 /proc/30588/task/30601/stat : 30601 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703536789328 140704038926235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30602] ppid=30586 vsize=28766288 memory=988 CPUtime=2.13 cores=0-7 /proc/30588/task/30602/stat : 30602 (java) S 30586 30586 23748 0 -1 1077944384 12992 0 0 0 210 3 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703535737712 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30603] ppid=30586 vsize=28766288 memory=2020 CPUtime=2 cores=0-7 /proc/30588/task/30603/stat : 30603 (java) S 30586 30586 23748 0 -1 1077944384 13629 0 0 0 196 4 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703534684912 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30604] ppid=30586 vsize=28766288 memory=1432 CPUtime=1.89 cores=0-7 /proc/30588/task/30604/stat : 30604 (java) S 30586 30586 23748 0 -1 1077944384 12955 0 0 0 186 3 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703533632112 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30605] ppid=30586 vsize=28766288 memory=776 CPUtime=0.87 cores=0-7 /proc/30588/task/30605/stat : 30605 (java) S 30586 30586 23748 0 -1 1077944384 11158 0 0 0 85 2 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703532579312 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30606] ppid=30586 vsize=28766288 memory=1056 CPUtime=0 cores=0-7 /proc/30588/task/30606/stat : 30606 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703464155744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30607] ppid=30586 vsize=28766288 memory=1456 CPUtime=0.02 cores=0-7 /proc/30588/task/30607/stat : 30607 (java) S 30586 30586 23748 0 -1 1077944384 723 0 0 0 0 2 0 0 20 0 28 0 476318144 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703463103024 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30741] ppid=30586 vsize=28766288 memory=1456 CPUtime=1.65 cores=0-7 /proc/30588/task/30741/stat : 30741 (java) R 30586 30586 23748 0 -1 4202560 54 0 0 0 165 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703449909864 140703682359955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30742] ppid=30586 vsize=28766288 memory=1456 CPUtime=1.67 cores=0-7 /proc/30588/task/30742/stat : 30742 (java) R 30586 30586 23748 0 -1 4202560 25 0 0 0 167 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703454121560 140703682359453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30743] ppid=30586 vsize=28766288 memory=228288 CPUtime=1.67 cores=0-7 /proc/30588/task/30743/stat : 30743 (java) R 30586 30586 23748 0 -1 4202560 25 0 0 0 167 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140702660772312 140703682374725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30744] ppid=30586 vsize=28766288 memory=14080 CPUtime=1.68 cores=0-7 /proc/30588/task/30744/stat : 30744 (java) R 30586 30586 23748 0 -1 4202560 97 0 0 0 168 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703450964000 140703679926992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30745] ppid=30586 vsize=28766288 memory=1456 CPUtime=1.69 cores=0-7 /proc/30588/task/30745/stat : 30745 (java) R 30586 30586 23748 0 -1 4202560 21 0 0 0 169 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703453069392 140703682298883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30746] ppid=30586 vsize=28766288 memory=236692 CPUtime=1.69 cores=0-7 /proc/30588/task/30746/stat : 30746 (java) R 30586 30586 23748 0 -1 4202560 18 0 0 0 169 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703452016464 140703682359453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30747] ppid=30586 vsize=28766288 memory=508 CPUtime=1.62 cores=0-7 /proc/30588/task/30747/stat : 30747 (java) R 30586 30586 23748 0 -1 4202560 41 0 0 0 162 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140703448858176 140703682359453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30748] ppid=30586 vsize=28766288 memory=1560 CPUtime=1.68 cores=0-7 /proc/30588/task/30748/stat : 30748 (java) R 30586 30586 23748 0 -1 4202560 45 0 0 0 168 0 0 0 20 0 28 0 476324869 29456678912 55035 33554432000 4194304 4196468 140732906626624 140702591733544 140703682374704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 Current children cumulated CPU time: 544.39 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 221596 KiB [startup+69.4017 s] /proc/loadavg: 7.94 8.00 8.11 12/220 30748 /proc/meminfo: memFree=25557668/32770624 swapFree=66966844/67108860 [pid=30586] ppid=30583 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30586/stat : 30586 (xcsp3-exec) S 30583 30586 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476318138 115843072 364 33554432000 4194304 5098028 140721106298512 140721106296616 140137613734524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11436032 140721106301783 140721106302042 140721106302042 140721106304966 0 /proc/30586/statm: 28282 364 305 221 0 87 0 [pid=30588] ppid=30586 vsize=28766288 memory=220448 CPUtime=547.51 cores=0-7 /proc/30588/stat : 30588 (java) S 30586 30586 23748 0 -1 1077944320 91561 0 0 0 54687 64 0 0 20 0 28 0 476318138 29456678912 55112 33554432000 4194304 4196468 140732906626624 140732906609168 140704038907639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 /proc/30588/statm: 7191572 55112 3536 1 0 7152672 0 [pid=30588/tid=30589] ppid=30586 vsize=28766288 memory=1552 CPUtime=0.87 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) S 30586 30586 23748 0 -1 1077944384 10295 0 0 0 81 6 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140704043148416 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28766288 memory=1708 CPUtime=0.13 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 400 0 0 0 9 4 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28766288 memory=1196 CPUtime=0.12 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 439 0 0 0 8 4 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28766288 memory=1044 CPUtime=0.13 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1553 0 0 0 9 4 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30593] ppid=30586 vsize=28766288 memory=712 CPUtime=0.13 cores=0-7 /proc/30588/task/30593/stat : 30593 (java) S 30586 30586 23748 0 -1 1077944384 2309 0 0 0 10 3 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703586691344 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30594] ppid=30586 vsize=28766288 memory=2832 CPUtime=0.12 cores=0-7 /proc/30588/task/30594/stat : 30594 (java) S 30586 30586 23748 0 -1 1077944384 766 0 0 0 9 3 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703585639568 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30595] ppid=30586 vsize=28766288 memory=7556 CPUtime=0.09 cores=0-7 /proc/30588/task/30595/stat : 30595 (java) S 30586 30586 23748 0 -1 1077944384 2581 0 0 0 7 2 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703584586768 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30596] ppid=30586 vsize=28766288 memory=10492 CPUtime=0.12 cores=0-7 /proc/30588/task/30596/stat : 30596 (java) S 30586 30586 23748 0 -1 1077944384 876 0 0 0 10 2 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703583533968 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30597] ppid=30586 vsize=28766288 memory=13996 CPUtime=0.09 cores=0-7 /proc/30588/task/30597/stat : 30597 (java) S 30586 30586 23748 0 -1 1077944384 638 0 0 0 7 2 0 0 20 0 28 0 476318139 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703582481168 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30598] ppid=30586 vsize=28766288 memory=14080 CPUtime=0.05 cores=0-7 /proc/30588/task/30598/stat : 30598 (java) S 30586 30586 23748 0 -1 1077944384 2790 0 0 0 4 1 0 0 20 0 28 0 476318141 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703539947888 140704038918786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30599] ppid=30586 vsize=28766288 memory=30544 CPUtime=0 cores=0-7 /proc/30588/task/30599/stat : 30599 (java) S 30586 30586 23748 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476318141 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703538893920 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30600] ppid=30586 vsize=28766288 memory=2120 CPUtime=0 cores=0-7 /proc/30588/task/30600/stat : 30600 (java) S 30586 30586 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476318142 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703537841008 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30601] ppid=30586 vsize=28766288 memory=508 CPUtime=0 cores=0-7 /proc/30588/task/30601/stat : 30601 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703536789328 140704038926235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30602] ppid=30586 vsize=28766288 memory=1560 CPUtime=2.18 cores=0-7 /proc/30588/task/30602/stat : 30602 (java) S 30586 30586 23748 0 -1 1077944384 13675 0 0 0 215 3 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703535737712 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30603] ppid=30586 vsize=28766288 memory=932 CPUtime=2.09 cores=0-7 /proc/30588/task/30603/stat : 30603 (java) R 30586 30586 23748 0 -1 1077944384 14126 0 0 0 205 4 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703534684912 140704038918786 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30604] ppid=30586 vsize=28766288 memory=1568 CPUtime=1.97 cores=0-7 /proc/30588/task/30604/stat : 30604 (java) S 30586 30586 23748 0 -1 1077944384 13632 0 0 0 194 3 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703533632112 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30605] ppid=30586 vsize=28766288 memory=1444 CPUtime=0.88 cores=0-7 /proc/30588/task/30605/stat : 30605 (java) R 30586 30586 23748 0 -1 4202560 11189 0 0 0 86 2 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703532579312 140704018346452 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30606] ppid=30586 vsize=28766288 memory=864 CPUtime=0 cores=0-7 /proc/30588/task/30606/stat : 30606 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703464155744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30607] ppid=30586 vsize=28766288 memory=1976 CPUtime=0.02 cores=0-7 /proc/30588/task/30607/stat : 30607 (java) S 30586 30586 23748 0 -1 1077944384 723 0 0 0 0 2 0 0 20 0 28 0 476318144 29456678912 55112 33554432000 4194304 4196468 140732906626624 140703463103024 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 Current children cumulated CPU time: 547.51 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 221904 KiB [startup+69.8017 s] /proc/loadavg: 7.94 8.00 8.11 12/220 30748 /proc/meminfo: memFree=25557668/32770624 swapFree=66966844/67108860 [pid=30586] ppid=30583 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30586/stat : 30586 (xcsp3-exec) S 30583 30586 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476318138 115843072 364 33554432000 4194304 5098028 140721106298512 140721106296616 140137613734524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11436032 140721106301783 140721106302042 140721106302042 140721106304966 0 /proc/30586/statm: 28282 364 305 221 0 87 0 [pid=30588] ppid=30586 vsize=28766288 memory=220452 CPUtime=550.7 cores=0-7 /proc/30588/stat : 30588 (java) S 30586 30586 23748 0 -1 1077944320 91731 0 0 0 55006 64 0 0 20 0 28 0 476318138 29456678912 55113 33554432000 4194304 4196468 140732906626624 140732906609168 140704038907639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 /proc/30588/statm: 7191572 55113 3537 1 0 7152672 0 [pid=30588/tid=30589] ppid=30586 vsize=28766288 memory=-8961168018402230209 CPUtime=0.87 cores=0-7 /proc/30588/task/30589/stat : 30589 (java) S 30586 30586 23748 0 -1 1077944384 10295 0 0 0 81 6 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140704043148416 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30590] ppid=30586 vsize=28766288 memory=-8253362762722141311 CPUtime=0.13 cores=0-7 /proc/30588/task/30590/stat : 30590 (java) S 30586 30586 23748 0 -1 1077944384 400 0 0 0 9 4 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703589849744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30591] ppid=30586 vsize=28766288 memory=7100839861465685612 CPUtime=0.12 cores=0-7 /proc/30588/task/30591/stat : 30591 (java) S 30586 30586 23748 0 -1 1077944384 439 0 0 0 8 4 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703588796944 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30592] ppid=30586 vsize=28766288 memory=7596846246891906152 CPUtime=0.13 cores=0-7 /proc/30588/task/30592/stat : 30592 (java) S 30586 30586 23748 0 -1 1077944384 1553 0 0 0 9 4 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703587744144 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30593] ppid=30586 vsize=28766288 memory=5861540925174279017 CPUtime=0.13 cores=0-7 /proc/30588/task/30593/stat : 30593 (java) S 30586 30586 23748 0 -1 1077944384 2309 0 0 0 10 3 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703586691344 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30594] ppid=30586 vsize=28766288 memory=220076 CPUtime=0.12 cores=0-7 /proc/30588/task/30594/stat : 30594 (java) S 30586 30586 23748 0 -1 1077944384 766 0 0 0 9 3 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703585639568 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30595] ppid=30586 vsize=28766288 memory=3472468720921661532 CPUtime=0.09 cores=0-7 /proc/30588/task/30595/stat : 30595 (java) S 30586 30586 23748 0 -1 1077944384 2581 0 0 0 7 2 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703584586768 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30596] ppid=30586 vsize=28766288 memory=3184238344769949888 CPUtime=0.12 cores=0-7 /proc/30588/task/30596/stat : 30596 (java) S 30586 30586 23748 0 -1 1077944384 876 0 0 0 10 2 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703583533968 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30597] ppid=30586 vsize=28766288 memory=3471342821014819136 CPUtime=0.09 cores=0-7 /proc/30588/task/30597/stat : 30597 (java) S 30586 30586 23748 0 -1 1077944384 638 0 0 0 7 2 0 0 20 0 28 0 476318139 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703582481168 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30598] ppid=30586 vsize=28766288 memory=3472468720922511328 CPUtime=0.05 cores=0-7 /proc/30588/task/30598/stat : 30598 (java) S 30586 30586 23748 0 -1 1077944384 2790 0 0 0 4 1 0 0 20 0 28 0 476318141 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703539947888 140704038918786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30599] ppid=30586 vsize=28766288 memory=3472468720854552928 CPUtime=0 cores=0-7 /proc/30588/task/30599/stat : 30599 (java) S 30586 30586 23748 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476318141 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703538893920 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30600] ppid=30586 vsize=28766288 memory=3472468720922249344 CPUtime=0 cores=0-7 /proc/30588/task/30600/stat : 30600 (java) S 30586 30586 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476318142 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703537841008 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30601] ppid=30586 vsize=28766288 memory=3471342821015668960 CPUtime=0 cores=0-7 /proc/30588/task/30601/stat : 30601 (java) S 30586 30586 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703536789328 140704038926235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30602] ppid=30586 vsize=28766288 memory=1456 CPUtime=2.2 cores=0-7 /proc/30588/task/30602/stat : 30602 (java) R 30586 30586 23748 0 -1 4202560 13688 0 0 0 217 3 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703535738008 140704022814253 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30603] ppid=30586 vsize=28766288 memory=3616 CPUtime=2.15 cores=0-7 /proc/30588/task/30603/stat : 30603 (java) R 30586 30586 23748 0 -1 1077944384 14278 0 0 0 211 4 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703534684912 140704038918786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30604] ppid=30586 vsize=28766288 memory=1552 CPUtime=1.98 cores=0-7 /proc/30588/task/30604/stat : 30604 (java) R 30586 30586 23748 0 -1 4202560 13633 0 0 0 195 3 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703533632112 140704022382833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30605] ppid=30586 vsize=28766288 memory=1708 CPUtime=0.88 cores=0-7 /proc/30588/task/30605/stat : 30605 (java) S 30586 30586 23748 0 -1 1077944384 11189 0 0 0 86 2 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703532579312 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30606] ppid=30586 vsize=28766288 memory=1196 CPUtime=0 cores=0-7 /proc/30588/task/30606/stat : 30606 (java) S 30586 30586 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703464155744 140704038917845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 [pid=30588/tid=30607] ppid=30586 vsize=28766288 memory=1044 CPUtime=0.02 cores=0-7 /proc/30588/task/30607/stat : 30607 (java) S 30586 30586 23748 0 -1 1077944384 723 0 0 0 0 2 0 0 20 0 28 0 476318144 29456678912 55113 33554432000 4194304 4196468 140732906626624 140703463103024 140704038918786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17297408 140732906632156 140732906632331 140732906632331 140732906635215 0 Current children cumulated CPU time: 550.7 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 221908 KiB Child status: 0 Real time (s): 69.8527 CPU time (s): 550.951 CPU user time (s): 550.301 CPU system time (s): 0.649714 CPU usage (%): 788.732 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 273184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 550.301 system time used= 0.649714 maximum resident set size= 277872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92687 page faults= 0 swaps= 0 block input operations= 0 block output operations= 288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9340 involuntary context switches= 7551 # summary of solver processes directly reported to runsolver: # pid: 30586 # total CPU time (s): 550.951 # total CPU user time (s): 550.301 # total CPU system time (s): 0.649714 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.7502 second user time and 0.696264 second system time The end
Begin job on node145 at 2019-09-20 20:22:55 IDJOB=4405037 IDBENCH=124140 IDSOLVER=2866 FILE ID=node145/4405037-1569003817 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 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-4405037-1569003817/watcher-4405037-1569003817 -o /var/tmp/evaluation-result-4405037-1569003817/solver-4405037-1569003817 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1637362524 HOME/instance-4405037-1569003817.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=1637362524 node145.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.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25762360 kB MemAvailable: 31816860 kB Buffers: 96628 kB Cached: 6119780 kB SwapCached: 32484 kB Active: 3019620 kB Inactive: 3232460 kB Active(anon): 5228 kB Inactive(anon): 79836 kB Active(file): 3014392 kB Inactive(file): 3152624 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26528 kB Writeback: 0 kB AnonPages: 114336 kB Mapped: 51132 kB Shmem: 40640 kB Slab: 344372 kB SReclaimable: 315944 kB SUnreclaim: 28428 kB KernelStack: 3664 kB PageTables: 5580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506808 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: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 20:24:05