Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 parallel | OPT | 102 | 511.7 | 64.8165 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml |
| MD5SUM | f7684c3e1f9d094a59a7b3edf9b14040 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 8.2119 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2856 |
| Number of constraints | 158 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2856}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2720 |
| Distribution of constraint arities | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":156}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404920-1569003941.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404920-1569003941.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.27/0.83 c solve instance... 458.45/58.18 o 104 469.46/59.51 o 103 483.78/61.39 o 102 511.67/64.80 s OPTIMUM FOUND 511.67/64.80 v <instantiation> 511.67/64.80 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] </list> 511.67/64.80 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 511.67/64.80 v </instantiation>
OK 102
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4612 MiB free)
memory of node 1: 16384 MiB (6910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404920-1569003941/watcher-4404920-1569003941 -o /var/tmp/evaluation-result-4404920-1569003941/solver-4404920-1569003941 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 659560169 HOME/instance-4404920-1569003941.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10536, runsolver pid=10533
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 7.94 8.18 8.27 3/211 10557
/proc/meminfo: memFree=11780860/32770624 swapFree=66956720/67108860
[pid=10536] ppid=10533 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10536/stat : 10536 (xcsp3-exec) S 10533 10536 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476632776 115843072 363 33554432000 4194304 5098028 140725134950368 140725134948472 139645484995196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140725134959448 140725134959706 140725134959706 140725134962630 0
/proc/10536/statm: 28282 363 304 221 0 87 0
[pid=10538] ppid=10536 vsize=28227396 memory=30104 CPUtime=0.12 cores=0-7
/proc/10538/stat : 10538 (java) S 10536 10536 3200 0 -1 1077944320 5493 0 0 0 11 1 0 0 20 0 20 0 476632777 28904853504 7526 33554432000 4194304 4196468 140735952808576 140735952791120 140300300402423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
/proc/10538/statm: 7056849 7526 3126 1 0 7019032 0
[pid=10538/tid=10539] ppid=10536 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10538/task/10539/stat : 10539 (java) R 10536 10536 3200 0 -1 4202560 3403 0 0 0 8 1 0 0 20 0 20 0 476632777 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300304634688 140300300414358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10540] ppid=10536 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10538/task/10540/stat : 10540 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300220255120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10541] ppid=10536 vsize=28227396 memory=139636755732096 CPUtime=0 cores=0-7
/proc/10538/task/10541/stat : 10541 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300219202320 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10542] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10542/stat : 10542 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300218150032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10543] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10543/stat : 10543 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300217097232 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10544] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10544/stat : 10544 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300216043920 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10545] ppid=10536 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10545/stat : 10545 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300214991120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10546] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10546/stat : 10546 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300213938832 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10547] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10547/stat : 10547 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 7526 33554432000 4194304 4196468 140735952808576 140300212886032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10548] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10548/stat : 10548 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632779 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298898647664 140300300413570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10549] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10549/stat : 10549 (java) S 10536 10536 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476632780 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298897593632 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10550] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10550/stat : 10550 (java) S 10536 10536 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476632780 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298896541296 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10551] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10551/stat : 10551 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298895489616 140300300421019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10552] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10552/stat : 10552 (java) R 10536 10536 3200 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298894436464 140300300413570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10553] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10553/stat : 10553 (java) R 10536 10536 3200 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298893375312 140300278711489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10554] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10554/stat : 10554 (java) R 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298892331376 140300300413570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10555] ppid=10536 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10538/task/10555/stat : 10555 (java) R 10536 10536 3200 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 476632782 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298891278576 140300284716016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10556] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10556/stat : 10556 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298890226528 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10557] ppid=10536 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10557/stat : 10557 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632783 28904853504 7526 33554432000 4194304 4196468 140735952808576 140298889173808 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31556 KiB
[startup+0.21054 s]*
/proc/loadavg: 7.94 8.18 8.27 3/211 10557
/proc/meminfo: memFree=11768720/32770624 swapFree=66956720/67108860
[pid=10536] ppid=10533 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10536/stat : 10536 (xcsp3-exec) S 10533 10536 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476632776 115843072 363 33554432000 4194304 5098028 140725134950368 140725134948472 139645484995196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140725134959448 140725134959706 140725134959706 140725134962630 0
/proc/10536/statm: 28282 363 304 221 0 87 0
[pid=10538] ppid=10536 vsize=28227396 memory=40744 CPUtime=0.33 cores=0-7
/proc/10538/stat : 10538 (java) S 10536 10536 3200 0 -1 1077944320 8893 0 0 0 30 3 0 0 20 0 20 0 476632777 28904853504 10186 33554432000 4194304 4196468 140735952808576 140735952791120 140300300402423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
/proc/10538/statm: 7056849 10186 3298 1 0 7019032 0
[pid=10538/tid=10539] ppid=10536 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10538/task/10539/stat : 10539 (java) R 10536 10536 3200 0 -1 4202560 6171 0 0 0 18 2 0 0 20 0 20 0 476632777 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300304636544 140300283595147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10540] ppid=10536 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/10538/task/10540/stat : 10540 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300220255120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10541] ppid=10536 vsize=28227396 memory=139636755746570 CPUtime=0 cores=0-7
/proc/10538/task/10541/stat : 10541 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300219202320 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10542] ppid=10536 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10542/stat : 10542 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300218150032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10543] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10543/stat : 10543 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300217097232 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10544] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10544/stat : 10544 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300216043920 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10545] ppid=10536 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10545/stat : 10545 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300214991120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10546] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10546/stat : 10546 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300213938832 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10547] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10547/stat : 10547 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28904853504 10186 33554432000 4194304 4196468 140735952808576 140300212886032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10548] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10548/stat : 10548 (java) S 10536 10536 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476632779 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298898647664 140300300413570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10549] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10549/stat : 10549 (java) S 10536 10536 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476632780 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298897593632 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10550] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10550/stat : 10550 (java) S 10536 10536 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476632780 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298896541296 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10551] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10551/stat : 10551 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298895489616 140300300421019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10552] ppid=10536 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10538/task/10552/stat : 10552 (java) S 10536 10536 3200 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 476632782 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298894436464 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10553] ppid=10536 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10538/task/10553/stat : 10553 (java) S 10536 10536 3200 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 476632782 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298893383664 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10554] ppid=10536 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10554/stat : 10554 (java) S 10536 10536 3200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298892331376 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10555] ppid=10536 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/10538/task/10555/stat : 10555 (java) S 10536 10536 3200 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 20 0 476632782 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298891278576 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10556] ppid=10536 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10556/stat : 10556 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632782 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298890226528 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10557] ppid=10536 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10557/stat : 10557 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632783 28904853504 10186 33554432000 4194304 4196468 140735952808576 140298889173808 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42196 KiB
[startup+0.31052 s]*
/proc/loadavg: 7.94 8.18 8.27 3/211 10557
/proc/meminfo: memFree=11761572/32770624 swapFree=66956720/67108860
[pid=10536] ppid=10533 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10536/stat : 10536 (xcsp3-exec) S 10533 10536 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476632776 115843072 363 33554432000 4194304 5098028 140725134950368 140725134948472 139645484995196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140725134959448 140725134959706 140725134959706 140725134962630 0
/proc/10536/statm: 28282 363 304 221 0 87 0
[pid=10538] ppid=10536 vsize=28231652 memory=50296 CPUtime=0.53 cores=0-7
/proc/10538/stat : 10538 (java) S 10536 10536 3200 0 -1 1077944320 10350 0 0 0 48 5 0 0 20 0 20 0 476632777 28909211648 12574 33554432000 4194304 4196468 140735952808576 140735952791120 140300300402423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
/proc/10538/statm: 7057913 12574 3346 1 0 7019032 0
[pid=10538/tid=10539] ppid=10536 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10538/task/10539/stat : 10539 (java) R 10536 10536 3200 0 -1 4202560 7348 0 0 0 27 3 0 0 20 0 20 0 476632777 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300304633536 140300300424349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10540] ppid=10536 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10540/stat : 10540 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300220255120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10541] ppid=10536 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10541/stat : 10541 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300219202320 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10542] ppid=10536 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10542/stat : 10542 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300218150032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10543] ppid=10536 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10543/stat : 10543 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300217097232 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10544] ppid=10536 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/10538/task/10544/stat : 10544 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300216043920 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10545] ppid=10536 vsize=28231652 memory=139636634645423 CPUtime=0 cores=0-7
/proc/10538/task/10545/stat : 10545 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300214991120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10546] ppid=10536 vsize=28231652 memory=139636634647728 CPUtime=0 cores=0-7
/proc/10538/task/10546/stat : 10546 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300213938832 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10547] ppid=10536 vsize=28231652 memory=139636634650032 CPUtime=0 cores=0-7
/proc/10538/task/10547/stat : 10547 (java) S 10536 10536 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476632778 28909211648 12574 33554432000 4194304 4196468 140735952808576 140300212886032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10548] ppid=10536 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10548/stat : 10548 (java) S 10536 10536 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476632779 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298898647664 140300300413570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10549] ppid=10536 vsize=28231652 memory=279273269307024 CPUtime=0 cores=0-7
/proc/10538/task/10549/stat : 10549 (java) S 10536 10536 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476632780 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298897593632 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10550] ppid=10536 vsize=28231652 memory=279273269313936 CPUtime=0 cores=0-7
/proc/10538/task/10550/stat : 10550 (java) S 10536 10536 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476632780 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298896541296 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10551] ppid=10536 vsize=28231652 memory=279273269255088 CPUtime=0 cores=0-7
/proc/10538/task/10551/stat : 10551 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632782 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298895489616 140300300421019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10552] ppid=10536 vsize=28231652 memory=279273269327760 CPUtime=0.03 cores=0-7
/proc/10538/task/10552/stat : 10552 (java) S 10536 10536 3200 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 20 0 476632782 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298894436464 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10553] ppid=10536 vsize=28231652 memory=279273269334672 CPUtime=0.02 cores=0-7
/proc/10538/task/10553/stat : 10553 (java) S 10536 10536 3200 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 476632782 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298893383664 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10554] ppid=10536 vsize=28231652 memory=279273269332368 CPUtime=0.02 cores=0-7
/proc/10538/task/10554/stat : 10554 (java) S 10536 10536 3200 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 20 0 476632782 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298892331376 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10555] ppid=10536 vsize=28231652 memory=279273269348528 CPUtime=0.13 cores=0-7
/proc/10538/task/10555/stat : 10555 (java) S 10536 10536 3200 0 -1 1077944384 935 0 0 0 13 0 0 0 20 0 20 0 476632782 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298891278576 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10556] ppid=10536 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10556/stat : 10556 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632782 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298890226528 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10557] ppid=10536 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/10538/task/10557/stat : 10557 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632783 28909211648 12574 33554432000 4194304 4196468 140735952808576 140298889173808 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51748 KiB
[startup+0.701002 s]
/proc/loadavg: 7.54 8.09 8.24 3/211 10557
/proc/meminfo: memFree=11743252/32770624 swapFree=66956720/67108860
[pid=10536] ppid=10533 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10536/stat : 10536 (xcsp3-exec) S 10533 10536 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476632776 115843072 363 33554432000 4194304 5098028 140725134950368 140725134948472 139645484995196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140725134959448 140725134959706 140725134959706 140725134962630 0
/proc/10536/statm: 28282 363 304 221 0 87 0
[pid=10538] ppid=10536 vsize=28233776 memory=101792 CPUtime=1.83 cores=0-7
/proc/10538/stat : 10538 (java) S 10536 10536 3200 0 -1 1077944320 15119 0 0 0 175 8 0 0 20 0 20 0 476632777 28911386624 25448 33554432000 4194304 4196468 140735952808576 140735952791120 140300300402423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
/proc/10538/statm: 7058444 25448 3465 1 0 7019544 0
[pid=10538/tid=10539] ppid=10536 vsize=28233776 memory=279273269706416 CPUtime=0.67 cores=0-7
/proc/10538/task/10539/stat : 10539 (java) R 10536 10536 3200 0 -1 4202560 8760 0 0 0 63 4 0 0 20 0 20 0 476632777 28911386624 25448 33554432000 4194304 4196468 140735952808576 140300304638560 140299888339056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10540] ppid=10536 vsize=28233776 memory=139636634854256 CPUtime=0 cores=0-7
/proc/10538/task/10540/stat : 10540 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28911386624 25448 33554432000 4194304 4196468 140735952808576 140300220255120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10541] ppid=10536 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10541/stat : 10541 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476632778 28911386624 25448 33554432000 4194304 4196468 140735952808576 140300219202320 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10542] ppid=10536 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/10538/task/10542/stat : 10542 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476632778 28911386624 25448 33554432000 4194304 4196468 140735952808576 140300218150032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
################
# More data... #
################
[pid=10538/tid=10555] ppid=10536 vsize=28766288 memory=4302 CPUtime=0.81 cores=0-7
/proc/10538/task/10555/stat : 10555 (java) S 10536 10536 3200 0 -1 1077944384 7528 0 0 0 80 1 0 0 20 0 28 0 476632782 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298891278576 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10556] ppid=10536 vsize=28766288 memory=4301 CPUtime=0 cores=0-7
/proc/10538/task/10556/stat : 10556 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476632782 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298890226528 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10557] ppid=10536 vsize=28766288 memory=4304 CPUtime=0.02 cores=0-7
/proc/10538/task/10557/stat : 10557 (java) S 10536 10536 3200 0 -1 1077944384 933 0 0 0 1 1 0 0 20 0 28 0 476632783 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298889173808 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10585] ppid=10536 vsize=28766288 memory=4316 CPUtime=2.62 cores=0-7
/proc/10538/task/10585/stat : 10585 (java) R 10536 10536 3200 0 -1 4202560 31 0 0 0 262 0 0 0 20 0 28 0 476638915 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298879954120 140299894578749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10586] ppid=10536 vsize=28766288 memory=1452 CPUtime=2.62 cores=0-7
/proc/10538/task/10586/stat : 10586 (java) R 10536 10536 3200 0 -1 4202560 21 0 0 0 262 0 0 0 20 0 28 0 476638915 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298878902440 140299894068217 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10587] ppid=10536 vsize=28766288 memory=1452 CPUtime=2.61 cores=0-7
/proc/10538/task/10587/stat : 10587 (java) R 10536 10536 3200 0 -1 4202560 21 0 0 0 261 0 0 0 20 0 28 0 476638915 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298875743784 140300281808712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10588] ppid=10536 vsize=28766288 memory=249868 CPUtime=2.62 cores=0-7
/proc/10538/task/10588/stat : 10588 (java) R 10536 10536 3200 0 -1 4202560 37 0 0 0 262 0 0 0 20 0 28 0 476638916 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298872585640 140299894068217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10589] ppid=10536 vsize=28766288 memory=6933690279252828305 CPUtime=2.61 cores=0-7
/proc/10538/task/10589/stat : 10589 (java) R 10536 10536 3200 0 -1 4202560 21 0 0 0 261 0 0 0 20 0 28 0 476638916 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298874691232 140299894068264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10590] ppid=10536 vsize=28766288 memory=7679373425970869011 CPUtime=2.62 cores=0-7
/proc/10538/task/10590/stat : 10590 (java) R 10536 10536 3200 0 -1 4202560 20 0 0 0 262 0 0 0 20 0 28 0 476638916 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298877849400 140299894068584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10591] ppid=10536 vsize=28766288 memory=-8990767739041718176 CPUtime=2.56 cores=0-7
/proc/10538/task/10591/stat : 10591 (java) R 10536 10536 3200 0 -1 4202560 25 0 0 0 256 0 0 0 20 0 28 0 476638916 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298873638840 140299895775378 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10592] ppid=10536 vsize=28766288 memory=6944613755294413216 CPUtime=2.62 cores=0-7
/proc/10538/task/10592/stat : 10592 (java) R 10536 10536 3200 0 -1 4202560 24 0 0 0 262 0 0 0 20 0 28 0 476638916 29456678912 62516 33554432000 4194304 4196468 140735952808576 140298876796784 140299895175738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
Current children cumulated CPU time: 505.38 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 251516 KiB
[startup+64.4061 s]
/proc/loadavg: 8.16 8.19 8.27 9/219 10592
/proc/meminfo: memFree=11562196/32770624 swapFree=66956720/67108860
[pid=10536] ppid=10533 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10536/stat : 10536 (xcsp3-exec) S 10533 10536 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476632776 115843072 363 33554432000 4194304 5098028 140725134950368 140725134948472 139645484995196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140725134959448 140725134959706 140725134959706 140725134962630 0
/proc/10536/statm: 28282 363 304 221 0 87 0
[pid=10538] ppid=10536 vsize=28766288 memory=250336 CPUtime=508.51 cores=0-7
/proc/10538/stat : 10538 (java) S 10536 10536 3200 0 -1 1077944320 69698 0 0 0 50794 57 0 0 20 0 28 0 476632777 29456678912 62584 33554432000 4194304 4196468 140735952808576 140735952791120 140300300402423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
/proc/10538/statm: 7191572 62584 3536 1 0 7152672 0
[pid=10538/tid=10539] ppid=10536 vsize=28766288 memory=6944656592455097440 CPUtime=0.84 cores=0-7
/proc/10538/task/10539/stat : 10539 (java) S 10536 10536 3200 0 -1 1077944384 9070 0 0 0 79 5 0 0 20 0 28 0 476632777 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300304643200 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10540] ppid=10536 vsize=28766288 memory=6944656592455359580 CPUtime=0.11 cores=0-7
/proc/10538/task/10540/stat : 10540 (java) S 10536 10536 3200 0 -1 1077944384 2769 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300220255120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10541] ppid=10536 vsize=28766288 memory=6944656592455359580 CPUtime=0.12 cores=0-7
/proc/10538/task/10541/stat : 10541 (java) S 10536 10536 3200 0 -1 1077944384 1671 0 0 0 9 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300219202320 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10542] ppid=10536 vsize=28766288 memory=808 CPUtime=0.1 cores=0-7
/proc/10538/task/10542/stat : 10542 (java) S 10536 10536 3200 0 -1 1077944384 982 0 0 0 7 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300218150032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10543] ppid=10536 vsize=28766288 memory=1764 CPUtime=0.11 cores=0-7
/proc/10538/task/10543/stat : 10543 (java) S 10536 10536 3200 0 -1 1077944384 644 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300217097232 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10544] ppid=10536 vsize=28766288 memory=111628 CPUtime=0.11 cores=0-7
/proc/10538/task/10544/stat : 10544 (java) S 10536 10536 3200 0 -1 1077944384 773 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300216043920 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10545] ppid=10536 vsize=28766288 memory=800 CPUtime=0.11 cores=0-7
/proc/10538/task/10545/stat : 10545 (java) S 10536 10536 3200 0 -1 1077944384 1416 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300214991120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10546] ppid=10536 vsize=28766288 memory=1808 CPUtime=0.11 cores=0-7
/proc/10538/task/10546/stat : 10546 (java) S 10536 10536 3200 0 -1 1077944384 673 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300213938832 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10547] ppid=10536 vsize=28766288 memory=924 CPUtime=0.11 cores=0-7
/proc/10538/task/10547/stat : 10547 (java) S 10536 10536 3200 0 -1 1077944384 666 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62584 33554432000 4194304 4196468 140735952808576 140300212886032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10548] ppid=10536 vsize=28766288 memory=4840 CPUtime=0.04 cores=0-7
/proc/10538/task/10548/stat : 10548 (java) S 10536 10536 3200 0 -1 1077944384 2194 0 0 0 3 1 0 0 20 0 28 0 476632779 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298898647664 140300300413570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10549] ppid=10536 vsize=28766288 memory=4096 CPUtime=0 cores=0-7
/proc/10538/task/10549/stat : 10549 (java) S 10536 10536 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476632780 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298897593632 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10550] ppid=10536 vsize=28766288 memory=1412 CPUtime=0 cores=0-7
/proc/10538/task/10550/stat : 10550 (java) S 10536 10536 3200 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476632780 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298896541296 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10551] ppid=10536 vsize=28766288 memory=3296 CPUtime=0 cores=0-7
/proc/10538/task/10551/stat : 10551 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476632782 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298895489616 140300300421019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10552] ppid=10536 vsize=28766288 memory=1452 CPUtime=1.77 cores=0-7
/proc/10538/task/10552/stat : 10552 (java) S 10536 10536 3200 0 -1 1077944384 10700 0 0 0 174 3 0 0 20 0 28 0 476632782 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298894436464 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10553] ppid=10536 vsize=28766288 memory=249936 CPUtime=1.6 cores=0-7
/proc/10538/task/10553/stat : 10553 (java) S 10536 10536 3200 0 -1 1077944384 6663 0 0 0 158 2 0 0 20 0 28 0 476632782 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298893383664 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10554] ppid=10536 vsize=28766288 memory=3160 CPUtime=1.68 cores=0-7
/proc/10538/task/10554/stat : 10554 (java) S 10536 10536 3200 0 -1 1077944384 11175 0 0 0 166 2 0 0 20 0 28 0 476632782 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298892331376 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10555] ppid=10536 vsize=28766288 memory=250064 CPUtime=0.81 cores=0-7
/proc/10538/task/10555/stat : 10555 (java) S 10536 10536 3200 0 -1 1077944384 7554 0 0 0 80 1 0 0 20 0 28 0 476632782 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298891278576 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10556] ppid=10536 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/10538/task/10556/stat : 10556 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476632782 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298890226528 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10557] ppid=10536 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7
/proc/10538/task/10557/stat : 10557 (java) S 10536 10536 3200 0 -1 1077944384 933 0 0 0 1 1 0 0 20 0 28 0 476632783 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298889173808 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10585] ppid=10536 vsize=28766288 memory=0 CPUtime=3.01 cores=0-7
/proc/10538/task/10585/stat : 10585 (java) R 10536 10536 3200 0 -1 4202560 56 0 0 0 301 0 0 0 20 0 28 0 476638915 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298879954120 140299894068035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10586] ppid=10536 vsize=28766288 memory=0 CPUtime=3.01 cores=0-7
/proc/10538/task/10586/stat : 10586 (java) R 10536 10536 3200 0 -1 4202560 34 0 0 0 301 0 0 0 20 0 28 0 476638915 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298878902440 140299894068242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10587] ppid=10536 vsize=28766288 memory=0 CPUtime=3 cores=0-7
/proc/10538/task/10587/stat : 10587 (java) R 10536 10536 3200 0 -1 4202560 39 0 0 0 300 0 0 0 20 0 28 0 476638915 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298875743784 140299894841954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10588] ppid=10536 vsize=28766288 memory=0 CPUtime=3.01 cores=0-7
/proc/10538/task/10588/stat : 10588 (java) R 10536 10536 3200 0 -1 4202560 128 0 0 0 301 0 0 0 20 0 28 0 476638916 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298872588040 140299896118144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10589] ppid=10536 vsize=28766288 memory=0 CPUtime=3 cores=0-7
/proc/10538/task/10589/stat : 10589 (java) R 10536 10536 3200 0 -1 4202560 32 0 0 0 300 0 0 0 20 0 28 0 476638916 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298874691368 140299894068237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10590] ppid=10536 vsize=28766288 memory=2241 CPUtime=3 cores=0-7
/proc/10538/task/10590/stat : 10590 (java) R 10536 10536 3200 0 -1 4202560 73 0 0 0 300 0 0 0 20 0 28 0 476638916 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298877849400 140299896645772 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10591] ppid=10536 vsize=28766288 memory=2244 CPUtime=2.95 cores=0-7
/proc/10538/task/10591/stat : 10591 (java) R 10536 10536 3200 0 -1 4202560 116 0 0 0 295 0 0 0 20 0 28 0 476638916 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298873638840 140299894578418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10592] ppid=10536 vsize=28766288 memory=7810180124411915361 CPUtime=3 cores=0-7
/proc/10538/task/10592/stat : 10592 (java) R 10536 10536 3200 0 -1 4202560 122 0 0 0 300 0 0 0 20 0 28 0 476638916 29456678912 62584 33554432000 4194304 4196468 140735952808576 140298876796784 140299894068273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
Current children cumulated CPU time: 508.51 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 251788 KiB
[startup+64.8021 s]
/proc/loadavg: 8.16 8.19 8.27 9/219 10592
/proc/meminfo: memFree=11562196/32770624 swapFree=66956720/67108860
[pid=10536] ppid=10533 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10536/stat : 10536 (xcsp3-exec) S 10533 10536 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476632776 115843072 363 33554432000 4194304 5098028 140725134950368 140725134948472 139645484995196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140725134959448 140725134959706 140725134959706 140725134962630 0
/proc/10536/statm: 28282 363 304 221 0 87 0
[pid=10538] ppid=10536 vsize=28766288 memory=250404 CPUtime=511.67 cores=0-7
/proc/10538/stat : 10538 (java) S 10536 10536 3200 0 -1 1077944320 69814 0 0 0 51110 57 0 0 20 0 28 0 476632777 29456678912 62601 33554432000 4194304 4196468 140735952808576 140735952791120 140300300402423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
/proc/10538/statm: 7191572 62601 3536 1 0 7152672 0
[pid=10538/tid=10539] ppid=10536 vsize=28766288 memory=5450909908396308010 CPUtime=0.84 cores=0-7
/proc/10538/task/10539/stat : 10539 (java) S 10536 10536 3200 0 -1 1077944384 9070 0 0 0 79 5 0 0 20 0 28 0 476632777 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300304643200 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10540] ppid=10536 vsize=28766288 memory=-7028383565733675155 CPUtime=0.11 cores=0-7
/proc/10538/task/10540/stat : 10540 (java) S 10536 10536 3200 0 -1 1077944384 2769 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300220255120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10541] ppid=10536 vsize=28766288 memory=7898351070516488779 CPUtime=0.12 cores=0-7
/proc/10538/task/10541/stat : 10541 (java) S 10536 10536 3200 0 -1 1077944384 1671 0 0 0 9 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300219202320 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10542] ppid=10536 vsize=28766288 memory=-7028383565733675155 CPUtime=0.1 cores=0-7
/proc/10538/task/10542/stat : 10542 (java) S 10536 10536 3200 0 -1 1077944384 982 0 0 0 7 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300218150032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10543] ppid=10536 vsize=28766288 memory=-7028383565733675155 CPUtime=0.11 cores=0-7
/proc/10538/task/10543/stat : 10543 (java) S 10536 10536 3200 0 -1 1077944384 644 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300217097232 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10544] ppid=10536 vsize=28766288 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/10538/task/10544/stat : 10544 (java) S 10536 10536 3200 0 -1 1077944384 773 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300216043920 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10545] ppid=10536 vsize=28766288 memory=47436571609834 CPUtime=0.11 cores=0-7
/proc/10538/task/10545/stat : 10545 (java) S 10536 10536 3200 0 -1 1077944384 1416 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300214991120 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10546] ppid=10536 vsize=28766288 memory=47436571609834 CPUtime=0.11 cores=0-7
/proc/10538/task/10546/stat : 10546 (java) S 10536 10536 3200 0 -1 1077944384 673 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300213938832 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10547] ppid=10536 vsize=28766288 memory=47436571609834 CPUtime=0.11 cores=0-7
/proc/10538/task/10547/stat : 10547 (java) S 10536 10536 3200 0 -1 1077944384 666 0 0 0 8 3 0 0 20 0 28 0 476632778 29456678912 62601 33554432000 4194304 4196468 140735952808576 140300212886032 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10548] ppid=10536 vsize=28766288 memory=47436571609834 CPUtime=0.04 cores=0-7
/proc/10538/task/10548/stat : 10548 (java) S 10536 10536 3200 0 -1 1077944384 2194 0 0 0 3 1 0 0 20 0 28 0 476632779 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298898647664 140300300413570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10549] ppid=10536 vsize=28766288 memory=47436571609834 CPUtime=0 cores=0-7
/proc/10538/task/10549/stat : 10549 (java) S 10536 10536 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476632780 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298897593632 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10550] ppid=10536 vsize=28766288 memory=47436571609578 CPUtime=0 cores=0-7
/proc/10538/task/10550/stat : 10550 (java) S 10536 10536 3200 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476632780 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298896541296 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10551] ppid=10536 vsize=28766288 memory=47436571609578 CPUtime=0 cores=0-7
/proc/10538/task/10551/stat : 10551 (java) S 10536 10536 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476632782 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298895489616 140300300421019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10552] ppid=10536 vsize=28766288 memory=47436571609322 CPUtime=1.77 cores=0-7
/proc/10538/task/10552/stat : 10552 (java) S 10536 10536 3200 0 -1 1077944384 10700 0 0 0 174 3 0 0 20 0 28 0 476632782 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298894436464 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10553] ppid=10536 vsize=28766288 memory=84 CPUtime=1.6 cores=0-7
/proc/10538/task/10553/stat : 10553 (java) S 10536 10536 3200 0 -1 1077944384 6663 0 0 0 158 2 0 0 20 0 28 0 476632782 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298893383664 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10554] ppid=10536 vsize=28766288 memory=11 CPUtime=1.68 cores=0-7
/proc/10538/task/10554/stat : 10554 (java) S 10536 10536 3200 0 -1 1077944384 11175 0 0 0 166 2 0 0 20 0 28 0 476632782 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298892331376 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10555] ppid=10536 vsize=28766288 memory=12 CPUtime=0.81 cores=0-7
/proc/10538/task/10555/stat : 10555 (java) S 10536 10536 3200 0 -1 1077944384 7554 0 0 0 80 1 0 0 20 0 28 0 476632782 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298891278576 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10556] ppid=10536 vsize=28766288 memory=10 CPUtime=0 cores=0-7
/proc/10538/task/10556/stat : 10556 (java) S 10536 10536 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476632782 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298890226528 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10557] ppid=10536 vsize=28766288 memory=11 CPUtime=0.02 cores=0-7
/proc/10538/task/10557/stat : 10557 (java) S 10536 10536 3200 0 -1 1077944384 942 0 0 0 1 1 0 0 20 0 28 0 476632783 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298889173808 140300300413570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10585] ppid=10536 vsize=28766288 memory=11 CPUtime=3.4 cores=0-7
/proc/10538/task/10585/stat : 10585 (java) R 10536 10536 3200 0 -1 4202560 59 0 0 0 340 0 0 0 20 0 28 0 476638915 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298879954120 140299894068603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10586] ppid=10536 vsize=28766288 memory=11 CPUtime=3.4 cores=0-7
/proc/10538/task/10586/stat : 10586 (java) S 10536 10536 3200 0 -1 1077944384 64 0 0 0 340 0 0 0 20 0 28 0 476638915 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298878907856 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10587] ppid=10536 vsize=28766288 memory=11 CPUtime=3.4 cores=0-7
/proc/10538/task/10587/stat : 10587 (java) R 10536 10536 3200 0 -1 4202560 69 0 0 0 340 0 0 0 20 0 28 0 476638915 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298875743784 140299894068571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10588] ppid=10536 vsize=28766288 memory=11 CPUtime=3.4 cores=0-7
/proc/10538/task/10588/stat : 10588 (java) S 10536 10536 3200 0 -1 1077944384 254 0 0 0 340 0 0 0 20 0 28 0 476638916 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298872591056 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10589] ppid=10536 vsize=28766288 memory=1452 CPUtime=3.39 cores=0-7
/proc/10538/task/10589/stat : 10589 (java) R 10536 10536 3200 0 -1 4202560 32 0 0 0 339 0 0 0 20 0 28 0 476638916 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298874691368 140299894068237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10590] ppid=10536 vsize=28766288 memory=250040 CPUtime=3.4 cores=0-7
/proc/10538/task/10590/stat : 10590 (java) S 10536 10536 3200 0 -1 1077944384 96 0 0 0 340 0 0 0 20 0 28 0 476638916 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298877854672 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10591] ppid=10536 vsize=28766288 memory=3188 CPUtime=3.34 cores=0-7
/proc/10538/task/10591/stat : 10591 (java) R 10536 10536 3200 0 -1 4202560 118 0 0 0 334 0 0 0 20 0 28 0 476638916 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298873638840 140299889380664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
[pid=10538/tid=10592] ppid=10536 vsize=28766288 memory=1452 CPUtime=3.4 cores=0-7
/proc/10538/task/10592/stat : 10592 (java) S 10536 10536 3200 0 -1 1077944384 145 0 0 0 340 0 0 0 20 0 28 0 476638916 29456678912 62601 33554432000 4194304 4196468 140735952808576 140298876802256 140300300412629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140735952815068 140735952815243 140735952815243 140735952818127 0
Current children cumulated CPU time: 511.67 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 251856 KiB
Child status: 0
Real time (s): 64.8165
CPU time (s): 511.7
CPU user time (s): 511.114
CPU system time (s): 0.585442
CPU usage (%): 789.459
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 263224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 511.114
system time used= 0.585442
maximum resident set size= 280808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7569
involuntary context switches= 7014
# summary of solver processes directly reported to runsolver:
# pid: 10536
# total CPU time (s): 511.7
# total CPU user time (s): 511.114
# total CPU system time (s): 0.585442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.737219 second user time and 0.616646 second system time
The end
Begin job on node149 at 2019-09-20 20:25:03 IDJOB=4404920 IDBENCH=124248 IDSOLVER=2866 FILE ID=node149/4404920-1569003941 RUNJOBID= node149-1568994522-3227 PBS_JOBID= 21704727 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404920-1569003941/watcher-4404920-1569003941 -o /var/tmp/evaluation-result-4404920-1569003941/solver-4404920-1569003941 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 659560169 HOME/instance-4404920-1569003941.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=659560169 node149.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.81 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.81 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.81 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.81 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: 11799288 kB MemAvailable: 31813872 kB Buffers: 165368 kB Cached: 19741396 kB SwapCached: 41664 kB Active: 9628468 kB Inactive: 10321160 kB Active(anon): 3484 kB Inactive(anon): 83688 kB Active(file): 9624984 kB Inactive(file): 10237472 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956720 kB Dirty: 26336 kB Writeback: 0 kB AnonPages: 112952 kB Mapped: 51880 kB Shmem: 35688 kB Slab: 610904 kB SReclaimable: 580588 kB SUnreclaim: 30316 kB KernelStack: 3376 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 20:26:08