Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 | OPT | 102 | 229.477 | 57.9989 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml |
| MD5SUM | f7684c3e1f9d094a59a7b3edf9b14040 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 7.94325 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2856 |
| Number of constraints | 158 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2856}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2720 |
| Distribution of constraint arities | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"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":156}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399220-1568695237.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399220-1568695237.xml, -tl, 2520s, -p, 4] 0.35/0.22 c 4 solvers in parallel 0.35/0.29 c parse instance... 1.70/0.74 c solve instance... 204.45/51.74 o 104 209.64/53.04 o 103 216.77/54.82 o 102 229.10/57.99 s OPTIMUM FOUND 229.10/57.99 v <instantiation> 229.10/57.99 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] p[132] p[133] p[134] p[135] 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] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] </list> 229.10/57.99 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 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 2 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 229.10/57.99 v </instantiation>
OK 102
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 (14901 MiB free)
memory of node 1: 16384 MiB (12758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399220-1568695237/watcher-4399220-1568695237 -o /tmp/evaluation-result-4399220-1568695237/solver-4399220-1568695237 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 229232709 HOME/instance-4399220-1568695237.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21455, runsolver pid=21452
[startup+0.100078 s]*
/proc/loadavg: 8.41 8.28 5.98 7/234 21471
/proc/meminfo: memFree=28307484/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15144776 memory=29352 CPUtime=0.13 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 5810 0 0 0 12 1 0 0 20 0 15 0 445461541 15508250624 7338 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3786194 7338 3121 1 0 3748377 0
[pid=21457/tid=21458] ppid=21455 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) R 21455 21455 19836 0 -1 4202560 3726 0 0 0 9 0 0 0 20 0 15 0 445461541 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665837151552 140665832940701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15144776 memory=139894804477568 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15144776 memory=139894804477568 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461543 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461544 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665300452512 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461544 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665299399408 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) S 21455 21455 19836 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665297296112 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) S 21455 21455 19836 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665296243568 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15144776 memory=139894804477568 CPUtime=0.02 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) R 21455 21455 19836 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 445461547 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665295190512 140665832940122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15144776 memory=139894804477568 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 7338 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30800 KiB
[startup+0.211427 s]*
/proc/loadavg: 8.41 8.28 5.98 7/234 21471
/proc/meminfo: memFree=28296204/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15144776 memory=40276 CPUtime=0.35 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 9297 0 0 0 32 3 0 0 20 0 15 0 445461541 15508250624 10069 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3786194 10069 3300 1 0 3748377 0
[pid=21457/tid=21458] ppid=21455 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) R 21455 21455 19836 0 -1 4202560 6579 0 0 0 18 2 0 0 20 0 15 0 445461541 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665837151504 140665832930710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15144776 memory=4049780004004066976 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15144776 memory=139894804477568 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445461543 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461544 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665300452512 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461544 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665299399408 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) S 21455 21455 19836 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 15 0 445461547 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665297296112 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) S 21455 21455 19836 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 445461547 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665296243568 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15144776 memory=139894804477568 CPUtime=0.07 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) R 21455 21455 19836 0 -1 4202560 780 0 0 0 7 0 0 0 20 0 15 0 445461547 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665295190512 140665825155902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461547 15508250624 10069 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41724 KiB
[startup+0.310945 s]*
/proc/loadavg: 8.41 8.28 5.98 7/234 21471
/proc/meminfo: memFree=28290320/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15149032 memory=49392 CPUtime=0.53 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 10710 0 0 0 50 3 0 0 20 0 15 0 445461541 15512608768 12348 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3787258 12348 3351 1 0 3748377 0
[pid=21457/tid=21458] ppid=21455 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) R 21455 21455 19836 0 -1 4202560 7691 0 0 0 28 2 0 0 20 0 15 0 445461541 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665837154816 140665832940701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445461543 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461544 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665300452512 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461544 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665299399408 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) R 21455 21455 19836 0 -1 4202560 526 0 0 0 5 0 0 0 20 0 15 0 445461547 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665297296208 140665818948743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) S 21455 21455 19836 0 -1 1077944384 252 0 0 0 3 0 0 0 20 0 15 0 445461547 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665296243568 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) S 21455 21455 19836 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 15 0 445461547 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665295190512 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461547 15512608768 12348 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50840 KiB
[startup+0.708235 s]
/proc/loadavg: 8.14 8.23 5.97 8/234 21471
/proc/meminfo: memFree=28274500/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15151156 memory=91608 CPUtime=1.7 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 14027 0 0 0 164 6 0 0 20 0 15 0 445461541 15514783744 22902 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3787789 22902 3463 1 0 3748889 0
[pid=21457/tid=21458] ppid=21455 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) R 21455 21455 19836 0 -1 4202560 9224 0 0 0 65 3 0 0 20 0 15 0 445461541 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665837157248 140665431709696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15151156 memory=32660 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461542 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15151156 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461542 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15151156 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445461543 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15151156 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461544 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665300452512 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15151156 memory=588 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461544 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665299399408 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15151156 memory=1056 CPUtime=0.29 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) R 21455 21455 19836 0 -1 4202560 938 0 0 0 29 0 0 0 20 0 15 0 445461547 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665297282680 140665817827963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15151156 memory=11620 CPUtime=0.28 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) R 21455 21455 19836 0 -1 4202560 790 0 0 0 28 0 0 0 20 0 15 0 445461547 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665296232272 140665816305312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15151156 memory=3992 CPUtime=0.41 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) S 21455 21455 19836 0 -1 1077944384 1768 0 0 0 40 1 0 0 20 0 15 0 445461547 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665295190512 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461547 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461547 15514783744 22902 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93056 KiB
[startup+1.50124 s]
/proc/loadavg: 8.14 8.23 5.97 7/238 21475
/proc/meminfo: memFree=28213512/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 699 0 0 0 0 2 0 0 20 0 19 0 445461547 15787429888 53828 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21494] ppid=21455 vsize=15417412 memory=1492 CPUtime=1.93 cores=0,2,4,6
/proc/21457/task/21494/stat : 21494 (java) R 21455 21455 19836 0 -1 4202560 203 0 0 0 193 0 0 0 20 0 19 0 445467024 15787429888 53828 33554432000 4194304 4196468 140730929293472 140665282814200 140665436343358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21495] ppid=21455 vsize=15417412 memory=13412 CPUtime=1.96 cores=0,2,4,6
/proc/21457/task/21495/stat : 21495 (java) R 21455 21455 19836 0 -1 4202560 341 0 0 0 196 0 0 0 20 0 19 0 445467024 15787429888 53828 33554432000 4194304 4196468 140730929293472 140665283868904 140665437291562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21496] ppid=21455 vsize=15417412 memory=1448 CPUtime=1.96 cores=0,2,4,6
/proc/21457/task/21496/stat : 21496 (java) R 21455 21455 19836 0 -1 4202560 75 0 0 0 196 0 0 0 20 0 19 0 445467024 15787429888 53828 33554432000 4194304 4196468 140730929293472 140665280709744 140665438269680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21497] ppid=21455 vsize=15417412 memory=214872 CPUtime=1.85 cores=0,2,4,6
/proc/21457/task/21497/stat : 21497 (java) R 21455 21455 19836 0 -1 4202560 163 0 0 0 185 0 0 0 20 0 19 0 445467024 15787429888 53828 33554432000 4194304 4196468 140730929293472 140665281762248 140665436831971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 224.72 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216760 KiB
[startup+57.6012 s]
/proc/loadavg: 8.61 8.36 6.14 10/238 21497
/proc/meminfo: memFree=28313520/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15417412 memory=215332 CPUtime=227.9 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 52742 0 0 0 22770 20 0 0 20 0 19 0 445461541 15787429888 53833 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3854353 53833 3534 1 0 3815453 0
[pid=21457/tid=21458] ppid=21455 vsize=15417412 memory=2768 CPUtime=0.74 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) S 21455 21455 19836 0 -1 1077944384 9495 0 0 0 71 3 0 0 20 0 19 0 445461541 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665837159552 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15417412 memory=2596 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 960 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15417412 memory=1412 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 1185 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15417412 memory=3268 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1770 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15417412 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 1006 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15417412 memory=214832 CPUtime=0.03 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 1239 0 0 0 3 0 0 0 20 0 19 0 445461543 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445461544 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665300452576 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15417412 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 445461544 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665299399424 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15417412 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445461547 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15417412 memory=3992 CPUtime=1.99 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) S 21455 21455 19836 0 -1 1077944384 11843 0 0 0 198 1 0 0 20 0 19 0 445461547 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665297296112 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15417412 memory=11620 CPUtime=2.03 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) S 21455 21455 19836 0 -1 1077944384 10124 0 0 0 202 1 0 0 20 0 19 0 445461547 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665296243568 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15417412 memory=3992 CPUtime=0.78 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) S 21455 21455 19836 0 -1 1077944384 7562 0 0 0 77 1 0 0 20 0 19 0 445461547 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665295190512 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445461547 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15417412 memory=1000 CPUtime=0.02 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 699 0 0 0 0 2 0 0 20 0 19 0 445461547 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21494] ppid=21455 vsize=15417412 memory=1560 CPUtime=2.72 cores=0,2,4,6
/proc/21457/task/21494/stat : 21494 (java) R 21455 21455 19836 0 -1 4202560 203 0 0 0 272 0 0 0 20 0 19 0 445467024 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665282813288 140665436831995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21495] ppid=21455 vsize=15417412 memory=1172 CPUtime=2.75 cores=0,2,4,6
/proc/21457/task/21495/stat : 21495 (java) R 21455 21455 19836 0 -1 4202560 346 0 0 0 275 0 0 0 20 0 19 0 445467024 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665283868504 140665436343353 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21496] ppid=21455 vsize=15417412 memory=288285352555446555 CPUtime=2.76 cores=0,2,4,6
/proc/21457/task/21496/stat : 21496 (java) R 21455 21455 19836 0 -1 4202560 75 0 0 0 276 0 0 0 20 0 19 0 445467024 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665280708808 140665438269823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21497] ppid=21455 vsize=15417412 memory=288292160212829361 CPUtime=2.63 cores=0,2,4,6
/proc/21457/task/21497/stat : 21497 (java) R 21455 21455 19836 0 -1 4202560 199 0 0 0 263 0 0 0 20 0 19 0 445467024 15787429888 53833 33554432000 4194304 4196468 140730929293472 140665281760936 140665436343332 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 227.9 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216780 KiB
[startup+57.8009 s]
/proc/loadavg: 8.61 8.36 6.14 10/238 21497
/proc/meminfo: memFree=28313520/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15417412 memory=215348 CPUtime=228.7 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 52910 0 0 0 22850 20 0 0 20 0 19 0 445461541 15787429888 53837 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3854353 53837 3534 1 0 3815453 0
[pid=21457/tid=21458] ppid=21455 vsize=15417412 memory=6656426216303648864 CPUtime=0.74 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) S 21455 21455 19836 0 -1 1077944384 9495 0 0 0 71 3 0 0 20 0 19 0 445461541 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665837159552 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15417412 memory=4206186544037388384 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 960 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15417412 memory=279789337231776 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 1185 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15417412 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1770 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15417412 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 1006 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15417412 memory=139894804478705 CPUtime=0.03 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 1239 0 0 0 3 0 0 0 20 0 19 0 445461543 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15417412 memory=7379801582107782505 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445461544 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665300452576 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15417412 memory=7661309501218056550 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 445461544 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665299399424 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15417412 memory=7661304007971465574 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15417412 memory=4872558044660077418 CPUtime=2.02 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) S 21455 21455 19836 0 -1 1077944384 12009 0 0 0 201 1 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665297296112 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15417412 memory=1560 CPUtime=2.03 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) S 21455 21455 19836 0 -1 1077944384 10124 0 0 0 202 1 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665296243568 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15417412 memory=932 CPUtime=0.78 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) S 21455 21455 19836 0 -1 1077944384 7562 0 0 0 77 1 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665295190512 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15417412 memory=1492 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15417412 memory=876 CPUtime=0.02 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 699 0 0 0 0 2 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21494] ppid=21455 vsize=15417412 memory=1448 CPUtime=2.92 cores=0,2,4,6
/proc/21457/task/21494/stat : 21494 (java) R 21455 21455 19836 0 -1 4202560 203 0 0 0 292 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665282813288 140665436021805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21495] ppid=21455 vsize=15417412 memory=1980 CPUtime=2.95 cores=0,2,4,6
/proc/21457/task/21495/stat : 21495 (java) R 21455 21455 19836 0 -1 4202560 346 0 0 0 295 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665283868504 140665437291582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21496] ppid=21455 vsize=15417412 memory=1448 CPUtime=2.96 cores=0,2,4,6
/proc/21457/task/21496/stat : 21496 (java) R 21455 21455 19836 0 -1 4202560 75 0 0 0 296 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665280708808 140665438269796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21497] ppid=21455 vsize=15417412 memory=214872 CPUtime=2.8 cores=0,2,4,6
/proc/21457/task/21497/stat : 21497 (java) R 21455 21455 19836 0 -1 4202560 201 0 0 0 280 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665281760888 140665436654697 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 228.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216796 KiB
[startup+57.9012 s]
/proc/loadavg: 8.61 8.36 6.14 10/238 21497
/proc/meminfo: memFree=28313520/32770624 swapFree=66922404/67108860
[pid=21455] ppid=21452 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21455/stat : 21455 (xcsp3-exec) S 21452 21455 19836 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445461541 115843072 362 33554432000 4194304 5098028 140732546338576 140732546336680 139898926064252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35971072 140732546339707 140732546339949 140732546339949 140732546342858 0
/proc/21455/statm: 28282 362 304 221 0 87 0
[pid=21457] ppid=21455 vsize=15417412 memory=215348 CPUtime=229.1 cores=0,2,4,6
/proc/21457/stat : 21457 (java) S 21455 21455 19836 0 -1 1077944320 52927 0 0 0 22890 20 0 0 20 0 19 0 445461541 15787429888 53837 33554432000 4194304 4196468 140730929293472 140730929276016 140665832918775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
/proc/21457/statm: 3854353 53837 3534 1 0 3815453 0
[pid=21457/tid=21458] ppid=21455 vsize=15417412 memory=215332 CPUtime=0.74 cores=0,2,4,6
/proc/21457/task/21458/stat : 21458 (java) S 21455 21455 19836 0 -1 1077944384 9495 0 0 0 71 3 0 0 20 0 19 0 445461541 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665837159552 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21459] ppid=21455 vsize=15417412 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21459/stat : 21459 (java) S 21455 21455 19836 0 -1 1077944384 960 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665760959504 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21460] ppid=21455 vsize=15417412 memory=215320 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21460/stat : 21460 (java) S 21455 21455 19836 0 -1 1077944384 1185 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665759906960 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21461] ppid=21455 vsize=15417412 memory=57 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21461/stat : 21461 (java) S 21455 21455 19836 0 -1 1077944384 1770 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665758853904 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21462] ppid=21455 vsize=15417412 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/21457/task/21462/stat : 21462 (java) S 21455 21455 19836 0 -1 1077944384 1006 0 0 0 6 2 0 0 20 0 19 0 445461542 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665757801360 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21463] ppid=21455 vsize=15417412 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/21457/task/21463/stat : 21463 (java) S 21455 21455 19836 0 -1 1077944384 1239 0 0 0 3 0 0 0 20 0 19 0 445461543 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665301506288 140665832929922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21464] ppid=21455 vsize=15417412 memory=214804 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21464/stat : 21464 (java) S 21455 21455 19836 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445461544 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665300452576 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21465] ppid=21455 vsize=15417412 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21465/stat : 21465 (java) S 21455 21455 19836 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 445461544 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665299399424 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21466] ppid=21455 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21466/stat : 21466 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665298347984 140665832937371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21467] ppid=21455 vsize=15417412 memory=3616 CPUtime=2.02 cores=0,2,4,6
/proc/21457/task/21467/stat : 21467 (java) S 21455 21455 19836 0 -1 1077944384 12009 0 0 0 201 1 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665297296112 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21468] ppid=21455 vsize=15417412 memory=32664 CPUtime=2.03 cores=0,2,4,6
/proc/21457/task/21468/stat : 21468 (java) S 21455 21455 19836 0 -1 1077944384 10124 0 0 0 202 1 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665296243568 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21469] ppid=21455 vsize=15417412 memory=988 CPUtime=0.78 cores=0,2,4,6
/proc/21457/task/21469/stat : 21469 (java) S 21455 21455 19836 0 -1 1077944384 7562 0 0 0 77 1 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665295190512 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21470] ppid=21455 vsize=15417412 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/21457/task/21470/stat : 21470 (java) S 21455 21455 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665294138208 140665832928981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21471] ppid=21455 vsize=15417412 memory=1324 CPUtime=0.02 cores=0,2,4,6
/proc/21457/task/21471/stat : 21471 (java) S 21455 21455 19836 0 -1 1077944384 699 0 0 0 0 2 0 0 20 0 19 0 445461547 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665293085232 140665832929922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21494] ppid=21455 vsize=15417412 memory=5972 CPUtime=3.02 cores=0,2,4,6
/proc/21457/task/21494/stat : 21494 (java) R 21455 21455 19836 0 -1 4202560 206 0 0 0 302 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665282813136 140665436343379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21495] ppid=21455 vsize=15417412 memory=588 CPUtime=3.05 cores=0,2,4,6
/proc/21457/task/21495/stat : 21495 (java) R 21455 21455 19836 0 -1 4202560 349 0 0 0 305 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665283866696 140665436343393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21496] ppid=21455 vsize=15417412 memory=780 CPUtime=3.06 cores=0,2,4,6
/proc/21457/task/21496/stat : 21496 (java) R 21455 21455 19836 0 -1 4202560 79 0 0 0 306 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665280708824 140665437291562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
[pid=21457/tid=21497] ppid=21455 vsize=15417412 memory=1056 CPUtime=2.9 cores=0,2,4,6
/proc/21457/task/21497/stat : 21497 (java) R 21455 21455 19836 0 -1 4202560 208 0 0 0 290 0 0 0 20 0 19 0 445467024 15787429888 53837 33554432000 4194304 4196468 140730929293472 140665281760544 140665436343684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140730929296367 140730929296538 140730929296538 140730929299407 0
Current children cumulated CPU time: 229.1 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 216796 KiB
Child status: 0
Real time (s): 57.9989
CPU time (s): 229.477
CPU user time (s): 229.262
CPU system time (s): 0.214865
CPU usage (%): 395.658
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 242580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.262
system time used= 0.214865
maximum resident set size= 241132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4709
involuntary context switches= 5349
# summary of solver processes directly reported to runsolver:
# pid: 21455
# total CPU time (s): 229.477
# total CPU user time (s): 229.262
# total CPU system time (s): 0.214865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.404828 second user time and 0.710514 second system time
The end
Begin job on node141 at 2019-09-17 06:39:55 IDJOB=4399220 IDBENCH=124248 IDSOLVER=2853 FILE ID=node141/4399220-1568695237 RUNJOBID= node141-1568694133-19867 PBS_JOBID= 21703801 Free space on /tmp= 58516 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399220-1568695237/watcher-4399220-1568695237 -o /tmp/evaluation-result-4399220-1568695237/solver-4399220-1568695237 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 229232709 HOME/instance-4399220-1568695237.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=229232709 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 28324488 kB MemAvailable: 29255536 kB Buffers: 226980 kB Cached: 1000176 kB SwapCached: 77768 kB Active: 3159080 kB Inactive: 723704 kB Active(anon): 2583280 kB Inactive(anon): 114804 kB Active(file): 575800 kB Inactive(file): 608900 kB Unevictable: 109460 kB Mlocked: 109460 kB SwapTotal: 67108860 kB SwapFree: 66922404 kB Dirty: 26320 kB Writeback: 0 kB AnonPages: 2696636 kB Mapped: 56304 kB Shmem: 34584 kB Slab: 155096 kB SReclaimable: 124368 kB SUnreclaim: 30728 kB KernelStack: 4080 kB PageTables: 10924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3854316 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2578432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58492 MiB End job on node141 at 2019-09-17 06:40:53