Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 102 | 400.836 | 50.9044 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml |
MD5SUM | f7684c3e1f9d094a59a7b3edf9b14040 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 102 |
Best CPU time to get the best result obtained on this benchmark | 7.94325 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2856 |
Number of constraints | 158 |
Number of domains | 15 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":2856}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 2720 |
Distribution of constraint arities | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":156}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404620-1568997093.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404620-1568997093.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.22/0.86 c solve instance... 357.95/45.55 o 104 365.88/46.54 o 103 378.68/48.18 o 102 400.10/50.89 s OPTIMUM FOUND 400.10/50.89 v <instantiation> 400.10/50.89 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> 400.10/50.89 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> 400.10/50.89 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 (10391 MiB free) memory of node 1: 16384 MiB (8045 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404620-1568997093/watcher-4404620-1568997093 -o /var/tmp/evaluation-result-4404620-1568997093/solver-4404620-1568997093 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1015879479 HOME/instance-4404620-1568997093.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=15417, runsolver pid=15414 [startup+0.100136 s]* /proc/loadavg: 7.14 7.82 7.84 2/212 15438 /proc/meminfo: memFree=18864452/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 [pid=15419] ppid=15417 vsize=28227396 memory=27636 CPUtime=0.12 cores=0-7 /proc/15419/stat : 15419 (java) S 15417 15417 14774 0 -1 1077944320 5883 0 0 0 11 1 0 0 20 0 20 0 475623098 28904853504 6909 33554432000 4194304 4196468 140725757241584 140725757224128 140333995953911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 /proc/15419/statm: 7056849 6909 3121 1 0 7019032 0 [pid=15419/tid=15420] ppid=15417 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15419/task/15420/stat : 15420 (java) R 15417 15417 14774 0 -1 4202560 3736 0 0 0 8 0 0 0 20 0 20 0 475623098 28904853504 6909 33554432000 4194304 4196468 140725757241584 140334000186176 140333633081748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15421] ppid=15417 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15419/task/15421/stat : 15421 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333547121424 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15422] ppid=15417 vsize=28227396 memory=139718197950080 CPUtime=0 cores=0-7 /proc/15419/task/15422/stat : 15422 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333546068880 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15423] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15423/stat : 15423 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333545016336 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15424] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15424/stat : 15424 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333543963792 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15425] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15425/stat : 15425 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333542910224 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15426] ppid=15417 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15419/task/15426/stat : 15426 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333541857680 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15427] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15427/stat : 15427 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333540805136 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15428] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15428/stat : 15428 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 6909 33554432000 4194304 4196468 140725757241584 140333539752592 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15429] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15429/stat : 15429 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623100 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332594362864 140333995965058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15430] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15430/stat : 15430 (java) S 15417 15417 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475623101 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332593309088 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15431] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15431/stat : 15431 (java) S 15417 15417 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475623101 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332592256496 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15432] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15432/stat : 15432 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623103 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332591205072 140333995972507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15433] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15433/stat : 15433 (java) S 15417 15417 14774 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 475623103 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332590151664 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15434] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15434/stat : 15434 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623103 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332589099120 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15435] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15435/stat : 15435 (java) S 15417 15417 14774 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 475623103 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332588046576 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15436] ppid=15417 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15419/task/15436/stat : 15436 (java) R 15417 15417 14774 0 -1 4202560 405 0 0 0 1 0 0 0 20 0 20 0 475623103 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332586994032 140333995965846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15437] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15437/stat : 15437 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623104 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332585941728 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15438] ppid=15417 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15419/task/15438/stat : 15438 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623104 28904853504 6909 33554432000 4194304 4196468 140725757241584 140332584889264 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29084 KiB [startup+0.210421 s]* /proc/loadavg: 7.14 7.82 7.84 3/212 15438 /proc/meminfo: memFree=18849668/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 [pid=15419] ppid=15417 vsize=28227396 memory=39920 CPUtime=0.33 cores=0-7 /proc/15419/stat : 15419 (java) S 15417 15417 14774 0 -1 1077944320 9773 0 0 0 30 3 0 0 20 0 20 0 475623098 28904853504 9980 33554432000 4194304 4196468 140725757241584 140725757224128 140333995953911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 /proc/15419/statm: 7056849 9980 3274 1 0 7019032 0 [pid=15419/tid=15420] ppid=15417 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15419/task/15420/stat : 15420 (java) R 15417 15417 14774 0 -1 4202560 6705 0 0 0 18 1 0 0 20 0 20 0 475623098 28904853504 9980 33554432000 4194304 4196468 140725757241584 140334000186640 140333995975837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15421] ppid=15417 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/15419/task/15421/stat : 15421 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333547121424 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15422] ppid=15417 vsize=28227396 memory=288370094349661824 CPUtime=0 cores=0-7 /proc/15419/task/15422/stat : 15422 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333546068880 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15423] ppid=15417 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15419/task/15423/stat : 15423 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333545016336 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15424] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15424/stat : 15424 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333543963792 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15425] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15425/stat : 15425 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333542910224 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15426] ppid=15417 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15419/task/15426/stat : 15426 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333541857680 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15427] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15427/stat : 15427 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333540805136 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15428] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15428/stat : 15428 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623099 28904853504 9980 33554432000 4194304 4196468 140725757241584 140333539752592 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15429] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15429/stat : 15429 (java) S 15417 15417 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475623100 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332594362864 140333995965058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15430] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15430/stat : 15430 (java) S 15417 15417 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475623101 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332593309088 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15431] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15431/stat : 15431 (java) S 15417 15417 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475623101 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332592256496 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15432] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15432/stat : 15432 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623103 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332591205072 140333995972507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15433] ppid=15417 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15419/task/15433/stat : 15433 (java) S 15417 15417 14774 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 20 0 475623103 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332590151664 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15434] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15434/stat : 15434 (java) S 15417 15417 14774 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 475623103 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332589099120 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15435] ppid=15417 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/15419/task/15435/stat : 15435 (java) S 15417 15417 14774 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 20 0 475623103 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332588046576 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15436] ppid=15417 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/15419/task/15436/stat : 15436 (java) S 15417 15417 14774 0 -1 1077944384 884 0 0 0 7 0 0 0 20 0 20 0 475623103 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332586994032 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15437] ppid=15417 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15437/stat : 15437 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623104 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332585941728 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15438] ppid=15417 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15419/task/15438/stat : 15438 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623104 28904853504 9980 33554432000 4194304 4196468 140725757241584 140332584889264 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41368 KiB [startup+0.309794 s]* /proc/loadavg: 7.14 7.82 7.84 2/212 15438 /proc/meminfo: memFree=18845364/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 [pid=15419] ppid=15417 vsize=28231652 memory=48564 CPUtime=0.51 cores=0-7 /proc/15419/stat : 15419 (java) S 15417 15417 14774 0 -1 1077944320 11038 0 0 0 48 3 0 0 20 0 20 0 475623098 28909211648 12141 33554432000 4194304 4196468 140725757241584 140725757224128 140333995953911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 /proc/15419/statm: 7057913 12141 3347 1 0 7019032 0 [pid=15419/tid=15420] ppid=15417 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15419/task/15420/stat : 15420 (java) R 15417 15417 14774 0 -1 4202560 7775 0 0 0 27 2 0 0 20 0 20 0 475623098 28909211648 12141 33554432000 4194304 4196468 140725757241584 140334000185024 140333980034398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15421] ppid=15417 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15421/stat : 15421 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333547121424 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15422] ppid=15417 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15422/stat : 15422 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333546068880 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15423] ppid=15417 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15423/stat : 15423 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333545016336 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15424] ppid=15417 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15424/stat : 15424 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333543963792 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15425] ppid=15417 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/15419/task/15425/stat : 15425 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333542910224 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15426] ppid=15417 vsize=28231652 memory=139718037697455 CPUtime=0 cores=0-7 /proc/15419/task/15426/stat : 15426 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333541857680 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15427] ppid=15417 vsize=28231652 memory=139718037699760 CPUtime=0 cores=0-7 /proc/15419/task/15427/stat : 15427 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12141 33554432000 4194304 4196468 140725757241584 140333540805136 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15428] ppid=15417 vsize=28231652 memory=139718037702064 CPUtime=0 cores=0-7 /proc/15419/task/15428/stat : 15428 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623099 28909211648 12160 33554432000 4194304 4196468 140725757241584 140333539752592 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15429] ppid=15417 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15429/stat : 15429 (java) S 15417 15417 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475623100 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332594362864 140333995965058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15430] ppid=15417 vsize=28231652 memory=279436075411088 CPUtime=0 cores=0-7 /proc/15419/task/15430/stat : 15430 (java) S 15417 15417 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475623101 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332593309088 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15431] ppid=15417 vsize=28231652 memory=279436075418000 CPUtime=0 cores=0-7 /proc/15419/task/15431/stat : 15431 (java) S 15417 15417 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475623101 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332592256496 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15432] ppid=15417 vsize=28231652 memory=279436075359280 CPUtime=0 cores=0-7 /proc/15419/task/15432/stat : 15432 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623103 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332591205072 140333995972507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15433] ppid=15417 vsize=28231652 memory=279436075431824 CPUtime=0.03 cores=0-7 /proc/15419/task/15433/stat : 15433 (java) R 15417 15417 14774 0 -1 4202560 591 0 0 0 3 0 0 0 20 0 20 0 475623103 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332590142048 140333973928848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15434] ppid=15417 vsize=28231652 memory=279436075438736 CPUtime=0.02 cores=0-7 /proc/15419/task/15434/stat : 15434 (java) S 15417 15417 14774 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 20 0 475623103 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332589099120 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15435] ppid=15417 vsize=28231652 memory=279436075436432 CPUtime=0.02 cores=0-7 /proc/15419/task/15435/stat : 15435 (java) S 15417 15417 14774 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 475623103 28909211648 12160 33554432000 4194304 4196468 140725757241584 140332588046576 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15436] ppid=15417 vsize=28231652 memory=279436075452592 CPUtime=0.12 cores=0-7 /proc/15419/task/15436/stat : 15436 (java) R 15417 15417 14774 0 -1 4202560 1029 0 0 0 12 0 0 0 20 0 20 0 475623103 28909211648 12226 33554432000 4194304 4196468 140725757241584 140332586994032 140333988191038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15437] ppid=15417 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15437/stat : 15437 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475623104 28909211648 12226 33554432000 4194304 4196468 140725757241584 140332585941728 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15438] ppid=15417 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/15419/task/15438/stat : 15438 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623104 28909211648 12226 33554432000 4194304 4196468 140725757241584 140332584889264 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50012 KiB [startup+0.700974 s] /proc/loadavg: 7.14 7.82 7.84 3/212 15438 /proc/meminfo: memFree=18828676/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 [pid=15419] ppid=15417 vsize=28233776 memory=98400 CPUtime=1.77 cores=0-7 /proc/15419/stat : 15419 (java) S 15417 15417 14774 0 -1 1077944320 16271 0 0 0 170 7 0 0 20 0 20 0 475623098 28911386624 24600 33554432000 4194304 4196468 140725757241584 140725757224128 140333995953911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 /proc/15419/statm: 7058444 24600 3465 1 0 7019544 0 [pid=15419/tid=15420] ppid=15417 vsize=28233776 memory=279436075810480 CPUtime=0.68 cores=0-7 /proc/15419/task/15420/stat : 15420 (java) R 15417 15417 14774 0 -1 4202560 9333 0 0 0 64 4 0 0 20 0 20 0 475623098 28911386624 24600 33554432000 4194304 4196468 140725757241584 140334000190160 140333995975837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15421] ppid=15417 vsize=28233776 memory=139718037906288 CPUtime=0 cores=0-7 /proc/15419/task/15421/stat : 15421 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475623099 28911386624 24600 33554432000 4194304 4196468 140725757241584 140333547121424 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15422] ppid=15417 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15422/stat : 15422 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28911386624 24600 33554432000 4194304 4196468 140725757241584 140333546068880 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15423] ppid=15417 vsize=28233776 memory=1124 CPUtime=0 cores=0-7 /proc/15419/task/15423/stat : 15423 (java) S 15417 15417 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475623099 28911386624 24600 33554432000 4194304 4196468 140725757241584 140333545016336 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 ################ # More data... # ################ [pid=15419/tid=15467] ppid=15417 vsize=28766288 memory=3592 CPUtime=1.39 cores=0-7 /proc/15419/task/15467/stat : 15467 (java) R 15417 15417 14774 0 -1 4202560 41 0 0 0 139 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332573564520 140333639550438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15468] ppid=15417 vsize=28766288 memory=1124 CPUtime=1.4 cores=0-7 /proc/15419/task/15468/stat : 15468 (java) R 15417 15417 14774 0 -1 4202560 173 0 0 0 140 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332571461704 140333639550414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15469] ppid=15417 vsize=28766288 memory=2828 CPUtime=1.41 cores=0-7 /proc/15419/task/15469/stat : 15469 (java) R 15417 15417 14774 0 -1 4202560 79 0 0 0 141 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332575669872 140333639950535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15470] ppid=15417 vsize=28766288 memory=1228 CPUtime=1.36 cores=0-7 /proc/15419/task/15470/stat : 15470 (java) R 15417 15417 14774 0 -1 4202560 46 0 0 0 136 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332568301528 140333640538136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15471] ppid=15417 vsize=28766288 memory=14008 CPUtime=1.41 cores=0-7 /proc/15419/task/15471/stat : 15471 (java) R 15417 15417 14774 0 -1 4202560 55 0 0 0 141 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332572512312 140333639431777 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15472] ppid=15417 vsize=28766288 memory=279436076380368 CPUtime=1.41 cores=0-7 /proc/15419/task/15472/stat : 15472 (java) R 15417 15417 14774 0 -1 4202560 67 0 0 0 141 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332574617544 140333639515911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 Current children cumulated CPU time: 390.53 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 389016 KiB [startup+50.4014 s] /proc/loadavg: 7.51 7.82 7.84 9/220 15473 /proc/meminfo: memFree=18503512/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 [pid=15419] ppid=15417 vsize=28766288 memory=387568 CPUtime=396.91 cores=0-7 /proc/15419/stat : 15419 (java) S 15417 15417 14774 0 -1 1077944320 67188 0 0 0 39639 52 0 0 20 0 28 0 475623098 29456678912 96892 33554432000 4194304 4196468 140725757241584 140725757224128 140333995953911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 /proc/15419/statm: 7191572 96892 3537 1 0 7152672 0 [pid=15419/tid=15420] ppid=15417 vsize=28766288 memory=6944656592455359580 CPUtime=0.87 cores=0-7 /proc/15419/task/15420/stat : 15420 (java) S 15417 15417 14774 0 -1 1077944384 9779 0 0 0 82 5 0 0 20 0 28 0 475623098 29456678912 96892 33554432000 4194304 4196468 140725757241584 140334000194688 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15421] ppid=15417 vsize=28766288 memory=6943526294502006880 CPUtime=0.1 cores=0-7 /proc/15419/task/15421/stat : 15421 (java) S 15417 15417 14774 0 -1 1077944384 569 0 0 0 8 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333547121424 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15422] ppid=15417 vsize=28766288 memory=6944652177228980320 CPUtime=0.09 cores=0-7 /proc/15419/task/15422/stat : 15422 (java) S 15417 15417 14774 0 -1 1077944384 1514 0 0 0 7 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333546068880 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15423] ppid=15417 vsize=28766288 memory=6944656592387989600 CPUtime=0.09 cores=0-7 /proc/15419/task/15423/stat : 15423 (java) S 15417 15417 14774 0 -1 1077944384 1469 0 0 0 7 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333545016336 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15424] ppid=15417 vsize=28766288 memory=14008 CPUtime=0.1 cores=0-7 /proc/15419/task/15424/stat : 15424 (java) S 15417 15417 14774 0 -1 1077944384 1257 0 0 0 8 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333543963792 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15425] ppid=15417 vsize=28766288 memory=12040 CPUtime=0.1 cores=0-7 /proc/15419/task/15425/stat : 15425 (java) S 15417 15417 14774 0 -1 1077944384 710 0 0 0 8 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333542910224 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15426] ppid=15417 vsize=28766288 memory=2124 CPUtime=0.08 cores=0-7 /proc/15419/task/15426/stat : 15426 (java) S 15417 15417 14774 0 -1 1077944384 499 0 0 0 6 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333541857680 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15427] ppid=15417 vsize=28766288 memory=1448 CPUtime=0.09 cores=0-7 /proc/15419/task/15427/stat : 15427 (java) S 15417 15417 14774 0 -1 1077944384 809 0 0 0 7 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333540805136 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15428] ppid=15417 vsize=28766288 memory=387124 CPUtime=0.08 cores=0-7 /proc/15419/task/15428/stat : 15428 (java) S 15417 15417 14774 0 -1 1077944384 1228 0 0 0 6 2 0 0 20 0 28 0 475623099 29456678912 96892 33554432000 4194304 4196468 140725757241584 140333539752592 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15429] ppid=15417 vsize=28766288 memory=1560 CPUtime=0.03 cores=0-7 /proc/15419/task/15429/stat : 15429 (java) S 15417 15417 14774 0 -1 1077944384 1748 0 0 0 3 0 0 0 20 0 28 0 475623100 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332594362864 140333995965058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15430] ppid=15417 vsize=28766288 memory=932 CPUtime=0 cores=0-7 /proc/15419/task/15430/stat : 15430 (java) S 15417 15417 14774 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 475623101 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332593309152 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15431] ppid=15417 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/15419/task/15431/stat : 15431 (java) S 15417 15417 14774 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 475623101 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332592256496 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15432] ppid=15417 vsize=28766288 memory=387328 CPUtime=0 cores=0-7 /proc/15419/task/15432/stat : 15432 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475623103 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332591205072 140333995972507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15433] ppid=15417 vsize=28766288 memory=1408 CPUtime=1.82 cores=0-7 /proc/15419/task/15433/stat : 15433 (java) S 15417 15417 14774 0 -1 1077944384 10337 0 0 0 179 3 0 0 20 0 28 0 475623103 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332590151664 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15434] ppid=15417 vsize=28766288 memory=3228 CPUtime=1.52 cores=0-7 /proc/15419/task/15434/stat : 15434 (java) S 15417 15417 14774 0 -1 1077944384 10049 0 0 0 151 1 0 0 20 0 28 0 475623103 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332589099120 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15435] ppid=15417 vsize=28766288 memory=1448 CPUtime=1.36 cores=0-7 /proc/15419/task/15435/stat : 15435 (java) S 15417 15417 14774 0 -1 1077944384 6930 0 0 0 135 1 0 0 20 0 28 0 475623103 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332588046576 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15436] ppid=15417 vsize=28766288 memory=387328 CPUtime=0.78 cores=0-7 /proc/15419/task/15436/stat : 15436 (java) S 15417 15417 14774 0 -1 1077944384 8267 0 0 0 77 1 0 0 20 0 28 0 475623103 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332586994032 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15437] ppid=15417 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/15419/task/15437/stat : 15437 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475623104 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332585941728 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15438] ppid=15417 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/15419/task/15438/stat : 15438 (java) S 15417 15417 14774 0 -1 1077944384 363 0 0 0 0 1 0 0 20 0 28 0 475623104 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332584889264 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15465] ppid=15417 vsize=28766288 memory=0 CPUtime=2.21 cores=0-7 /proc/15419/task/15465/stat : 15465 (java) R 15417 15417 14774 0 -1 4202560 64 0 0 0 221 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332569353280 140333639431777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15466] ppid=15417 vsize=28766288 memory=0 CPUtime=2.21 cores=0-7 /proc/15419/task/15466/stat : 15466 (java) R 15417 15417 14774 0 -1 4202560 54 0 0 0 221 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332570407152 140333639515911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15467] ppid=15417 vsize=28766288 memory=0 CPUtime=2.19 cores=0-7 /proc/15419/task/15467/stat : 15467 (java) R 15417 15417 14774 0 -1 4202560 48 0 0 0 219 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332573564472 140333639550457 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15468] ppid=15417 vsize=28766288 memory=0 CPUtime=2.19 cores=0-7 /proc/15419/task/15468/stat : 15468 (java) R 15417 15417 14774 0 -1 4202560 190 0 0 0 219 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332571459448 140333639550433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15469] ppid=15417 vsize=28766288 memory=0 CPUtime=2.21 cores=0-7 /proc/15419/task/15469/stat : 15469 (java) R 15417 15417 14774 0 -1 4202560 85 0 0 0 221 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332575669872 140333639515887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15470] ppid=15417 vsize=28766288 memory=24452 CPUtime=2.14 cores=0-7 /proc/15419/task/15470/stat : 15470 (java) R 15417 15417 14774 0 -1 4202560 64 0 0 0 214 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332568301008 140333634135195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15471] ppid=15417 vsize=28766288 memory=6155133606632384104 CPUtime=2.21 cores=0-7 /proc/15419/task/15471/stat : 15471 (java) R 15417 15417 14774 0 -1 4202560 61 0 0 0 221 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332572512424 140333639550527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15472] ppid=15417 vsize=28766288 memory=303430223234596890 CPUtime=2.2 cores=0-7 /proc/15419/task/15472/stat : 15472 (java) R 15417 15417 14774 0 -1 4202560 78 0 0 0 220 0 0 0 20 0 28 0 475627916 29456678912 96892 33554432000 4194304 4196468 140725757241584 140332574617408 140333639708331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 Current children cumulated CPU time: 396.91 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 389016 KiB [startup+50.8014 s] /proc/loadavg: 7.51 7.82 7.84 9/220 15473 /proc/meminfo: memFree=18503512/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 [pid=15419] ppid=15417 vsize=28766288 memory=387900 CPUtime=400.1 cores=0-7 /proc/15419/stat : 15419 (java) S 15417 15417 14774 0 -1 1077944320 67375 0 0 0 39958 52 0 0 20 0 28 0 475623098 29456678912 96975 33554432000 4194304 4196468 140725757241584 140725757224128 140333995953911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 /proc/15419/statm: 7191572 96975 3537 1 0 7152672 0 [pid=15419/tid=15420] ppid=15417 vsize=28766288 memory=288287783574045518 CPUtime=0.87 cores=0-7 /proc/15419/task/15420/stat : 15420 (java) S 15417 15417 14774 0 -1 1077944384 9779 0 0 0 82 5 0 0 20 0 28 0 475623098 29456678912 96975 33554432000 4194304 4196468 140725757241584 140334000194688 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15421] ppid=15417 vsize=28766288 memory=279436077677328 CPUtime=0.1 cores=0-7 /proc/15419/task/15421/stat : 15421 (java) S 15417 15417 14774 0 -1 1077944384 569 0 0 0 8 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333547121424 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15422] ppid=15417 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7 /proc/15419/task/15422/stat : 15422 (java) S 15417 15417 14774 0 -1 1077944384 1514 0 0 0 7 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333546068880 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15423] ppid=15417 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7 /proc/15419/task/15423/stat : 15423 (java) S 15417 15417 14774 0 -1 1077944384 1469 0 0 0 7 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333545016336 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15424] ppid=15417 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/15419/task/15424/stat : 15424 (java) S 15417 15417 14774 0 -1 1077944384 1257 0 0 0 8 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333543963792 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15425] ppid=15417 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/15419/task/15425/stat : 15425 (java) S 15417 15417 14774 0 -1 1077944384 710 0 0 0 8 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333542910224 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15426] ppid=15417 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/15419/task/15426/stat : 15426 (java) S 15417 15417 14774 0 -1 1077944384 499 0 0 0 6 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333541857680 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15427] ppid=15417 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7 /proc/15419/task/15427/stat : 15427 (java) S 15417 15417 14774 0 -1 1077944384 809 0 0 0 7 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333540805136 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15428] ppid=15417 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/15419/task/15428/stat : 15428 (java) S 15417 15417 14774 0 -1 1077944384 1228 0 0 0 6 2 0 0 20 0 28 0 475623099 29456678912 96975 33554432000 4194304 4196468 140725757241584 140333539752592 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15429] ppid=15417 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/15419/task/15429/stat : 15429 (java) S 15417 15417 14774 0 -1 1077944384 1748 0 0 0 3 0 0 0 20 0 28 0 475623100 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332594362864 140333995965058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15430] ppid=15417 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15430/stat : 15430 (java) S 15417 15417 14774 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 475623101 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332593309152 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15431] ppid=15417 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15431/stat : 15431 (java) S 15417 15417 14774 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 475623101 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332592256496 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15432] ppid=15417 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15432/stat : 15432 (java) S 15417 15417 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475623103 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332591205072 140333995972507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15433] ppid=15417 vsize=28766288 memory=0 CPUtime=1.82 cores=0-7 /proc/15419/task/15433/stat : 15433 (java) S 15417 15417 14774 0 -1 1077944384 10337 0 0 0 179 3 0 0 20 0 28 0 475623103 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332590151664 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15434] ppid=15417 vsize=28766288 memory=0 CPUtime=1.52 cores=0-7 /proc/15419/task/15434/stat : 15434 (java) S 15417 15417 14774 0 -1 1077944384 10049 0 0 0 151 1 0 0 20 0 28 0 475623103 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332589099120 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15435] ppid=15417 vsize=28766288 memory=0 CPUtime=1.36 cores=0-7 /proc/15419/task/15435/stat : 15435 (java) S 15417 15417 14774 0 -1 1077944384 6930 0 0 0 135 1 0 0 20 0 28 0 475623103 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332588046576 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15436] ppid=15417 vsize=28766288 memory=0 CPUtime=0.78 cores=0-7 /proc/15419/task/15436/stat : 15436 (java) S 15417 15417 14774 0 -1 1077944384 8267 0 0 0 77 1 0 0 20 0 28 0 475623103 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332586994032 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15437] ppid=15417 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/15419/task/15437/stat : 15437 (java) S 15417 15417 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475623104 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332585941728 140333995964117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15438] ppid=15417 vsize=28766288 memory=9841 CPUtime=0.01 cores=0-7 /proc/15419/task/15438/stat : 15438 (java) S 15417 15417 14774 0 -1 1077944384 365 0 0 0 0 1 0 0 20 0 28 0 475623104 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332584889264 140333995965058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15465] ppid=15417 vsize=28766288 memory=0 CPUtime=2.61 cores=0-7 /proc/15419/task/15465/stat : 15465 (java) R 15417 15417 14774 0 -1 4202560 70 0 0 0 261 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332569353280 140333639515922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15466] ppid=15417 vsize=28766288 memory=0 CPUtime=2.61 cores=0-7 /proc/15419/task/15466/stat : 15466 (java) R 15417 15417 14774 0 -1 4202560 72 0 0 0 261 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332570407288 140333639550457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15467] ppid=15417 vsize=28766288 memory=0 CPUtime=2.59 cores=0-7 /proc/15419/task/15467/stat : 15467 (java) R 15417 15417 14774 0 -1 4202560 70 0 0 0 259 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332573564472 140333638953365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15468] ppid=15417 vsize=28766288 memory=0 CPUtime=2.59 cores=0-7 /proc/15419/task/15468/stat : 15468 (java) R 15417 15417 14774 0 -1 4202560 235 0 0 0 259 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332571459448 140333639516272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15469] ppid=15417 vsize=28766288 memory=0 CPUtime=2.61 cores=0-7 /proc/15419/task/15469/stat : 15469 (java) R 15417 15417 14774 0 -1 4202560 123 0 0 0 261 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332575670008 140333634135063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15470] ppid=15417 vsize=28766288 memory=0 CPUtime=2.54 cores=0-7 /proc/15419/task/15470/stat : 15470 (java) R 15417 15417 14774 0 -1 4202560 82 0 0 0 254 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332568301008 140333639515930 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15471] ppid=15417 vsize=28766288 memory=0 CPUtime=2.6 cores=0-7 /proc/15419/task/15471/stat : 15471 (java) R 15417 15417 14774 0 -1 4202560 69 0 0 0 260 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332572512424 140333639952445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 [pid=15419/tid=15472] ppid=15417 vsize=28766288 memory=0 CPUtime=2.6 cores=0-7 /proc/15419/task/15472/stat : 15472 (java) R 15417 15417 14774 0 -1 4202560 108 0 0 0 260 0 0 0 20 0 28 0 475627916 29456678912 96975 33554432000 4194304 4196468 140725757241584 140332574617544 140333639550438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140725757244374 140725757244550 140725757244550 140725757247439 0 Current children cumulated CPU time: 400.1 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 389348 KiB [startup+50.9012 s] /proc/loadavg: 7.51 7.82 7.84 9/220 15473 /proc/meminfo: memFree=18503512/32770624 swapFree=66935844/67108860 [pid=15417] ppid=15414 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15417/stat : 15417 (xcsp3-exec) S 15414 15417 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475623097 115843072 362 33554432000 4194304 5098028 140721514302656 140721514300760 140589616140924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19660800 140721514308433 140721514308693 140721514308693 140721514311622 0 /proc/15417/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 0 Real time (s): 50.9044 CPU time (s): 400.836 CPU user time (s): 400.292 CPU system time (s): 0.543693 CPU usage (%): 787.428 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 405248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 400.292 system time used= 0.543693 maximum resident set size= 406604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69481 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6288 involuntary context switches= 5363 # summary of solver processes directly reported to runsolver: # pid: 15417 # total CPU time (s): 400.836 # total CPU user time (s): 400.292 # total CPU system time (s): 0.543693 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.535434 second user time and 0.559056 second system time The end
Begin job on node147 at 2019-09-20 18:30:49 IDJOB=4404620 IDBENCH=124248 IDSOLVER=2865 FILE ID=node147/4404620-1568997093 RUNJOBID= node147-1568994352-14801 PBS_JOBID= 21704722 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404620-1568997093/watcher-4404620-1568997093 -o /var/tmp/evaluation-result-4404620-1568997093/solver-4404620-1568997093 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1015879479 HOME/instance-4404620-1568997093.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=1015879479 node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 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: 18879100 kB MemAvailable: 31786652 kB Buffers: 139644 kB Cached: 12738132 kB SwapCached: 68676 kB Active: 5286240 kB Inactive: 7663236 kB Active(anon): 3996 kB Inactive(anon): 116532 kB Active(file): 5282244 kB Inactive(file): 7546704 kB Unevictable: 109112 kB Mlocked: 109112 kB SwapTotal: 67108860 kB SwapFree: 66935844 kB Dirty: 26368 kB Writeback: 4 kB AnonPages: 112796 kB Mapped: 52412 kB Shmem: 40796 kB Slab: 535208 kB SReclaimable: 507064 kB SUnreclaim: 28144 kB KernelStack: 3424 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505764 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node147 at 2019-09-20 18:31:40