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 | OPT | 89 | 283.432 | 71.6297 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml |
| MD5SUM | 21aab71f6f536658a77b49f0e4f1f876 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 89 |
| Best CPU time to get the best result obtained on this benchmark | 7.90115 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2772 |
| Number of constraints | 154 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 17 |
| Distribution of domain sizes | [{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2772}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2640 |
| Distribution of constraint arities | [{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":152}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404137-1568990670.xml" -tl '2400s' -p 4 0.12/0.18 c Choco 3fb4b153 0.12/0.19 c [HOME/instance-4404137-1568990670.xml, -tl, 2400s, -p, 4] 0.33/0.23 c 4 solvers in parallel 0.33/0.29 c parse instance... 1.62/0.73 c solve instance... 156.31/39.65 o 131 156.31/39.68 o 130 156.71/39.71 o 129 156.71/39.76 o 128 156.71/39.80 o 127 157.06/39.87 o 126 157.46/39.91 o 125 163.39/41.42 o 124 213.06/54.00 o 123 234.13/59.27 o 122 265.93/67.27 o 121 268.72/67.90 o 120 273.88/69.24 o 119 274.66/69.46 o 94 275.07/69.58 o 93 279.83/70.73 o 92 282.21/71.34 o 91 282.61/71.47 o 90 283.00/71.59 o 89 283.38/71.61 s OPTIMUM FOUND 283.38/71.61 v <instantiation> 283.38/71.61 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> 283.38/71.61 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 2 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 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 283.38/71.61 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 (4302 MiB free)
memory of node 1: 16384 MiB (4631 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404137-1568990670/watcher-4404137-1568990670 -o /var/tmp/evaluation-result-4404137-1568990670/solver-4404137-1568990670 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 68445562 HOME/instance-4404137-1568990670.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7367, runsolver pid=7364
Current StackSize limit: 8192 KiB
[startup+0.102831 s]*
/proc/loadavg: 0.67 0.95 1.21 6/234 7383
/proc/meminfo: memFree=9133384/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15144776 memory=28420 CPUtime=0.12 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 5579 0 0 0 11 1 0 0 20 0 15 0 475339547 15508250624 7105 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3786194 7105 3116 1 0 3748377 0
[pid=7369/tid=7370] ppid=7367 vsize=15144776 memory=8045580263764497243 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) R 7367 7367 7201 0 -1 4202560 3534 0 0 0 8 0 0 0 20 0 15 0 475339547 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280676288304 140280672066966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15144776 memory=139711373874816 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15144776 memory=139711373874816 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339549 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339549 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280139334816 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339550 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280138281712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339552 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) S 7367 7367 7201 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 475339553 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280136178416 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475339553 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15144776 memory=139711373874816 CPUtime=0.01 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 475339553 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339553 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15144776 memory=139711373874816 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339553 15508250624 7171 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29872 KiB
[startup+0.210969 s]*
/proc/loadavg: 0.67 0.95 1.21 7/234 7383
/proc/meminfo: memFree=9119788/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15144776 memory=40816 CPUtime=0.33 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 9426 0 0 0 31 2 0 0 20 0 15 0 475339547 15508250624 10204 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3786194 10204 3301 1 0 3748377 0
[pid=7369/tid=7370] ppid=7367 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) R 7367 7367 7201 0 -1 4202560 6571 0 0 0 18 2 0 0 20 0 15 0 475339547 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280676293216 140280656135518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15144776 memory=139711377228848 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339548 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15144776 memory=139711373874816 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475339549 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339549 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280139334816 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339550 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280138281712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339552 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) S 7367 7367 7201 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 475339553 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280136178416 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 475339553 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15144776 memory=139711373874816 CPUtime=0.07 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 15 0 475339553 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339553 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339553 15508250624 10204 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42268 KiB
[startup+0.313734 s]*
/proc/loadavg: 0.67 0.95 1.21 6/234 7383
/proc/meminfo: memFree=9113084/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15149032 memory=49464 CPUtime=0.5 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 10706 0 0 0 47 3 0 0 20 0 15 0 475339547 15512608768 12366 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3787258 12366 3336 1 0 3748377 0
[pid=7369/tid=7370] ppid=7367 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) R 7367 7367 7201 0 -1 4202560 7736 0 0 0 27 2 0 0 20 0 15 0 475339547 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280676286144 140280672076957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15149032 memory=3561517 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339548 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475339549 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339549 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280139334816 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339550 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280138281712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339552 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) S 7367 7367 7201 0 -1 1077944384 560 0 0 0 4 0 0 0 20 0 15 0 475339553 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280136178416 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 15 0 475339553 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 475339553 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339553 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339553 15512608768 12366 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50916 KiB
[startup+0.700827 s]
/proc/loadavg: 0.67 0.95 1.21 7/234 7383
/proc/meminfo: memFree=9098320/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15151156 memory=94432 CPUtime=1.62 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 14300 0 0 0 156 6 0 0 20 0 15 0 475339547 15514783744 23608 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3787789 23608 3463 1 0 3748889 0
[pid=7369/tid=7370] ppid=7367 vsize=15151156 memory=12328 CPUtime=0.67 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) R 7367 7367 7201 0 -1 4202560 9090 0 0 0 63 4 0 0 20 0 15 0 475339547 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280676292144 140280295327502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15151156 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15151156 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339548 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339548 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475339549 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15151156 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339549 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280139334816 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15151156 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339550 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280138281712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15151156 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339552 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15151156 memory=836 CPUtime=0.26 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) R 7367 7367 7201 0 -1 4202560 1372 0 0 0 26 0 0 0 20 0 15 0 475339553 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280136164440 140280656935267 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15151156 memory=1760 CPUtime=0.26 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) R 7367 7367 7201 0 -1 4202560 781 0 0 0 26 0 0 0 20 0 15 0 475339553 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280135116848 140280651772167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15151156 memory=111632 CPUtime=0.4 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) R 7367 7367 7201 0 -1 4202560 1753 0 0 0 40 0 0 0 20 0 15 0 475339553 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280134072816 140280653465181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339553 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339553 15514783744 23608 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95884 KiB
[startup+1.50183 s]
/proc/loadavg: 0.67 0.95 1.21 12/238 7387
/proc/meminfo: memFree=9046632/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7369/task/7379/stat : 7379 (java) S 7367 7367 7201 0 -1 1077944384 17193 0 0 0 241 2 0 0 20 0 19 0 475339553 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280136178416 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15485004 memory=12328 CPUtime=2.25 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 16076 0 0 0 224 1 0 0 20 0 19 0 475339553 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15485004 memory=33 CPUtime=0.73 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 8871 0 0 0 72 1 0 0 20 0 19 0 475339553 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15485004 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339553 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15485004 memory=195956 CPUtime=0.02 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 979 0 0 0 0 2 0 0 20 0 19 0 475339553 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7679] ppid=7367 vsize=15485004 memory=2508 CPUtime=0.71 cores=1,3,5,7
/proc/7369/task/7679/stat : 7679 (java) R 7367 7367 7201 0 -1 4202560 17 0 0 0 71 0 0 0 20 0 19 0 475346337 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280121937016 140280298745534 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7680] ppid=7367 vsize=15485004 memory=1452 CPUtime=0.88 cores=1,3,5,7
/proc/7369/task/7680/stat : 7680 (java) R 7367 7367 7201 0 -1 4202560 37 0 0 0 88 0 0 0 20 0 19 0 475346337 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280119830600 140280293961406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7681] ppid=7367 vsize=15485004 memory=193396 CPUtime=0.82 cores=1,3,5,7
/proc/7369/task/7681/stat : 7681 (java) R 7367 7367 7201 0 -1 4202560 17 0 0 0 82 0 0 0 20 0 19 0 475346337 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280120881768 140280293961401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7682] ppid=7367 vsize=15485004 memory=1760 CPUtime=0.87 cores=1,3,5,7
/proc/7369/task/7682/stat : 7682 (java) R 7367 7367 7201 0 -1 4202560 18 0 0 0 87 0 0 0 20 0 19 0 475346337 15856644096 48330 33554432000 4194304 4196468 140720562784448 140280117724312 140280293961318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 272.29 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 194772 KiB
[startup+70.4018 s]
/proc/loadavg: 6.37 2.57 1.75 9/237 7695
/proc/meminfo: memFree=8801440/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15485004 memory=189852 CPUtime=278.64 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 76323 0 0 0 27838 26 0 0 20 0 19 0 475339547 15856644096 47463 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3871251 47463 3536 1 0 3832351 0
[pid=7369/tid=7370] ppid=7367 vsize=15485004 memory=8112282956445269571 CPUtime=0.75 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) S 7367 7367 7201 0 -1 1077944384 9826 0 0 0 70 5 0 0 20 0 19 0 475339547 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280676295808 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15485004 memory=195956 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1277 0 0 0 7 1 0 0 20 0 19 0 475339548 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15485004 memory=836 CPUtime=0.09 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 2756 0 0 0 7 2 0 0 20 0 19 0 475339548 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15485004 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 839 0 0 0 6 2 0 0 20 0 19 0 475339548 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15485004 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 3339 0 0 0 6 2 0 0 20 0 19 0 475339548 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15485004 memory=193320 CPUtime=0.04 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 2779 0 0 0 3 1 0 0 20 0 19 0 475339549 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15485004 memory=41732 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475339549 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280139334880 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15485004 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 475339550 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280138281728 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15485004 memory=2084 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339552 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15485004 memory=1480 CPUtime=2.46 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) S 7367 7367 7201 0 -1 1077944384 17212 0 0 0 244 2 0 0 20 0 19 0 475339553 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280136178416 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15485004 memory=1040 CPUtime=2.29 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 16089 0 0 0 228 1 0 0 20 0 19 0 475339553 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15485004 memory=2084 CPUtime=0.75 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 8891 0 0 0 73 2 0 0 20 0 19 0 475339553 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15485004 memory=1480 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339553 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15485004 memory=3880 CPUtime=0.02 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 979 0 0 0 0 2 0 0 20 0 19 0 475339553 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7692] ppid=7367 vsize=15485004 memory=7712 CPUtime=0.78 cores=1,3,5,7
/proc/7369/task/7692/stat : 7692 (java) R 7367 7367 7201 0 -1 4202560 20 0 0 0 78 0 0 0 20 0 19 0 475346505 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280121937528 140280294079585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7693] ppid=7367 vsize=15485004 memory=1760 CPUtime=0.77 cores=1,3,5,7
/proc/7369/task/7693/stat : 7693 (java) R 7367 7367 7201 0 -1 4202560 20 0 0 0 77 0 0 0 20 0 19 0 475346505 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280117723960 140280293961216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7694] ppid=7367 vsize=15485004 memory=205676 CPUtime=0.81 cores=1,3,5,7
/proc/7369/task/7694/stat : 7694 (java) R 7367 7367 7201 0 -1 4202560 20 0 0 0 81 0 0 0 20 0 19 0 475346505 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280118783304 140280293961645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7695] ppid=7367 vsize=15485004 memory=211624 CPUtime=0.81 cores=1,3,5,7
/proc/7369/task/7695/stat : 7695 (java) R 7367 7367 7201 0 -1 4202560 23 0 0 0 81 0 0 0 20 0 19 0 475346505 15856644096 47463 33554432000 4194304 4196468 140720562784448 140280122986376 140280294079619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 278.64 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 191304 KiB
[startup+71.2018 s]
/proc/loadavg: 6.58 2.68 1.79 9/237 7699
/proc/meminfo: memFree=8801532/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15485004 memory=189976 CPUtime=281.81 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 77966 0 0 0 28155 26 0 0 20 0 19 0 475339547 15856644096 47494 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3871251 47494 3536 1 0 3832351 0
[pid=7369/tid=7370] ppid=7367 vsize=15485004 memory=1608 CPUtime=0.75 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) S 7367 7367 7201 0 -1 1077944384 10038 0 0 0 70 5 0 0 20 0 19 0 475339547 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280676295808 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15485004 memory=1076 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1277 0 0 0 7 1 0 0 20 0 19 0 475339548 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15485004 memory=3124 CPUtime=0.09 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 2756 0 0 0 7 2 0 0 20 0 19 0 475339548 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15485004 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 839 0 0 0 6 2 0 0 20 0 19 0 475339548 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15485004 memory=1480 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 3339 0 0 0 6 2 0 0 20 0 19 0 475339548 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15485004 memory=3880 CPUtime=0.04 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 2908 0 0 0 3 1 0 0 20 0 19 0 475339549 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15485004 memory=7712 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475339549 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280139334880 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15485004 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 475339550 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280138281728 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15485004 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339552 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15485004 memory=6316 CPUtime=2.46 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) S 7367 7367 7201 0 -1 1077944384 17214 0 0 0 244 2 0 0 20 0 19 0 475339553 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280136178416 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15485004 memory=828 CPUtime=2.29 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 16336 0 0 0 228 1 0 0 20 0 19 0 475339553 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15485004 memory=736 CPUtime=0.75 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 9088 0 0 0 73 2 0 0 20 0 19 0 475339553 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15485004 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339553 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15485004 memory=41732 CPUtime=0.02 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) S 7367 7367 7201 0 -1 1077944384 989 0 0 0 0 2 0 0 20 0 19 0 475339553 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7696] ppid=7367 vsize=15485004 memory=1040 CPUtime=0.45 cores=1,3,5,7
/proc/7369/task/7696/stat : 7696 (java) R 7367 7367 7201 0 -1 4202560 51 0 0 0 45 0 0 0 20 0 19 0 475346620 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280121937016 140280293961333 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7697] ppid=7367 vsize=15485004 memory=2084 CPUtime=0.46 cores=1,3,5,7
/proc/7369/task/7697/stat : 7697 (java) R 7367 7367 7201 0 -1 4202560 88 0 0 0 46 0 0 0 20 0 19 0 475346620 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280122990968 140280293961279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7698] ppid=7367 vsize=15485004 memory=1480 CPUtime=0.46 cores=1,3,5,7
/proc/7369/task/7698/stat : 7698 (java) R 7367 7367 7201 0 -1 4202560 17 0 0 0 46 0 0 0 20 0 19 0 475346620 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280117730120 140280294079656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7699] ppid=7367 vsize=15485004 memory=3880 CPUtime=0.45 cores=1,3,5,7
/proc/7369/task/7699/stat : 7699 (java) R 7367 7367 7201 0 -1 4202560 18 0 0 0 45 0 0 0 20 0 19 0 475346620 15856644096 47494 33554432000 4194304 4196468 140720562784448 140280118783432 140280300344732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 281.81 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 191428 KiB
[startup+71.6008 s]
/proc/loadavg: 6.58 2.68 1.79 9/237 7699
/proc/meminfo: memFree=8801532/32770624 swapFree=67021820/67108860
[pid=7367] ppid=7364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7367/stat : 7367 (xcsp3-exec) S 7364 7367 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339546 115843072 363 33554432000 4194304 5098028 140735504933504 140735504931608 139948022784636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8396800 140735504941912 140735504942169 140735504942169 140735504945094 0
/proc/7367/statm: 28282 363 304 221 0 87 0
[pid=7369] ppid=7367 vsize=15485004 memory=189952 CPUtime=283.38 cores=1,3,5,7
/proc/7369/stat : 7369 (java) S 7367 7367 7201 0 -1 1077944320 79006 0 0 0 28312 26 0 0 20 0 19 0 475339547 15856644096 47488 33554432000 4194304 4196468 140720562784448 140720562766992 140280672055031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
/proc/7369/statm: 3871251 47488 3536 1 0 3832351 0
[pid=7369/tid=7370] ppid=7367 vsize=15485004 memory=3880 CPUtime=0.76 cores=1,3,5,7
/proc/7369/task/7370/stat : 7370 (java) S 7367 7367 7201 0 -1 1077944384 10080 0 0 0 71 5 0 0 20 0 19 0 475339547 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280676295808 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7371] ppid=7367 vsize=15485004 memory=7712 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7371/stat : 7371 (java) S 7367 7367 7201 0 -1 1077944384 1277 0 0 0 7 1 0 0 20 0 19 0 475339548 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280624675856 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7372] ppid=7367 vsize=15485004 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/7369/task/7372/stat : 7372 (java) S 7367 7367 7201 0 -1 1077944384 2756 0 0 0 7 2 0 0 20 0 19 0 475339548 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280623623312 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7373] ppid=7367 vsize=15485004 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7373/stat : 7373 (java) S 7367 7367 7201 0 -1 1077944384 839 0 0 0 6 2 0 0 20 0 19 0 475339548 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280622570256 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7374] ppid=7367 vsize=15485004 memory=1172 CPUtime=0.08 cores=1,3,5,7
/proc/7369/task/7374/stat : 7374 (java) S 7367 7367 7201 0 -1 1077944384 3339 0 0 0 6 2 0 0 20 0 19 0 475339548 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280621517712 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7375] ppid=7367 vsize=15485004 memory=1480 CPUtime=0.04 cores=1,3,5,7
/proc/7369/task/7375/stat : 7375 (java) S 7367 7367 7201 0 -1 1077944384 2911 0 0 0 3 1 0 0 20 0 19 0 475339549 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280140388592 140280672066178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7376] ppid=7367 vsize=15485004 memory=3880 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7376/stat : 7376 (java) S 7367 7367 7201 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475339549 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280139334880 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7377] ppid=7367 vsize=15485004 memory=7712 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7377/stat : 7377 (java) S 7367 7367 7201 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 475339550 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280138281728 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7378] ppid=7367 vsize=15485004 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7378/stat : 7378 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339552 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280137230288 140280672073627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7379] ppid=7367 vsize=15485004 memory=1172 CPUtime=2.47 cores=1,3,5,7
/proc/7369/task/7379/stat : 7379 (java) R 7367 7367 7201 0 -1 4202560 17439 0 0 0 245 2 0 0 20 0 19 0 475339553 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280136178712 140280656451102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7380] ppid=7367 vsize=15485004 memory=6316 CPUtime=2.29 cores=1,3,5,7
/proc/7369/task/7380/stat : 7380 (java) S 7367 7367 7201 0 -1 1077944384 16336 0 0 0 228 1 0 0 20 0 19 0 475339553 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280135125872 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7381] ppid=7367 vsize=15485004 memory=828 CPUtime=0.75 cores=1,3,5,7
/proc/7369/task/7381/stat : 7381 (java) S 7367 7367 7201 0 -1 1077944384 9408 0 0 0 73 2 0 0 20 0 19 0 475339553 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280134072816 140280672066178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7382] ppid=7367 vsize=15485004 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7369/task/7382/stat : 7382 (java) S 7367 7367 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339553 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280133020512 140280672065237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
[pid=7369/tid=7383] ppid=7367 vsize=15485004 memory=1532 CPUtime=0.02 cores=1,3,5,7
/proc/7369/task/7383/stat : 7383 (java) R 7367 7367 7201 0 -1 1077944384 1167 0 0 0 0 2 0 0 20 0 19 0 475339553 15856644096 47488 33554432000 4194304 4196468 140720562784448 140280131967536 140280672066178 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 15355904 140720562787291 140720562787466 140720562787466 140720562790351 0
Current children cumulated CPU time: 283.38 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 191404 KiB
Child status: 0
Real time (s): 71.6297
CPU time (s): 283.432
CPU user time (s): 283.155
CPU system time (s): 0.276613
CPU usage (%): 395.69
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 244192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.155
system time used= 0.276613
maximum resident set size= 242740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80728
page faults= 0
swaps= 0
block input operations= 8
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6221
involuntary context switches= 5661
# summary of solver processes directly reported to runsolver:
# pid: 7367
# total CPU time (s): 283.432
# total CPU user time (s): 283.155
# total CPU system time (s): 0.276613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.488009 second user time and 0.889996 second system time
The end
Begin job on node150 at 2019-09-20 16:43:50 IDJOB=4404137 IDBENCH=124140 IDSOLVER=2864 FILE ID=node150/4404137-1568990670 RUNJOBID= node150-1568990625-7233 PBS_JOBID= 21704648 Free space on /var/tmp= 13456 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-6.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404137-1568990670/watcher-4404137-1568990670 -o /var/tmp/evaluation-result-4404137-1568990670/solver-4404137-1568990670 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 68445562 HOME/instance-4404137-1568990670.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=68445562 node150.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.79 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.79 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.79 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.79 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: 9149316 kB MemAvailable: 31619876 kB Buffers: 160916 kB Cached: 22212844 kB SwapCached: 7956 kB Active: 11378860 kB Inactive: 11236872 kB Active(anon): 212216 kB Inactive(anon): 70436 kB Active(file): 11166644 kB Inactive(file): 11166436 kB Unevictable: 110740 kB Mlocked: 110740 kB SwapTotal: 67108860 kB SwapFree: 67021820 kB Dirty: 26040 kB Writeback: 672 kB AnonPages: 344616 kB Mapped: 60652 kB Shmem: 32448 kB Slab: 596128 kB SReclaimable: 565940 kB SUnreclaim: 30188 kB KernelStack: 3824 kB PageTables: 5976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1517296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13432 MiB End job on node150 at 2019-09-20 16:45:02