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-20 parallel | OPT | 89 | 529.718 | 67.1961 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml |
| MD5SUM | 21aab71f6f536658a77b49f0e4f1f876 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 89 |
| Best CPU time to get the best result obtained on this benchmark | 7.39237 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2772 |
| Number of constraints | 154 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 17 |
| Distribution of domain sizes | [{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2772}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2640 |
| Distribution of constraint arities | [{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":152}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404737-1568996891.xml" -tl '20160s' -p 8 0.11/0.19 c Choco 3fb4b153 0.11/0.19 c [HOME/instance-4404737-1568996891.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.21/0.86 c solve instance... 306.94/39.13 o 131 306.94/39.16 o 130 307.52/39.22 o 129 307.52/39.27 o 128 308.26/39.32 o 127 309.03/39.40 o 126 309.03/39.44 o 125 321.75/41.03 o 124 417.29/53.10 o 123 423.53/53.83 o 122 433.92/55.12 o 121 436.19/55.42 o 120 524.55/66.59 o 93 526.10/66.75 o 92 527.68/66.90 o 91 528.59/67.03 o 90 529.28/67.16 o 89 529.28/67.18 s OPTIMUM FOUND 529.28/67.18 v <instantiation> 529.28/67.18 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] </list> 529.28/67.18 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 529.28/67.18 v </instantiation>
OK 89
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6734 MiB free)
memory of node 1: 16384 MiB (7042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404737-1568996891/watcher-4404737-1568996891 -o /var/tmp/evaluation-result-4404737-1568996891/solver-4404737-1568996891 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 295311106 HOME/instance-4404737-1568996891.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog threadver pid=
, stack expansion will 30171
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 7.67 8.09 8.16 2/211 30195
/proc/meminfo: memFree=14090048/32770624 swapFree=66953204/67108860
[pid=30174] ppid=30171 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30174/stat : 30174 (xcsp3-exec) S 30171 30174 28561 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475603952 115843072 363 33554432000 4194304 5098028 140729044498336 140729044496440 140204844151420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36167680 140729044501330 140729044501589 140729044501589 140729044504518 0
/proc/30174/statm: 28282 363 304 221 0 87 0
[pid=30176] ppid=30174 vsize=28227396 memory=29304 CPUtime=0.11 cores=0-7
/proc/30176/stat : 30176 (java) S 30174 30174 28561 0 -1 1077944320 5797 0 0 0 10 1 0 0 20 0 20 0 475603952 28904853504 7326 33554432000 4194304 4196468 140733356007024 140733355989568 140124283895543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
/proc/30176/statm: 7056849 7326 3115 1 0 7019032 0
[pid=30176/tid=30177] ppid=30174 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) R 30174 30174 28561 0 -1 4202560 3707 0 0 0 8 1 0 0 20 0 20 0 475603953 28904853504 7326 33554432000 4194304 4196468 140733356007024 140124288122304 140124283916890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28904853504 7326 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28227396 memory=140164674397824 CPUtime=0 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603953 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30181] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30181/stat : 30181 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123832093456 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30182] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30182/stat : 30182 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123831040656 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30183] ppid=30174 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30176/task/30183/stat : 30183 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123829987856 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30184] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30184/stat : 30184 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123828935056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30185] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30185/stat : 30185 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123827882256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30186] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30186/stat : 30186 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603955 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123784944496 140124283906690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30187] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30187/stat : 30187 (java) S 30174 30174 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475603956 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123783890464 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30188] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30188/stat : 30188 (java) S 30174 30174 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475603956 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123782837616 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30189] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30189/stat : 30189 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603958 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123781785936 140124283914139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30190] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30190/stat : 30190 (java) S 30174 30174 28561 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 475603958 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123780733296 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30191] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30191/stat : 30191 (java) S 30174 30174 28561 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 475603958 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123779680496 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30192] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30192/stat : 30192 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603958 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123393091696 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30193] ppid=30174 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30176/task/30193/stat : 30193 (java) R 30174 30174 28561 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 475603959 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123392038896 140124283907478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30194] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30194/stat : 30194 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603959 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123390987360 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30195] ppid=30174 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30176/task/30195/stat : 30195 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603959 28904853504 7326 33554432000 4194304 4196468 140733356007024 140123389934640 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30756 KiB
[startup+0.211612 s]*
/proc/loadavg: 7.67 8.09 8.16 3/211 30195
/proc/meminfo: memFree=14078900/32770624 swapFree=66953204/67108860
[pid=30174] ppid=30171 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30174/stat : 30174 (xcsp3-exec) S 30171 30174 28561 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475603952 115843072 363 33554432000 4194304 5098028 140729044498336 140729044496440 140204844151420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36167680 140729044501330 140729044501589 140729044501589 140729044504518 0
/proc/30174/statm: 28282 363 304 221 0 87 0
[pid=30176] ppid=30174 vsize=28227396 memory=41228 CPUtime=0.33 cores=0-7
/proc/30176/stat : 30176 (java) S 30174 30174 28561 0 -1 1077944320 9538 0 0 0 30 3 0 0 20 0 20 0 475603952 28904853504 10307 33554432000 4194304 4196468 140733356007024 140733355989568 140124283895543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
/proc/30176/statm: 7056849 10307 3279 1 0 7019032 0
[pid=30176/tid=30177] ppid=30174 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) R 30174 30174 28561 0 -1 4202560 6672 0 0 0 18 2 0 0 20 0 20 0 475603953 28904853504 10307 33554432000 4194304 4196468 140733356007024 140124288127456 140124283917469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28904853504 10307 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28227396 memory=3762674685249365664 CPUtime=0 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603953 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30181] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30181/stat : 30181 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123832093456 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30182] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30182/stat : 30182 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123831040656 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30183] ppid=30174 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30176/task/30183/stat : 30183 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123829987856 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30184] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30184/stat : 30184 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123828935056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30185] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30185/stat : 30185 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123827882256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30186] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30186/stat : 30186 (java) S 30174 30174 28561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475603955 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123784944496 140124283906690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30187] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30187/stat : 30187 (java) S 30174 30174 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475603956 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123783890464 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30188] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30188/stat : 30188 (java) S 30174 30174 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475603956 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123782837616 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30189] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30189/stat : 30189 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603958 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123781785936 140124283914139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30190] ppid=30174 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30176/task/30190/stat : 30190 (java) S 30174 30174 28561 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 20 0 475603958 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123780733296 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30191] ppid=30174 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30176/task/30191/stat : 30191 (java) S 30174 30174 28561 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 475603958 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123779680496 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30192] ppid=30174 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30176/task/30192/stat : 30192 (java) S 30174 30174 28561 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 20 0 475603958 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123393091696 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30193] ppid=30174 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30176/task/30193/stat : 30193 (java) R 30174 30174 28561 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 20 0 475603959 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123392038896 140124262600310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30194] ppid=30174 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30194/stat : 30194 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603959 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123390987360 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30195] ppid=30174 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30176/task/30195/stat : 30195 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603959 28904853504 10307 33554432000 4194304 4196468 140733356007024 140123389934640 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42680 KiB
[startup+0.310353 s]*
/proc/loadavg: 7.67 8.09 8.16 2/211 30195
/proc/meminfo: memFree=14073556/32770624 swapFree=66953204/67108860
[pid=30174] ppid=30171 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30174/stat : 30174 (xcsp3-exec) S 30171 30174 28561 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475603952 115843072 363 33554432000 4194304 5098028 140729044498336 140729044496440 140204844151420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36167680 140729044501330 140729044501589 140729044501589 140729044504518 0
/proc/30174/statm: 28282 363 304 221 0 87 0
[pid=30176] ppid=30174 vsize=28231652 memory=49336 CPUtime=0.51 cores=0-7
/proc/30176/stat : 30176 (java) S 30174 30174 28561 0 -1 1077944320 10671 0 0 0 47 4 0 0 20 0 20 0 475603952 28909211648 12334 33554432000 4194304 4196468 140733356007024 140733355989568 140124283895543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
/proc/30176/statm: 7057913 12334 3350 1 0 7019032 0
[pid=30176/tid=30177] ppid=30174 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) R 30174 30174 28561 0 -1 4202560 7723 0 0 0 27 3 0 0 20 0 20 0 475603953 28909211648 12334 33554432000 4194304 4196468 140733356007024 140124288132160 140124267939173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28909211648 12334 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603953 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30181] ppid=30174 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30181/stat : 30181 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603954 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123832093456 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30182] ppid=30174 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30176/task/30182/stat : 30182 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123831040656 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30183] ppid=30174 vsize=28231652 memory=140164512969647 CPUtime=0 cores=0-7
/proc/30176/task/30183/stat : 30183 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123829987856 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30184] ppid=30174 vsize=28231652 memory=140164512971952 CPUtime=0 cores=0-7
/proc/30176/task/30184/stat : 30184 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123828935056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30185] ppid=30174 vsize=28231652 memory=140164512974256 CPUtime=0 cores=0-7
/proc/30176/task/30185/stat : 30185 (java) S 30174 30174 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475603954 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123827882256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30186] ppid=30174 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30186/stat : 30186 (java) S 30174 30174 28561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475603955 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123784944496 140124283906690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30187] ppid=30174 vsize=28231652 memory=280329025955472 CPUtime=0 cores=0-7
/proc/30176/task/30187/stat : 30187 (java) S 30174 30174 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475603956 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123783890464 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30188] ppid=30174 vsize=28231652 memory=280329025962384 CPUtime=0 cores=0-7
/proc/30176/task/30188/stat : 30188 (java) S 30174 30174 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475603956 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123782837616 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30189] ppid=30174 vsize=28231652 memory=280329025903664 CPUtime=0 cores=0-7
/proc/30176/task/30189/stat : 30189 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603958 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123781785936 140124283914139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30190] ppid=30174 vsize=28231652 memory=280329025976208 CPUtime=0.02 cores=0-7
/proc/30176/task/30190/stat : 30190 (java) R 30174 30174 28561 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 20 0 475603958 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123780723408 140124261918194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30191] ppid=30174 vsize=28231652 memory=280329025983120 CPUtime=0.02 cores=0-7
/proc/30176/task/30191/stat : 30191 (java) S 30174 30174 28561 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 20 0 475603958 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123779680496 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30192] ppid=30174 vsize=28231652 memory=280329025980816 CPUtime=0.02 cores=0-7
/proc/30176/task/30192/stat : 30192 (java) R 30174 30174 28561 0 -1 4202560 215 0 0 0 2 0 0 0 20 0 20 0 475603958 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123393090880 140124264566784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30193] ppid=30174 vsize=28231652 memory=280329025996976 CPUtime=0.12 cores=0-7
/proc/30176/task/30193/stat : 30193 (java) S 30174 30174 28561 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 475603959 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123392038896 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30194] ppid=30174 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30194/stat : 30194 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603959 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123390987360 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30195] ppid=30174 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30176/task/30195/stat : 30195 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603959 28909211648 12334 33554432000 4194304 4196468 140733356007024 140123389934640 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50788 KiB
[startup+0.701009 s]
/proc/loadavg: 7.67 8.09 8.16 2/211 30195
/proc/meminfo: memFree=14056504/32770624 swapFree=66953204/67108860
[pid=30174] ppid=30171 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30174/stat : 30174 (xcsp3-exec) S 30171 30174 28561 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475603952 115843072 363 33554432000 4194304 5098028 140729044498336 140729044496440 140204844151420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36167680 140729044501330 140729044501589 140729044501589 140729044504518 0
/proc/30174/statm: 28282 363 304 221 0 87 0
[pid=30176] ppid=30174 vsize=28233776 memory=93956 CPUtime=1.76 cores=0-7
/proc/30176/stat : 30176 (java) S 30174 30174 28561 0 -1 1077944320 14676 0 0 0 170 6 0 0 20 0 20 0 475603952 28911386624 23489 33554432000 4194304 4196468 140733356007024 140733355989568 140124283895543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
/proc/30176/statm: 7058444 23489 3464 1 0 7019544 0
[pid=30176/tid=30177] ppid=30174 vsize=28233776 memory=280329026354864 CPUtime=0.67 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) R 30174 30174 28561 0 -1 4202560 9212 0 0 0 63 4 0 0 20 0 20 0 475603953 28911386624 23489 33554432000 4194304 4196468 140733356007024 140124288131392 140124283907478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28233776 memory=140164513178480 CPUtime=0 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28911386624 23489 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475603953 28911386624 23489 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28233776 memory=668 CPUtime=0 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475603953 28911386624 23489 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
################
# More data... #
################
[pid=30176/tid=30177] ppid=30174 vsize=28766288 memory=1560 CPUtime=0.89 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) S 30174 30174 28561 0 -1 1077944384 10190 0 0 0 84 5 0 0 20 0 28 0 475603953 29456678912 54067 33554432000 4194304 4196468 140733356007024 140124288136320 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28766288 memory=924 CPUtime=0.12 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 999 0 0 0 10 2 0 0 20 0 28 0 475603953 29456678912 54067 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28766288 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 1793 0 0 0 9 3 0 0 20 0 28 0 475603953 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28766288 memory=55372 CPUtime=0.12 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1053 0 0 0 10 2 0 0 20 0 28 0 475603953 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30181] ppid=30174 vsize=28766288 memory=988 CPUtime=0.12 cores=0-7
/proc/30176/task/30181/stat : 30181 (java) S 30174 30174 28561 0 -1 1077944384 1458 0 0 0 9 3 0 0 20 0 28 0 475603954 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123832093456 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30182] ppid=30174 vsize=28766288 memory=2008 CPUtime=0.12 cores=0-7
/proc/30176/task/30182/stat : 30182 (java) S 30174 30174 28561 0 -1 1077944384 883 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123831040656 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30183] ppid=30174 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7
/proc/30176/task/30183/stat : 30183 (java) S 30174 30174 28561 0 -1 1077944384 458 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123829987856 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30184] ppid=30174 vsize=28766288 memory=216328 CPUtime=0.11 cores=0-7
/proc/30176/task/30184/stat : 30184 (java) S 30174 30174 28561 0 -1 1077944384 506 0 0 0 9 2 0 0 20 0 28 0 475603954 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123828935056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30185] ppid=30174 vsize=28766288 memory=1076 CPUtime=0.11 cores=0-7
/proc/30176/task/30185/stat : 30185 (java) S 30174 30174 28561 0 -1 1077944384 2078 0 0 0 9 2 0 0 20 0 28 0 475603954 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123827882256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30186] ppid=30174 vsize=28766288 memory=14008 CPUtime=0.05 cores=0-7
/proc/30176/task/30186/stat : 30186 (java) S 30174 30174 28561 0 -1 1077944384 1933 0 0 0 4 1 0 0 20 0 28 0 475603955 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123784944496 140124283906690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30187] ppid=30174 vsize=28766288 memory=30480 CPUtime=0 cores=0-7
/proc/30176/task/30187/stat : 30187 (java) S 30174 30174 28561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475603956 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123783890528 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30188] ppid=30174 vsize=28766288 memory=14056 CPUtime=0 cores=0-7
/proc/30176/task/30188/stat : 30188 (java) S 30174 30174 28561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475603956 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123782837616 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30189] ppid=30174 vsize=28766288 memory=2116 CPUtime=0 cores=0-7
/proc/30176/task/30189/stat : 30189 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475603958 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123781785936 140124283914139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30190] ppid=30174 vsize=28766288 memory=520 CPUtime=1.82 cores=0-7
/proc/30176/task/30190/stat : 30190 (java) S 30174 30174 28561 0 -1 1077944384 10375 0 0 0 179 3 0 0 20 0 28 0 475603958 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123780733296 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30191] ppid=30174 vsize=28766288 memory=288230574492221466 CPUtime=2.07 cores=0-7
/proc/30176/task/30191/stat : 30191 (java) S 30174 30174 28561 0 -1 1077944384 10430 0 0 0 204 3 0 0 20 0 28 0 475603958 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123779680496 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30192] ppid=30174 vsize=28766288 memory=288230596050944315 CPUtime=2.18 cores=0-7
/proc/30176/task/30192/stat : 30192 (java) S 30174 30174 28561 0 -1 1077944384 13781 0 0 0 213 5 0 0 20 0 28 0 475603958 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123393091696 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30193] ppid=30174 vsize=28766288 memory=15254861486763338 CPUtime=0.81 cores=0-7
/proc/30176/task/30193/stat : 30193 (java) S 30174 30174 28561 0 -1 1077944384 7606 0 0 0 80 1 0 0 20 0 28 0 475603959 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123392038896 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30194] ppid=30174 vsize=28766288 memory=4488 CPUtime=0 cores=0-7
/proc/30176/task/30194/stat : 30194 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475603959 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123390987360 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30195] ppid=30174 vsize=28766288 memory=4104 CPUtime=0.02 cores=0-7
/proc/30176/task/30195/stat : 30195 (java) S 30174 30174 28561 0 -1 1077944384 577 0 0 0 0 2 0 0 20 0 28 0 475603959 29456678912 54067 33554432000 4194304 4196468 140733356007024 140123389934640 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
Current children cumulated CPU time: 526.88 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 217720 KiB
[startup+67.0118 s]*
/proc/loadavg: 8.13 8.13 8.17 10/219 30330
/proc/meminfo: memFree=13906544/32770624 swapFree=66953204/67108860
[pid=30174] ppid=30171 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30174/stat : 30174 (xcsp3-exec) S 30171 30174 28561 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475603952 115843072 363 33554432000 4194304 5098028 140729044498336 140729044496440 140204844151420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36167680 140729044501330 140729044501589 140729044501589 140729044504518 0
/proc/30174/statm: 28282 363 304 221 0 87 0
[pid=30176] ppid=30174 vsize=28766288 memory=216272 CPUtime=528.59 cores=0-7
/proc/30176/stat : 30176 (java) S 30174 30174 28561 0 -1 1077944320 78567 0 0 0 52803 56 0 0 20 0 28 0 475603952 29456678912 54068 33554432000 4194304 4196468 140733356007024 140733355989568 140124283895543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
/proc/30176/statm: 7191572 54068 3537 1 0 7152672 0
[pid=30176/tid=30177] ppid=30174 vsize=28766288 memory=8318255677412212789 CPUtime=0.89 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) S 30174 30174 28561 0 -1 1077944384 10190 0 0 0 84 5 0 0 20 0 28 0 475603953 29456678912 54068 33554432000 4194304 4196468 140733356007024 140124288136320 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28766288 memory=301741407901843824 CPUtime=0.12 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 999 0 0 0 10 2 0 0 20 0 28 0 475603953 29456678912 54068 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28766288 memory=3544532677810235040 CPUtime=0.12 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 1793 0 0 0 9 3 0 0 20 0 28 0 475603953 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28766288 memory=3977276829457330227 CPUtime=0.12 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1053 0 0 0 10 2 0 0 20 0 28 0 475603953 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30181] ppid=30174 vsize=28766288 memory=6944652177228980320 CPUtime=0.12 cores=0-7
/proc/30176/task/30181/stat : 30181 (java) S 30174 30174 28561 0 -1 1077944384 1458 0 0 0 9 3 0 0 20 0 28 0 475603954 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123832093456 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30182] ppid=30174 vsize=28766288 memory=6944656592455359580 CPUtime=0.12 cores=0-7
/proc/30176/task/30182/stat : 30182 (java) S 30174 30174 28561 0 -1 1077944384 883 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123831040656 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30183] ppid=30174 vsize=28766288 memory=7022359169586918921 CPUtime=0.12 cores=0-7
/proc/30176/task/30183/stat : 30183 (java) S 30174 30174 28561 0 -1 1077944384 458 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123829987856 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30184] ppid=30174 vsize=28766288 memory=40324 CPUtime=0.11 cores=0-7
/proc/30176/task/30184/stat : 30184 (java) S 30174 30174 28561 0 -1 1077944384 506 0 0 0 9 2 0 0 20 0 28 0 475603954 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123828935056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30185] ppid=30174 vsize=28766288 memory=280329025749232 CPUtime=0.11 cores=0-7
/proc/30176/task/30185/stat : 30185 (java) S 30174 30174 28561 0 -1 1077944384 2078 0 0 0 9 2 0 0 20 0 28 0 475603954 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123827882256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30186] ppid=30174 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/30176/task/30186/stat : 30186 (java) S 30174 30174 28561 0 -1 1077944384 1934 0 0 0 4 1 0 0 20 0 28 0 475603955 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123784944496 140124283906690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30187] ppid=30174 vsize=28766288 memory=7084821286523977828 CPUtime=0 cores=0-7
/proc/30176/task/30187/stat : 30187 (java) S 30174 30174 28561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475603956 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123783890528 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30188] ppid=30174 vsize=28766288 memory=3469797276396238139 CPUtime=0 cores=0-7
/proc/30176/task/30188/stat : 30188 (java) S 30174 30174 28561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475603956 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123782837616 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30189] ppid=30174 vsize=28766288 memory=280329028213072 CPUtime=0 cores=0-7
/proc/30176/task/30189/stat : 30189 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475603958 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123781785936 140124283914139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30190] ppid=30174 vsize=28766288 memory=280329028229136 CPUtime=1.82 cores=0-7
/proc/30176/task/30190/stat : 30190 (java) S 30174 30174 28561 0 -1 1077944384 10438 0 0 0 179 3 0 0 20 0 28 0 475603958 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123780733296 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30191] ppid=30174 vsize=28766288 memory=0 CPUtime=2.13 cores=0-7
/proc/30176/task/30191/stat : 30191 (java) R 30174 30174 28561 0 -1 4202560 11056 0 0 0 210 3 0 0 20 0 28 0 475603958 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123779680792 140124265416224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30192] ppid=30174 vsize=28766288 memory=3472328296227680303 CPUtime=2.21 cores=0-7
/proc/30176/task/30192/stat : 30192 (java) S 30174 30174 28561 0 -1 1077944384 13993 0 0 0 216 5 0 0 20 0 28 0 475603958 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123393091696 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30193] ppid=30174 vsize=28766288 memory=-6861001314482542326 CPUtime=0.82 cores=0-7
/proc/30176/task/30193/stat : 30193 (java) S 30174 30174 28561 0 -1 1077944384 7795 0 0 0 81 1 0 0 20 0 28 0 475603959 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123392038896 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30194] ppid=30174 vsize=28766288 memory=3472328279047811120 CPUtime=0 cores=0-7
/proc/30176/task/30194/stat : 30194 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475603959 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123390987360 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30195] ppid=30174 vsize=28766288 memory=3472328279047811119 CPUtime=0.02 cores=0-7
/proc/30176/task/30195/stat : 30195 (java) S 30174 30174 28561 0 -1 1077944384 577 0 0 0 0 2 0 0 20 0 28 0 475603959 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123389934640 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30323] ppid=30174 vsize=28766288 memory=3472328296227680264 CPUtime=0.05 cores=0-7
/proc/30176/task/30323/stat : 30323 (java) R 30174 30174 28561 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123378851192 140123926724500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30324] ppid=30174 vsize=28766288 memory=-3252517613198930781 CPUtime=0.1 cores=0-7
/proc/30176/task/30324/stat : 30324 (java) R 30174 30174 28561 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140122385268784 140123926724491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30325] ppid=30174 vsize=28766288 memory=-9174445032661854264 CPUtime=0.11 cores=0-7
/proc/30176/task/30325/stat : 30325 (java) R 30174 30174 28561 0 -1 4202560 17 0 0 0 11 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123376747256 140123926476612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30326] ppid=30174 vsize=28766288 memory=6944656592385698452 CPUtime=0.11 cores=0-7
/proc/30176/task/30326/stat : 30326 (java) R 30174 30174 28561 0 -1 4202560 21 0 0 0 11 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140122387374184 140123924417365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30327] ppid=30174 vsize=28766288 memory=6944652027076318631 CPUtime=0.11 cores=0-7
/proc/30176/task/30327/stat : 30327 (java) R 30174 30174 28561 0 -1 4202560 17 0 0 0 11 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123377802056 140123926476592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30328] ppid=30174 vsize=28766288 memory=6944656592385698452 CPUtime=0.11 cores=0-7
/proc/30176/task/30328/stat : 30328 (java) R 30174 30174 28561 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140122386324168 140123926724979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30329] ppid=30174 vsize=28766288 memory=6944656592455360604 CPUtime=0.11 cores=0-7
/proc/30176/task/30329/stat : 30329 (java) R 30174 30174 28561 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123379908168 140123921218384 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30330] ppid=30174 vsize=28766288 memory=6656426216303648864 CPUtime=0.1 cores=0-7
/proc/30176/task/30330/stat : 30330 (java) R 30174 30174 28561 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 28 0 475610643 29456678912 54068 33554432000 4194304 4196468 140733356007024 140123380960712 140123926476714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
Current children cumulated CPU time: 528.59 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 217724 KiB
[startup+67.1118 s]
/proc/loadavg: 8.13 8.13 8.17 10/219 30330
/proc/meminfo: memFree=13906544/32770624 swapFree=66953204/67108860
[pid=30174] ppid=30171 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30174/stat : 30174 (xcsp3-exec) S 30171 30174 28561 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475603952 115843072 363 33554432000 4194304 5098028 140729044498336 140729044496440 140204844151420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36167680 140729044501330 140729044501589 140729044501589 140729044504518 0
/proc/30174/statm: 28282 363 304 221 0 87 0
[pid=30176] ppid=30174 vsize=28766288 memory=213200 CPUtime=529.28 cores=0-7
/proc/30176/stat : 30176 (java) S 30174 30174 28561 0 -1 1077944320 79383 0 0 0 52872 56 0 0 20 0 28 0 475603952 29456678912 53300 33554432000 4194304 4196468 140733356007024 140733355989568 140124283895543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
/proc/30176/statm: 7191572 53300 3537 1 0 7152672 0
[pid=30176/tid=30177] ppid=30174 vsize=28766288 memory=1452 CPUtime=0.89 cores=0-7
/proc/30176/task/30177/stat : 30177 (java) S 30174 30174 28561 0 -1 1077944384 10190 0 0 0 84 5 0 0 20 0 28 0 475603953 29456678912 53300 33554432000 4194304 4196468 140733356007024 140124288136320 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30178] ppid=30174 vsize=28766288 memory=55372 CPUtime=0.12 cores=0-7
/proc/30176/task/30178/stat : 30178 (java) S 30174 30174 28561 0 -1 1077944384 1005 0 0 0 10 2 0 0 20 0 28 0 475603953 29456678912 53300 33554432000 4194304 4196468 140733356007024 140124249177232 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30179] ppid=30174 vsize=28766288 memory=3216 CPUtime=0.13 cores=0-7
/proc/30176/task/30179/stat : 30179 (java) S 30174 30174 28561 0 -1 1077944384 1799 0 0 0 10 3 0 0 20 0 28 0 475603953 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123834199056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30180] ppid=30174 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7
/proc/30176/task/30180/stat : 30180 (java) S 30174 30174 28561 0 -1 1077944384 1061 0 0 0 10 2 0 0 20 0 28 0 475603953 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123833146256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30181] ppid=30174 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7
/proc/30176/task/30181/stat : 30181 (java) S 30174 30174 28561 0 -1 1077944384 1469 0 0 0 9 3 0 0 20 0 28 0 475603954 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123832093456 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30182] ppid=30174 vsize=28766288 memory=51101 CPUtime=0.12 cores=0-7
/proc/30176/task/30182/stat : 30182 (java) S 30174 30174 28561 0 -1 1077944384 888 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123831040656 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30183] ppid=30174 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7
/proc/30176/task/30183/stat : 30183 (java) S 30174 30174 28561 0 -1 1077944384 744 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123829987856 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30184] ppid=30174 vsize=28766288 memory=279296 CPUtime=0.12 cores=0-7
/proc/30176/task/30184/stat : 30184 (java) S 30174 30174 28561 0 -1 1077944384 511 0 0 0 10 2 0 0 20 0 28 0 475603954 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123828935056 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30185] ppid=30174 vsize=28766288 memory=6940425714476859492 CPUtime=0.11 cores=0-7
/proc/30176/task/30185/stat : 30185 (java) S 30174 30174 28561 0 -1 1077944384 2118 0 0 0 9 2 0 0 20 0 28 0 475603954 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123827882256 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30186] ppid=30174 vsize=28766288 memory=219332 CPUtime=0.05 cores=0-7
/proc/30176/task/30186/stat : 30186 (java) S 30174 30174 28561 0 -1 1077944384 2095 0 0 0 4 1 0 0 20 0 28 0 475603955 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123784944496 140124283906690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30187] ppid=30174 vsize=28766288 memory=1728 CPUtime=0 cores=0-7
/proc/30176/task/30187/stat : 30187 (java) S 30174 30174 28561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475603956 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123783890528 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30188] ppid=30174 vsize=28766288 memory=8080 CPUtime=0 cores=0-7
/proc/30176/task/30188/stat : 30188 (java) S 30174 30174 28561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475603956 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123782837616 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30189] ppid=30174 vsize=28766288 memory=14008 CPUtime=0 cores=0-7
/proc/30176/task/30189/stat : 30189 (java) S 30174 30174 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475603958 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123781785936 140124283914139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30190] ppid=30174 vsize=28766288 memory=30480 CPUtime=1.82 cores=0-7
/proc/30176/task/30190/stat : 30190 (java) S 30174 30174 28561 0 -1 1077944384 10438 0 0 0 179 3 0 0 20 0 28 0 475603958 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123780733296 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30191] ppid=30174 vsize=28766288 memory=14056 CPUtime=2.14 cores=0-7
/proc/30176/task/30191/stat : 30191 (java) S 30174 30174 28561 0 -1 1077944384 11099 0 0 0 211 3 0 0 20 0 28 0 475603958 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123779680496 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30192] ppid=30174 vsize=28766288 memory=1452 CPUtime=2.21 cores=0-7
/proc/30176/task/30192/stat : 30192 (java) S 30174 30174 28561 0 -1 1077944384 13993 0 0 0 216 5 0 0 20 0 28 0 475603958 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123393091696 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30193] ppid=30174 vsize=28766288 memory=222404 CPUtime=0.82 cores=0-7
/proc/30176/task/30193/stat : 30193 (java) S 30174 30174 28561 0 -1 1077944384 7893 0 0 0 81 1 0 0 20 0 28 0 475603959 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123392038896 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30194] ppid=30174 vsize=28766288 memory=55372 CPUtime=0 cores=0-7
/proc/30176/task/30194/stat : 30194 (java) S 30174 30174 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475603959 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123390987360 140124283905749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
[pid=30176/tid=30195] ppid=30174 vsize=28766288 memory=988 CPUtime=0.02 cores=0-7
/proc/30176/task/30195/stat : 30195 (java) S 30174 30174 28561 0 -1 1077944384 577 0 0 0 0 2 0 0 20 0 28 0 475603959 29456678912 53300 33554432000 4194304 4196468 140733356007024 140123389934640 140124283906690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35241984 140733356012502 140733356012678 140733356012678 140733356015567 0
Current children cumulated CPU time: 529.28 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 214652 KiB
Child status: 0
Real time (s): 67.1961
CPU time (s): 529.718
CPU user time (s): 529.137
CPU system time (s): 0.580773
CPU usage (%): 788.316
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 282992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 529.137
system time used= 0.580773
maximum resident set size= 281540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9418
involuntary context switches= 7250
# summary of solver processes directly reported to runsolver:
# pid: 30174
# total CPU time (s): 529.718
# total CPU user time (s): 529.137
# total CPU system time (s): 0.580773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.69998 second user time and 0.707259 second system time
The end
Begin job on node119 at 2019-09-20 18:27:31 IDJOB=4404737 IDBENCH=124140 IDSOLVER=2865 FILE ID=node119/4404737-1568996891 RUNJOBID= node119-1568994231-28588 PBS_JOBID= 21704718 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-6.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404737-1568996891/watcher-4404737-1568996891 -o /var/tmp/evaluation-result-4404737-1568996891/solver-4404737-1568996891 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 295311106 HOME/instance-4404737-1568996891.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=295311106 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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: 14107536 kB MemAvailable: 31805636 kB Buffers: 151032 kB Cached: 17474232 kB SwapCached: 46584 kB Active: 8779608 kB Inactive: 8895152 kB Active(anon): 4304 kB Inactive(anon): 94032 kB Active(file): 8775304 kB Inactive(file): 8801120 kB Unevictable: 109120 kB Mlocked: 109120 kB SwapTotal: 67108860 kB SwapFree: 66953204 kB Dirty: 26420 kB Writeback: 0 kB AnonPages: 124244 kB Mapped: 52268 kB Shmem: 40128 kB Slab: 578684 kB SReclaimable: 550136 kB SUnreclaim: 28548 kB KernelStack: 3712 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-20 18:28:38