Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 102 | 497.171 | 63.0121 |
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-4400120-1568710427.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400120-1568710427.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.26/0.86 c solve instance... 445.52/56.53 o 104 454.95/57.77 o 103 469.28/59.59 o 102 496.38/63.00 s OPTIMUM FOUND 496.38/63.00 v <instantiation> 496.38/63.00 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> 496.38/63.00 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> 496.38/63.00 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 (14714 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400120-1568710427/watcher-4400120-1568710427 -o /tmp/evaluation-result-4400120-1568710427/solver-4400120-1568710427 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 509981378 HOME/instance-4400120-1568710427.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=1153, runsolver pid=1150 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 7.63 8.00 8.09 3/212 1176 /proc/meminfo: memFree=30657500/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 [pid=1155] ppid=1153 vsize=28227396 memory=29204 CPUtime=0.12 cores=0-7 /proc/1155/stat : 1155 (java) S 1153 1153 26088 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 447298464 28904853504 7301 33554432000 4194304 4196468 140731723299920 140731723282464 140093467668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 /proc/1155/statm: 7056849 7301 3155 1 0 7019032 0 [pid=1155/tid=1156] ppid=1153 vsize=28227396 memory=-3103912127665269910 CPUtime=0.08 cores=0-7 /proc/1155/task/1156/stat : 1156 (java) R 1153 1153 26088 0 -1 1077944384 3619 0 0 0 8 0 0 0 20 0 20 0 447298464 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093471904640 140093467678421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1157] ppid=1153 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1155/task/1157/stat : 1157 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093387520784 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1158] ppid=1153 vsize=28227396 memory=140198601062016 CPUtime=0 cores=0-7 /proc/1155/task/1158/stat : 1158 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093386468240 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1159] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1159/stat : 1159 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093385415696 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1160] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1160/stat : 1160 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093384363152 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1161] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1161/stat : 1161 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093383309584 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1163] ppid=1153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1155/task/1163/stat : 1163 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093382257040 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1164] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1164/stat : 1164 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093381204496 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1165] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1165/stat : 1165 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 7301 33554432000 4194304 4196468 140731723299920 140093380151952 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1166] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1166/stat : 1166 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298466 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092184205808 140093467679362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1168] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1168/stat : 1168 (java) S 1153 1153 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447298467 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092183152032 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1169] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1169/stat : 1169 (java) S 1153 1153 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447298467 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092182099440 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1170] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1170/stat : 1170 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298469 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092181048016 140093467686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1171] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1171/stat : 1171 (java) S 1153 1153 26088 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 447298469 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092179994608 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1172] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1172/stat : 1172 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298469 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092178942064 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1173] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1173/stat : 1173 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298469 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092177889520 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1174] ppid=1153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1155/task/1174/stat : 1174 (java) R 1153 1153 26088 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 447298469 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092176836976 140093446269546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1175] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1175/stat : 1175 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298470 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092175784672 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1176] ppid=1153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1155/task/1176/stat : 1176 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298470 28904853504 7301 33554432000 4194304 4196468 140731723299920 140092174732208 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30656 KiB [startup+0.210262 s]* /proc/loadavg: 7.63 8.00 8.09 2/212 1176 /proc/meminfo: memFree=30644700/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 [pid=1155] ppid=1153 vsize=28227396 memory=41016 CPUtime=0.33 cores=0-7 /proc/1155/stat : 1155 (java) S 1153 1153 26088 0 -1 1077944320 9501 0 0 0 30 3 0 0 20 0 20 0 447298464 28904853504 10254 33554432000 4194304 4196468 140731723299920 140731723282464 140093467668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 /proc/1155/statm: 7056849 10254 3302 1 0 7019032 0 [pid=1155/tid=1156] ppid=1153 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/1155/task/1156/stat : 1156 (java) R 1153 1153 26088 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 20 0 447298464 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093471900944 140093467680150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1157] ppid=1153 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/1155/task/1157/stat : 1157 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093387520784 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1158] ppid=1153 vsize=28227396 memory=288370574752773760 CPUtime=0 cores=0-7 /proc/1155/task/1158/stat : 1158 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093386468240 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1159] ppid=1153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1155/task/1159/stat : 1159 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093385415696 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1160] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1160/stat : 1160 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093384363152 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1161] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1161/stat : 1161 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093383309584 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1163] ppid=1153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1155/task/1163/stat : 1163 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093382257040 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1164] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1164/stat : 1164 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093381204496 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1165] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1165/stat : 1165 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28904853504 10254 33554432000 4194304 4196468 140731723299920 140093380151952 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1166] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1166/stat : 1166 (java) S 1153 1153 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447298466 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092184205808 140093467679362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1168] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1168/stat : 1168 (java) S 1153 1153 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447298467 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092183152032 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1169] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1169/stat : 1169 (java) S 1153 1153 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447298467 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092182099440 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1170] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1170/stat : 1170 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298469 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092181048016 140093467686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1171] ppid=1153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1155/task/1171/stat : 1171 (java) R 1153 1153 26088 0 -1 1077944384 647 0 0 0 1 0 0 0 20 0 20 0 447298469 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092179994608 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1172] ppid=1153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1155/task/1172/stat : 1172 (java) S 1153 1153 26088 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 447298469 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092178942064 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1173] ppid=1153 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1155/task/1173/stat : 1173 (java) S 1153 1153 26088 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 447298469 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092177889520 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1174] ppid=1153 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/1155/task/1174/stat : 1174 (java) R 1153 1153 26088 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 447298469 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092176836976 140093451748702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1175] ppid=1153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1175/stat : 1175 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298470 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092175784672 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1176] ppid=1153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1155/task/1176/stat : 1176 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298470 28904853504 10254 33554432000 4194304 4196468 140731723299920 140092174732208 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42468 KiB [startup+0.309615 s]* /proc/loadavg: 7.63 8.00 8.09 4/212 1176 /proc/meminfo: memFree=30636808/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 [pid=1155] ppid=1153 vsize=28231652 memory=49612 CPUtime=0.52 cores=0-7 /proc/1155/stat : 1155 (java) S 1153 1153 26088 0 -1 1077944320 10764 0 0 0 48 4 0 0 20 0 20 0 447298464 28909211648 12403 33554432000 4194304 4196468 140731723299920 140731723282464 140093467668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 /proc/1155/statm: 7057913 12403 3350 1 0 7019032 0 [pid=1155/tid=1156] ppid=1153 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/1155/task/1156/stat : 1156 (java) R 1153 1153 26088 0 -1 4202560 7769 0 0 0 27 3 0 0 20 0 20 0 447298464 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093471899328 140093467690141 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1157] ppid=1153 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1155/task/1157/stat : 1157 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093387520784 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1158] ppid=1153 vsize=28231652 memory=776 CPUtime=0 cores=0-7 /proc/1155/task/1158/stat : 1158 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093386468240 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1159] ppid=1153 vsize=28231652 memory=1552 CPUtime=0 cores=0-7 /proc/1155/task/1159/stat : 1159 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093385415696 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1160] ppid=1153 vsize=28231652 memory=8076 CPUtime=0 cores=0-7 /proc/1155/task/1160/stat : 1160 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093384363152 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1161] ppid=1153 vsize=28231652 memory=4008 CPUtime=0 cores=0-7 /proc/1155/task/1161/stat : 1161 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093383309584 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1163] ppid=1153 vsize=28231652 memory=1556 CPUtime=0 cores=0-7 /proc/1155/task/1163/stat : 1163 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093382257040 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1164] ppid=1153 vsize=28231652 memory=2832 CPUtime=0 cores=0-7 /proc/1155/task/1164/stat : 1164 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093381204496 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1165] ppid=1153 vsize=28231652 memory=984 CPUtime=0 cores=0-7 /proc/1155/task/1165/stat : 1165 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28909211648 12442 33554432000 4194304 4196468 140731723299920 140093380151952 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1166] ppid=1153 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/1155/task/1166/stat : 1166 (java) S 1153 1153 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447298466 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092184205808 140093467679362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1168] ppid=1153 vsize=28231652 memory=11240 CPUtime=0 cores=0-7 /proc/1155/task/1168/stat : 1168 (java) S 1153 1153 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447298467 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092183152032 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1169] ppid=1153 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/1155/task/1169/stat : 1169 (java) S 1153 1153 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447298467 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092182099440 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1170] ppid=1153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1170/stat : 1170 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298469 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092181048016 140093467686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1171] ppid=1153 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1155/task/1171/stat : 1171 (java) S 1153 1153 26088 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 20 0 447298469 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092179994608 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1172] ppid=1153 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1155/task/1172/stat : 1172 (java) R 1153 1153 26088 0 -1 4202560 196 0 0 0 3 0 0 0 20 0 20 0 447298469 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092178942064 140093445320080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1173] ppid=1153 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1155/task/1173/stat : 1173 (java) S 1153 1153 26088 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 20 0 447298469 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092177889520 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1174] ppid=1153 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/1155/task/1174/stat : 1174 (java) S 1153 1153 26088 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 447298469 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092176836976 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1175] ppid=1153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1175/stat : 1175 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447298470 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092175784672 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1176] ppid=1153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1176/stat : 1176 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298470 28909211648 12442 33554432000 4194304 4196468 140731723299920 140092174732208 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51064 KiB [startup+0.700986 s] /proc/loadavg: 7.63 8.00 8.09 2/212 1176 /proc/meminfo: memFree=30622492/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 [pid=1155] ppid=1153 vsize=28233776 memory=97400 CPUtime=1.81 cores=0-7 /proc/1155/stat : 1155 (java) S 1153 1153 26088 0 -1 1077944320 14998 0 0 0 175 6 0 0 20 0 20 0 447298464 28911386624 24350 33554432000 4194304 4196468 140731723299920 140731723282464 140093467668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 /proc/1155/statm: 7058444 24350 3462 1 0 7019544 0 [pid=1155/tid=1156] ppid=1153 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/1155/task/1156/stat : 1156 (java) R 1153 1153 26088 0 -1 4202560 9261 0 0 0 64 3 0 0 20 0 20 0 447298464 28911386624 24350 33554432000 4194304 4196468 140731723299920 140093471906096 140093058808153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1157] ppid=1153 vsize=28233776 memory=140198470263664 CPUtime=0 cores=0-7 /proc/1155/task/1157/stat : 1157 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28911386624 24350 33554432000 4194304 4196468 140731723299920 140093387520784 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1158] ppid=1153 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1155/task/1158/stat : 1158 (java) S 1153 1153 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447298465 28911386624 24350 33554432000 4194304 4196468 140731723299920 140093386468240 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1159] ppid=1153 vsize=28233776 memory=2016 CPUtime=0 cores=0-7 /proc/1155/task/1159/stat : 1159 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447298465 28911386624 24350 33554432000 4194304 4196468 140731723299920 140093385415696 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 ################ # More data... # ################ [pid=1155/tid=1206] ppid=1153 vsize=28766288 memory=2552 CPUtime=1.2 cores=0-7 /proc/1155/task/1206/stat : 1206 (java) R 1153 1153 26088 0 -1 4202560 31 0 0 0 120 0 0 0 20 0 28 0 447304423 29456678912 63236 33554432000 4194304 4196468 140731723299920 140092094950904 140093064766034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1207] ppid=1153 vsize=28766288 memory=1760 CPUtime=1.17 cores=0-7 /proc/1155/task/1207/stat : 1207 (java) R 1153 1153 26088 0 -1 4202560 92 0 0 0 117 0 0 0 20 0 28 0 447304423 29456678912 63236 33554432000 4194304 4196468 140731723299920 140092093898288 140093064766070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1208] ppid=1153 vsize=28766288 memory=111632 CPUtime=1.2 cores=0-7 /proc/1155/task/1208/stat : 1208 (java) R 1153 1153 26088 0 -1 4202560 41 0 0 0 120 0 0 0 20 0 28 0 447304423 29456678912 63236 33554432000 4194304 4196468 140731723299920 140092096003872 140093064765714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1209] ppid=1153 vsize=28766288 memory=804 CPUtime=1.2 cores=0-7 /proc/1155/task/1209/stat : 1209 (java) R 1153 1153 26088 0 -1 4202560 50 0 0 0 120 0 0 0 20 0 28 0 447304423 29456678912 63236 33554432000 4194304 4196468 140731723299920 140092092845944 140093064765714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1210] ppid=1153 vsize=28766288 memory=1808 CPUtime=1.17 cores=0-7 /proc/1155/task/1210/stat : 1210 (java) R 1153 1153 26088 0 -1 4202560 32 0 0 0 117 0 0 0 20 0 28 0 447304423 29456678912 63236 33554432000 4194304 4196468 140731723299920 140092097056640 140093065588118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1211] ppid=1153 vsize=28766288 memory=924 CPUtime=1.2 cores=0-7 /proc/1155/task/1211/stat : 1211 (java) R 1153 1153 26088 0 -1 4202560 58 0 0 0 120 0 0 0 20 0 28 0 447304423 29456678912 63236 33554432000 4194304 4196468 140731723299920 140092098109336 140093064765736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 Current children cumulated CPU time: 479.62 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 254396 KiB [startup+62.4019 s] /proc/loadavg: 7.83 7.99 8.08 9/219 1212 /proc/meminfo: memFree=30434860/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 [pid=1155] ppid=1153 vsize=28766288 memory=253496 CPUtime=492.39 cores=0-7 /proc/1155/stat : 1155 (java) S 1153 1153 26088 0 -1 1077944320 69984 0 0 0 49180 59 0 0 20 0 28 0 447298464 29456678912 63374 33554432000 4194304 4196468 140731723299920 140731723282464 140093467668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 /proc/1155/statm: 7191572 63374 3532 1 0 7152672 0 [pid=1155/tid=1156] ppid=1153 vsize=28766288 memory=3384 CPUtime=0.87 cores=0-7 /proc/1155/task/1156/stat : 1156 (java) S 1153 1153 26088 0 -1 1077944384 9583 0 0 0 83 4 0 0 20 0 28 0 447298464 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093471908992 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1157] ppid=1153 vsize=28766288 memory=8112282956445269571 CPUtime=0.12 cores=0-7 /proc/1155/task/1157/stat : 1157 (java) S 1153 1153 26088 0 -1 1077944384 948 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093387520784 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1158] ppid=1153 vsize=28766288 memory=253204 CPUtime=0.11 cores=0-7 /proc/1155/task/1158/stat : 1158 (java) S 1153 1153 26088 0 -1 1077944384 2032 0 0 0 7 4 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093386468240 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1159] ppid=1153 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/1155/task/1159/stat : 1159 (java) S 1153 1153 26088 0 -1 1077944384 907 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093385415696 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1160] ppid=1153 vsize=28766288 memory=3580 CPUtime=0.1 cores=0-7 /proc/1155/task/1160/stat : 1160 (java) S 1153 1153 26088 0 -1 1077944384 1757 0 0 0 7 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093384363152 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1161] ppid=1153 vsize=28766288 memory=988 CPUtime=0.12 cores=0-7 /proc/1155/task/1161/stat : 1161 (java) S 1153 1153 26088 0 -1 1077944384 609 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093383309584 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1163] ppid=1153 vsize=28766288 memory=2016 CPUtime=0.1 cores=0-7 /proc/1155/task/1163/stat : 1163 (java) S 1153 1153 26088 0 -1 1077944384 309 0 0 0 7 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093382257040 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1164] ppid=1153 vsize=28766288 memory=1284 CPUtime=0.12 cores=0-7 /proc/1155/task/1164/stat : 1164 (java) S 1153 1153 26088 0 -1 1077944384 445 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093381204496 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1165] ppid=1153 vsize=28766288 memory=1044 CPUtime=0.12 cores=0-7 /proc/1155/task/1165/stat : 1165 (java) S 1153 1153 26088 0 -1 1077944384 1599 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63374 33554432000 4194304 4196468 140731723299920 140093380151952 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1166] ppid=1153 vsize=28766288 memory=708 CPUtime=0.03 cores=0-7 /proc/1155/task/1166/stat : 1166 (java) S 1153 1153 26088 0 -1 1077944384 2031 0 0 0 2 1 0 0 20 0 28 0 447298466 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092184205808 140093467679362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1168] ppid=1153 vsize=28766288 memory=2016 CPUtime=0 cores=0-7 /proc/1155/task/1168/stat : 1168 (java) S 1153 1153 26088 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447298467 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092183152032 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1169] ppid=1153 vsize=28766288 memory=1284 CPUtime=0 cores=0-7 /proc/1155/task/1169/stat : 1169 (java) S 1153 1153 26088 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 447298467 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092182099440 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1170] ppid=1153 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/1155/task/1170/stat : 1170 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447298469 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092181048016 140093467686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1171] ppid=1153 vsize=28766288 memory=253496 CPUtime=1.64 cores=0-7 /proc/1155/task/1171/stat : 1171 (java) S 1153 1153 26088 0 -1 1077944384 9598 0 0 0 161 3 0 0 20 0 28 0 447298469 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092179994608 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1172] ppid=1153 vsize=28766288 memory=9364 CPUtime=1.81 cores=0-7 /proc/1155/task/1172/stat : 1172 (java) S 1153 1153 26088 0 -1 1077944384 9649 0 0 0 179 2 0 0 20 0 28 0 447298469 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092178942064 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1173] ppid=1153 vsize=28766288 memory=1120 CPUtime=1.72 cores=0-7 /proc/1155/task/1173/stat : 1173 (java) S 1153 1153 26088 0 -1 1077944384 11328 0 0 0 169 3 0 0 20 0 28 0 447298469 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092177889520 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1174] ppid=1153 vsize=28766288 memory=1760 CPUtime=0.79 cores=0-7 /proc/1155/task/1174/stat : 1174 (java) S 1153 1153 26088 0 -1 1077944384 7689 0 0 0 78 1 0 0 20 0 28 0 447298469 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092176836976 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1175] ppid=1153 vsize=28766288 memory=111632 CPUtime=0 cores=0-7 /proc/1155/task/1175/stat : 1175 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447298470 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092175784672 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1176] ppid=1153 vsize=28766288 memory=804 CPUtime=0.02 cores=0-7 /proc/1155/task/1176/stat : 1176 (java) S 1153 1153 26088 0 -1 1077944384 709 0 0 0 0 2 0 0 20 0 28 0 447298470 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092174732208 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1204] ppid=1153 vsize=28766288 memory=1808 CPUtime=2.8 cores=0-7 /proc/1155/task/1204/stat : 1204 (java) R 1153 1153 26088 0 -1 4202560 77 0 0 0 280 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092091792520 140093065170226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1205] ppid=1153 vsize=28766288 memory=924 CPUtime=2.73 cores=0-7 /proc/1155/task/1205/stat : 1205 (java) R 1153 1153 26088 0 -1 4202560 81 0 0 0 273 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092090741128 140093065051554 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1206] ppid=1153 vsize=28766288 memory=4440 CPUtime=2.8 cores=0-7 /proc/1155/task/1206/stat : 1206 (java) R 1153 1153 26088 0 -1 4202560 64 0 0 0 280 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092094950920 140093064765709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1207] ppid=1153 vsize=28766288 memory=4100 CPUtime=2.75 cores=0-7 /proc/1155/task/1207/stat : 1207 (java) R 1153 1153 26088 0 -1 4202560 189 0 0 0 275 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092093898360 140093065170226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1208] ppid=1153 vsize=28766288 memory=1164 CPUtime=2.79 cores=0-7 /proc/1155/task/1208/stat : 1208 (java) R 1153 1153 26088 0 -1 4202560 83 0 0 0 279 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092096003848 140093064766043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1209] ppid=1153 vsize=28766288 memory=708 CPUtime=2.8 cores=0-7 /proc/1155/task/1209/stat : 1209 (java) R 1153 1153 26088 0 -1 4202560 122 0 0 0 280 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092092845960 140093065417332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1210] ppid=1153 vsize=28766288 memory=9364 CPUtime=2.71 cores=0-7 /proc/1155/task/1210/stat : 1210 (java) R 1153 1153 26088 0 -1 4202560 68 0 0 0 271 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092097056528 140093065170226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1211] ppid=1153 vsize=28766288 memory=1120 CPUtime=2.79 cores=0-7 /proc/1155/task/1211/stat : 1211 (java) R 1153 1153 26088 0 -1 4202560 142 0 0 0 279 0 0 0 20 0 28 0 447304423 29456678912 63374 33554432000 4194304 4196468 140731723299920 140092098109560 140093065170288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 Current children cumulated CPU time: 492.39 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 254948 KiB [startup+62.8019 s] /proc/loadavg: 7.83 7.99 8.08 9/219 1212 /proc/meminfo: memFree=30434860/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 [pid=1155] ppid=1153 vsize=28766288 memory=253564 CPUtime=495.58 cores=0-7 /proc/1155/stat : 1155 (java) S 1153 1153 26088 0 -1 1077944320 70118 0 0 0 49499 59 0 0 20 0 28 0 447298464 29456678912 63391 33554432000 4194304 4196468 140731723299920 140731723282464 140093467668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 /proc/1155/statm: 7191572 63391 3532 1 0 7152672 0 [pid=1155/tid=1156] ppid=1153 vsize=28766288 memory=0 CPUtime=0.87 cores=0-7 /proc/1155/task/1156/stat : 1156 (java) S 1153 1153 26088 0 -1 1077944384 9583 0 0 0 83 4 0 0 20 0 28 0 447298464 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093471908992 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1157] ppid=1153 vsize=28766288 memory=8112282956445269571 CPUtime=0.12 cores=0-7 /proc/1155/task/1157/stat : 1157 (java) S 1153 1153 26088 0 -1 1077944384 948 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093387520784 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1158] ppid=1153 vsize=28766288 memory=251740 CPUtime=0.11 cores=0-7 /proc/1155/task/1158/stat : 1158 (java) S 1153 1153 26088 0 -1 1077944384 2032 0 0 0 7 4 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093386468240 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1159] ppid=1153 vsize=28766288 memory=33 CPUtime=0.12 cores=0-7 /proc/1155/task/1159/stat : 1159 (java) S 1153 1153 26088 0 -1 1077944384 907 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093385415696 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1160] ppid=1153 vsize=28766288 memory=7300732406748376149 CPUtime=0.1 cores=0-7 /proc/1155/task/1160/stat : 1160 (java) S 1153 1153 26088 0 -1 1077944384 1757 0 0 0 7 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093384363152 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1161] ppid=1153 vsize=28766288 memory=7733636385461069931 CPUtime=0.12 cores=0-7 /proc/1155/task/1161/stat : 1161 (java) S 1153 1153 26088 0 -1 1077944384 609 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093383309584 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1163] ppid=1153 vsize=28766288 memory=7733636385461069931 CPUtime=0.1 cores=0-7 /proc/1155/task/1163/stat : 1163 (java) S 1153 1153 26088 0 -1 1077944384 309 0 0 0 7 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093382257040 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1164] ppid=1153 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7 /proc/1155/task/1164/stat : 1164 (java) S 1153 1153 26088 0 -1 1077944384 445 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093381204496 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1165] ppid=1153 vsize=28766288 memory=252656 CPUtime=0.12 cores=0-7 /proc/1155/task/1165/stat : 1165 (java) S 1153 1153 26088 0 -1 1077944384 1599 0 0 0 9 3 0 0 20 0 28 0 447298465 29456678912 63391 33554432000 4194304 4196468 140731723299920 140093380151952 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1166] ppid=1153 vsize=28766288 memory=9364 CPUtime=0.03 cores=0-7 /proc/1155/task/1166/stat : 1166 (java) S 1153 1153 26088 0 -1 1077944384 2032 0 0 0 2 1 0 0 20 0 28 0 447298466 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092184205808 140093467679362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1168] ppid=1153 vsize=28766288 memory=1120 CPUtime=0 cores=0-7 /proc/1155/task/1168/stat : 1168 (java) S 1153 1153 26088 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447298467 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092183152032 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1169] ppid=1153 vsize=28766288 memory=776 CPUtime=0 cores=0-7 /proc/1155/task/1169/stat : 1169 (java) S 1153 1153 26088 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 447298467 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092182099440 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1170] ppid=1153 vsize=28766288 memory=1552 CPUtime=0 cores=0-7 /proc/1155/task/1170/stat : 1170 (java) S 1153 1153 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447298469 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092181048016 140093467686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1171] ppid=1153 vsize=28766288 memory=8076 CPUtime=1.64 cores=0-7 /proc/1155/task/1171/stat : 1171 (java) S 1153 1153 26088 0 -1 1077944384 9598 0 0 0 161 3 0 0 20 0 28 0 447298469 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092179994608 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1172] ppid=1153 vsize=28766288 memory=4008 CPUtime=1.81 cores=0-7 /proc/1155/task/1172/stat : 1172 (java) S 1153 1153 26088 0 -1 1077944384 9649 0 0 0 179 2 0 0 20 0 28 0 447298469 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092178942064 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1173] ppid=1153 vsize=28766288 memory=1556 CPUtime=1.72 cores=0-7 /proc/1155/task/1173/stat : 1173 (java) S 1153 1153 26088 0 -1 1077944384 11328 0 0 0 169 3 0 0 20 0 28 0 447298469 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092177889520 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1174] ppid=1153 vsize=28766288 memory=2832 CPUtime=0.79 cores=0-7 /proc/1155/task/1174/stat : 1174 (java) S 1153 1153 26088 0 -1 1077944384 7689 0 0 0 78 1 0 0 20 0 28 0 447298469 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092176836976 140093467679362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1175] ppid=1153 vsize=28766288 memory=984 CPUtime=0 cores=0-7 /proc/1155/task/1175/stat : 1175 (java) S 1153 1153 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447298470 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092175784672 140093467678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1176] ppid=1153 vsize=28766288 memory=14012 CPUtime=0.02 cores=0-7 /proc/1155/task/1176/stat : 1176 (java) R 1153 1153 26088 0 -1 1077944384 709 0 0 0 0 2 0 0 20 0 28 0 447298470 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092174732208 140093467679362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1204] ppid=1153 vsize=28766288 memory=11240 CPUtime=3.2 cores=0-7 /proc/1155/task/1204/stat : 1204 (java) R 1153 1153 26088 0 -1 4202560 80 0 0 0 320 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092091792520 140093064765549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1205] ppid=1153 vsize=28766288 memory=8112282956445269571 CPUtime=3.12 cores=0-7 /proc/1155/task/1205/stat : 1205 (java) R 1153 1153 26088 0 -1 4202560 86 0 0 0 312 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092090741128 140093064765806 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1206] ppid=1153 vsize=28766288 memory=301741394933055803 CPUtime=3.2 cores=0-7 /proc/1155/task/1206/stat : 1206 (java) R 1153 1153 26088 0 -1 4202560 66 0 0 0 320 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092094950920 140093064765714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1207] ppid=1153 vsize=28766288 memory=16102554786335053 CPUtime=3.15 cores=0-7 /proc/1155/task/1207/stat : 1207 (java) R 1153 1153 26088 0 -1 4202560 297 0 0 0 315 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092093898360 140093064765588 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1208] ppid=1153 vsize=28766288 memory=252668 CPUtime=3.19 cores=0-7 /proc/1155/task/1208/stat : 1208 (java) R 1153 1153 26088 0 -1 4202560 89 0 0 0 319 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092096003848 140093064766089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1209] ppid=1153 vsize=28766288 memory=6656426216303648864 CPUtime=3.2 cores=0-7 /proc/1155/task/1209/stat : 1209 (java) R 1153 1153 26088 0 -1 4202560 124 0 0 0 320 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092092845960 140093065732032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1210] ppid=1153 vsize=28766288 memory=140198601061377 CPUtime=3.11 cores=0-7 /proc/1155/task/1210/stat : 1210 (java) R 1153 1153 26088 0 -1 4202560 69 0 0 0 311 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092097056528 140093064765736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 [pid=1155/tid=1211] ppid=1153 vsize=28766288 memory=896 CPUtime=3.19 cores=0-7 /proc/1155/task/1211/stat : 1211 (java) R 1153 1153 26088 0 -1 4202560 148 0 0 0 319 0 0 0 20 0 28 0 447304423 29456678912 63391 33554432000 4194304 4196468 140731723299920 140092098109560 140093065051562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30494720 140731723301872 140731723302043 140731723302043 140731723304911 0 Current children cumulated CPU time: 495.58 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 255016 KiB [startup+63.0011 s]* /proc/loadavg: 7.83 7.99 8.08 2/211 1212 /proc/meminfo: memFree=30434756/32770624 swapFree=66926792/67108860 [pid=1153] ppid=1150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1153/stat : 1153 (xcsp3-exec) S 1150 1153 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447298463 115843072 363 33554432000 4194304 5098028 140733925266752 140733925264856 140626458767996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37261312 140733925270396 140733925270638 140733925270638 140733925273546 0 /proc/1153/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 63.0121 CPU time (s): 497.171 CPU user time (s): 496.565 CPU system time (s): 0.606386 CPU usage (%): 789.008 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 265192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 496.565 system time used= 0.606386 maximum resident set size= 282748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71868 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7299 involuntary context switches= 6045 # summary of solver processes directly reported to runsolver: # pid: 1153 # total CPU time (s): 497.171 # total CPU user time (s): 496.565 # total CPU system time (s): 0.606386 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.609151 second user time and 0.748386 second system time The end
Begin job on node107 at 2019-09-17 09:51:48 IDJOB=4400120 IDBENCH=124248 IDSOLVER=2855 FILE ID=node107/4400120-1568710427 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4400120-1568710427/watcher-4400120-1568710427 -o /tmp/evaluation-result-4400120-1568710427/solver-4400120-1568710427 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 509981378 HOME/instance-4400120-1568710427.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=509981378 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30673796 kB MemAvailable: 31811564 kB Buffers: 226420 kB Cached: 1187520 kB SwapCached: 76288 kB Active: 683272 kB Inactive: 808508 kB Active(anon): 11792 kB Inactive(anon): 109076 kB Active(file): 671480 kB Inactive(file): 699432 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926792 kB Dirty: 26216 kB Writeback: 0 kB AnonPages: 272764 kB Mapped: 42412 kB Shmem: 34408 kB Slab: 194912 kB SReclaimable: 165384 kB SUnreclaim: 29528 kB KernelStack: 3888 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 09:52:51