Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 | OPT | 102 | 215.499 | 54.5484 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml |
| MD5SUM | f7684c3e1f9d094a59a7b3edf9b14040 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 8.2119 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2856 |
| Number of constraints | 158 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2856}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2720 |
| Distribution of constraint arities | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":156}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404020-1568990756.xml" -tl '2400s' -p 4 0.11/0.19 c Choco 3fb4b153 0.11/0.19 c [HOME/instance-4404020-1568990756.xml, -tl, 2400s, -p, 4] 0.31/0.23 c 4 solvers in parallel 0.31/0.30 c parse instance... 1.59/0.75 c solve instance... 192.32/48.75 o 104 196.64/49.87 o 103 203.43/51.52 o 102 215.32/54.54 s OPTIMUM FOUND 215.32/54.54 v <instantiation> 215.32/54.54 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> 215.32/54.54 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> 215.32/54.54 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 (4112 MiB free)
memory of node 1: 16384 MiB (4633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404020-1568990756/watcher-4404020-1568990756 -o /var/tmp/evaluation-result-4404020-1568990756/solver-4404020-1568990756 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 681796223 HOME/instance-4404020-1568990756.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7913, runsolver pid=7910
Current StackSize limit: 8192 KiB
[startup+0.100356 s]*
/proc/loadavg: 7.10 2.99 1.90 6/233 7929
/proc/meminfo: memFree=8940672/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15144776 memory=28352 CPUtime=0.11 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 5486 0 0 0 10 1 0 0 20 0 15 0 475348094 15508250624 7088 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3786194 7088 3144 1 0 3748377 0
[pid=7915/tid=7916] ppid=7913 vsize=15144776 memory=8189132501886931803 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) R 7913 7913 7201 0 -1 4202560 3504 0 0 0 7 0 0 0 20 0 15 0 475348095 15508250624 7088 33554432000 4194304 4196468 140733599586688 140402303836704 140402283689310 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 7088 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15144776 memory=140056540780160 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 7088 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 7088 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 7088 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15144776 memory=140056540780160 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348097 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475348097 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401767101344 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475348097 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401766048752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348100 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) S 7913 7913 7201 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 475348101 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401763944944 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348101 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401762892400 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15144776 memory=140056540780160 CPUtime=0.01 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) S 7913 7913 7201 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 475348101 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401761839856 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348101 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15144776 memory=140056540780160 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348102 15508250624 7088 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29804 KiB
[startup+0.21086 s]*
/proc/loadavg: 7.10 2.99 1.90 7/233 7929
/proc/meminfo: memFree=8926928/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15144776 memory=40956 CPUtime=0.31 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 9384 0 0 0 29 2 0 0 20 0 15 0 475348094 15508250624 10239 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3786194 10239 3300 1 0 3748377 0
[pid=7915/tid=7916] ppid=7913 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) R 7913 7913 7201 0 -1 4202560 6523 0 0 0 17 2 0 0 20 0 15 0 475348095 15508250624 10239 33554432000 4194304 4196468 140733599586688 140402303842768 140402292286837 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 10239 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15144776 memory=140056544142444 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 10239 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 10239 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15508250624 10239 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15144776 memory=140056540780160 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348097 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475348097 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401767101344 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475348097 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401766048752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348100 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) S 7913 7913 7201 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 475348101 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401763944944 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) S 7913 7913 7201 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 475348101 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401762892400 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15144776 memory=140056540780160 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) S 7913 7913 7201 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 15 0 475348101 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401761839856 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348101 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348102 15508250624 10239 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42408 KiB
[startup+0.310849 s]*
/proc/loadavg: 7.10 2.99 1.90 7/233 7929
/proc/meminfo: memFree=8921704/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15149032 memory=48952 CPUtime=0.49 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 10593 0 0 0 46 3 0 0 20 0 15 0 475348094 15512608768 12238 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3787258 12238 3329 1 0 3748377 0
[pid=7915/tid=7916] ppid=7913 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) R 7913 7913 7201 0 -1 4202560 7594 0 0 0 26 3 0 0 20 0 15 0 475348095 15512608768 12238 33554432000 4194304 4196468 140733599586688 140402303844800 140402283689310 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15512608768 12238 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15149032 memory=3564180 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15512608768 12238 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15512608768 12238 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15512608768 12238 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475348097 15512608768 12238 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475348097 15512608768 12238 33554432000 4194304 4196468 140733599586688 140401767101344 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475348097 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401766048752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348100 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) R 7913 7913 7201 0 -1 4202560 542 0 0 0 4 0 0 0 20 0 15 0 475348101 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401763934864 140402285290262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) S 7913 7913 7201 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 475348101 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401762892400 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) S 7913 7913 7201 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 15 0 475348101 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401761839856 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348101 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348102 15512608768 12302 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50404 KiB
[startup+0.700804 s]
/proc/loadavg: 7.10 2.99 1.90 7/233 7929
/proc/meminfo: memFree=8904972/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15151156 memory=92544 CPUtime=1.59 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 14236 0 0 0 153 6 0 0 20 0 15 0 475348094 15514783744 23136 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3787789 23136 3463 1 0 3748889 0
[pid=7915/tid=7916] ppid=7913 vsize=15151156 memory=12328 CPUtime=0.66 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) R 7913 7913 7201 0 -1 4202560 9101 0 0 0 62 4 0 0 20 0 15 0 475348095 15514783744 23136 33554432000 4194304 4196468 140733599586688 140402303846560 140401897180224 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15514783744 23136 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15151156 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15514783744 23136 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15151156 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348095 15514783744 23136 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475348095 15514783744 23136 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475348097 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15151156 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475348097 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401767101344 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15151156 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475348097 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401766048752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15151156 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348100 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15151156 memory=836 CPUtime=0.25 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) R 7913 7913 7201 0 -1 4202560 1154 0 0 0 25 0 0 0 20 0 15 0 475348101 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401763931512 140402279262737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15151156 memory=1760 CPUtime=0.25 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) R 7913 7913 7201 0 -1 4202560 840 0 0 0 25 0 0 0 20 0 15 0 475348101 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401762879248 140402299620758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15151156 memory=111632 CPUtime=0.4 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) R 7913 7913 7201 0 -1 4202560 1832 0 0 0 39 1 0 0 20 0 15 0 475348101 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401761836592 140402299630170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475348101 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475348102 15514783744 23136 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93996 KiB
[startup+1.51081 s]
/proc/loadavg: 7.10 2.99 1.90 12/237 7933
/proc/meminfo: memFree=8852364/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 793 0 0 0 2 0 0 0 20 0 19 0 475348102 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7947] ppid=7913 vsize=15417412 memory=3124 CPUtime=2.06 cores=1,3,5,7
/proc/7915/task/7947/stat : 7947 (java) R 7913 7913 7201 0 -1 4202560 53 0 0 0 206 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401747356984 140401900170025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7948] ppid=7913 vsize=15417412 memory=0 CPUtime=1.98 cores=1,3,5,7
/proc/7915/task/7948/stat : 7948 (java) R 7913 7913 7201 0 -1 4202560 48 0 0 0 198 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401750516016 140401901537274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7949] ppid=7913 vsize=15417412 memory=13769 CPUtime=2.03 cores=1,3,5,7
/proc/7915/task/7949/stat : 7949 (java) R 7913 7913 7201 0 -1 4202560 25 0 0 0 203 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401749463672 140401901338509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7950] ppid=7913 vsize=15417412 memory=20572 CPUtime=2.07 cores=1,3,5,7
/proc/7915/task/7950/stat : 7950 (java) R 7913 7913 7201 0 -1 4202560 32 0 0 0 207 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401748410000 140401901338086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 211.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211304 KiB
[startup+54.0018 s]*
/proc/loadavg: 7.69 3.79 2.23 10/237 7950
/proc/meminfo: memFree=8521844/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15417412 memory=209852 CPUtime=213.36 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 52994 0 0 0 21314 22 0 0 20 0 19 0 475348094 15787429888 52463 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3854353 52463 3532 1 0 3815453 0
[pid=7915/tid=7916] ppid=7913 vsize=15417412 memory=8112282956445269571 CPUtime=0.73 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) S 7913 7913 7201 0 -1 1077944384 9488 0 0 0 69 4 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402303849600 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15417412 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1254 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15417412 memory=2772 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 439 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15417412 memory=2728 CPUtime=0.08 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1333 0 0 0 6 2 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15417412 memory=1412 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 1848 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15417412 memory=3156 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 1274 0 0 0 2 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401767101408 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15417412 memory=653312 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401766048768 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15417412 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475348100 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15417412 memory=3092 CPUtime=1.76 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) S 7913 7913 7201 0 -1 1077944384 10035 0 0 0 176 0 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401763944944 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15417412 memory=1452 CPUtime=1.82 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) S 7913 7913 7201 0 -1 1077944384 12130 0 0 0 180 2 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401762892400 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15417412 memory=1452 CPUtime=0.72 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) S 7913 7913 7201 0 -1 1077944384 6406 0 0 0 71 1 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401761839856 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15417412 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15417412 memory=41732 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 793 0 0 0 2 0 0 0 20 0 19 0 475348102 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7947] ppid=7913 vsize=15417412 memory=1040 CPUtime=2.47 cores=1,3,5,7
/proc/7915/task/7947/stat : 7947 (java) R 7913 7913 7201 0 -1 4202560 53 0 0 0 247 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401747356984 140401901338086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7948] ppid=7913 vsize=15417412 memory=8112282956445269571 CPUtime=2.38 cores=1,3,5,7
/proc/7915/task/7948/stat : 7948 (java) R 7913 7913 7201 0 -1 4202560 48 0 0 0 238 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401750516016 140401899303327 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7949] ppid=7913 vsize=15417412 memory=0 CPUtime=2.44 cores=1,3,5,7
/proc/7915/task/7949/stat : 7949 (java) R 7913 7913 7201 0 -1 4202560 25 0 0 0 244 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401749463672 140401901338384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7950] ppid=7913 vsize=15417412 memory=0 CPUtime=2.48 cores=1,3,5,7
/proc/7915/task/7950/stat : 7950 (java) R 7913 7913 7201 0 -1 4202560 34 0 0 0 248 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401748410136 140401899580533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 213.36 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211304 KiB
[startup+54.4018 s]
/proc/loadavg: 7.69 3.79 2.23 10/237 7950
/proc/meminfo: memFree=8521844/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15417412 memory=209852 CPUtime=214.92 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 52998 0 0 0 21470 22 0 0 20 0 19 0 475348094 15787429888 52463 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3854353 52463 3532 1 0 3815453 0
[pid=7915/tid=7916] ppid=7913 vsize=15417412 memory=8112282956445269571 CPUtime=0.73 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) S 7913 7913 7201 0 -1 1077944384 9488 0 0 0 69 4 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402303849600 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15417412 memory=3880 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1254 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15417412 memory=7712 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 439 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15417412 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1333 0 0 0 6 2 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15417412 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 1848 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15417412 memory=209900 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 1274 0 0 0 2 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15417412 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401767101408 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15417412 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401766048768 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475348100 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15417412 memory=1452 CPUtime=1.76 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) S 7913 7913 7201 0 -1 1077944384 10035 0 0 0 176 0 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401763944944 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15417412 memory=1452 CPUtime=1.82 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) S 7913 7913 7201 0 -1 1077944384 12130 0 0 0 180 2 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401762892400 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15417412 memory=209628 CPUtime=0.72 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) S 7913 7913 7201 0 -1 1077944384 6406 0 0 0 71 1 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401761839856 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15417412 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 793 0 0 0 2 0 0 0 20 0 19 0 475348102 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7947] ppid=7913 vsize=15417412 memory=209852 CPUtime=2.86 cores=1,3,5,7
/proc/7915/task/7947/stat : 7947 (java) R 7913 7913 7201 0 -1 4202560 53 0 0 0 286 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401747356984 140401901338420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7948] ppid=7913 vsize=15417412 memory=0 CPUtime=2.77 cores=1,3,5,7
/proc/7915/task/7948/stat : 7948 (java) R 7913 7913 7201 0 -1 4202560 52 0 0 0 277 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401750516016 140401901537274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7949] ppid=7913 vsize=15417412 memory=1452 CPUtime=2.83 cores=1,3,5,7
/proc/7915/task/7949/stat : 7949 (java) R 7913 7913 7201 0 -1 4202560 25 0 0 0 283 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401749463672 140401901537274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7950] ppid=7913 vsize=15417412 memory=3648 CPUtime=2.87 cores=1,3,5,7
/proc/7915/task/7950/stat : 7950 (java) R 7913 7913 7201 0 -1 4202560 34 0 0 0 287 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401748410136 140401900321661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 214.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211304 KiB
[startup+54.5018 s]
/proc/loadavg: 7.69 3.79 2.23 10/237 7950
/proc/meminfo: memFree=8521844/32770624 swapFree=67021820/67108860
[pid=7913] ppid=7910 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7913/stat : 7913 (xcsp3-exec) S 7910 7913 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475348094 115843072 363 33554432000 4194304 5098028 140722078880368 140722078878472 140202417459836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31162368 140722078884695 140722078884953 140722078884953 140722078887878 0
/proc/7913/statm: 28282 363 304 221 0 87 0
[pid=7915] ppid=7913 vsize=15417412 memory=209852 CPUtime=215.32 cores=1,3,5,7
/proc/7915/stat : 7915 (java) S 7913 7913 7201 0 -1 1077944320 52998 0 0 0 21510 22 0 0 20 0 19 0 475348094 15787429888 52463 33554432000 4194304 4196468 140733599586688 140733599569232 140402299608823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
/proc/7915/statm: 3854353 52463 3532 1 0 3815453 0
[pid=7915/tid=7916] ppid=7913 vsize=15417412 memory=209852 CPUtime=0.73 cores=1,3,5,7
/proc/7915/task/7916/stat : 7916 (java) S 7913 7913 7201 0 -1 1077944384 9488 0 0 0 69 4 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402303849600 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7917] ppid=7913 vsize=15417412 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7917/stat : 7917 (java) S 7913 7913 7201 0 -1 1077944384 1254 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402227649296 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7918] ppid=7913 vsize=15417412 memory=73 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7918/stat : 7918 (java) S 7913 7913 7201 0 -1 1077944384 439 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402226596752 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7919] ppid=7913 vsize=15417412 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/7915/task/7919/stat : 7919 (java) S 7913 7913 7201 0 -1 1077944384 1333 0 0 0 6 2 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402225544208 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7920] ppid=7913 vsize=15417412 memory=209676 CPUtime=0.07 cores=1,3,5,7
/proc/7915/task/7920/stat : 7920 (java) S 7913 7913 7201 0 -1 1077944384 1848 0 0 0 6 1 0 0 20 0 19 0 475348095 15787429888 52463 33554432000 4194304 4196468 140733599586688 140402224491664 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7921] ppid=7913 vsize=15417412 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7921/stat : 7921 (java) S 7913 7913 7201 0 -1 1077944384 1274 0 0 0 2 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401768155120 140402299619970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7922] ppid=7913 vsize=15417412 memory=209900 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7922/stat : 7922 (java) S 7913 7913 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401767101408 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7923] ppid=7913 vsize=15417412 memory=140056400773680 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7923/stat : 7923 (java) S 7913 7913 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475348097 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401766048768 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7924] ppid=7913 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7924/stat : 7924 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475348100 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401764997328 140402299627419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7925] ppid=7913 vsize=15417412 memory=1760 CPUtime=1.76 cores=1,3,5,7
/proc/7915/task/7925/stat : 7925 (java) S 7913 7913 7201 0 -1 1077944384 10035 0 0 0 176 0 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401763944944 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7926] ppid=7913 vsize=15417412 memory=1172 CPUtime=1.82 cores=1,3,5,7
/proc/7915/task/7926/stat : 7926 (java) S 7913 7913 7201 0 -1 1077944384 12130 0 0 0 180 2 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401762892400 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7927] ppid=7913 vsize=15417412 memory=6316 CPUtime=0.72 cores=1,3,5,7
/proc/7915/task/7927/stat : 7927 (java) S 7913 7913 7201 0 -1 1077944384 6406 0 0 0 71 1 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401761839856 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7928] ppid=7913 vsize=15417412 memory=41732 CPUtime=0 cores=1,3,5,7
/proc/7915/task/7928/stat : 7928 (java) S 7913 7913 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475348101 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401760787552 140402299619029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7929] ppid=7913 vsize=15417412 memory=1040 CPUtime=0.02 cores=1,3,5,7
/proc/7915/task/7929/stat : 7929 (java) S 7913 7913 7201 0 -1 1077944384 793 0 0 0 2 0 0 0 20 0 19 0 475348102 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401759734064 140402299619970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7947] ppid=7913 vsize=15417412 memory=2084 CPUtime=2.96 cores=1,3,5,7
/proc/7915/task/7947/stat : 7947 (java) R 7913 7913 7201 0 -1 4202560 53 0 0 0 296 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401747356984 140401901338108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7948] ppid=7913 vsize=15417412 memory=1452 CPUtime=2.86 cores=1,3,5,7
/proc/7915/task/7948/stat : 7948 (java) R 7913 7913 7201 0 -1 4202560 52 0 0 0 286 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401750516016 140401901537274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7949] ppid=7913 vsize=15417412 memory=209840 CPUtime=2.93 cores=1,3,5,7
/proc/7915/task/7949/stat : 7949 (java) R 7913 7913 7201 0 -1 4202560 25 0 0 0 293 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401749463672 140401901338086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
[pid=7915/tid=7950] ppid=7913 vsize=15417412 memory=56 CPUtime=2.97 cores=1,3,5,7
/proc/7915/task/7950/stat : 7950 (java) R 7913 7913 7201 0 -1 4202560 34 0 0 0 297 0 0 0 20 0 19 0 475353246 15787429888 52463 33554432000 4194304 4196468 140733599586688 140401748410136 140401899303305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13688832 140733599589339 140733599589514 140733599589514 140733599592399 0
Current children cumulated CPU time: 215.32 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211304 KiB
Child status: 0
Real time (s): 54.5484
CPU time (s): 215.499
CPU user time (s): 215.263
CPU system time (s): 0.235707
CPU usage (%): 395.06
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 235960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.263
system time used= 0.235707
maximum resident set size= 234508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55239
page faults= 0
swaps= 0
block input operations= 8
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4812
involuntary context switches= 5674
# summary of solver processes directly reported to runsolver:
# pid: 7913
# total CPU time (s): 215.499
# total CPU user time (s): 215.263
# total CPU system time (s): 0.235707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.385671 second user time and 0.696474 second system time
The end
Begin job on node150 at 2019-09-20 16:45:15 IDJOB=4404020 IDBENCH=124248 IDSOLVER=2864 FILE ID=node150/4404020-1568990756 RUNJOBID= node150-1568990625-7233 PBS_JOBID= 21704648 Free space on /var/tmp= 13456 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404020-1568990756/watcher-4404020-1568990756 -o /var/tmp/evaluation-result-4404020-1568990756/solver-4404020-1568990756 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 681796223 HOME/instance-4404020-1568990756.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=681796223 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 8956144 kB MemAvailable: 31426556 kB Buffers: 161092 kB Cached: 22213084 kB SwapCached: 7956 kB Active: 11576552 kB Inactive: 11237120 kB Active(anon): 410000 kB Inactive(anon): 70436 kB Active(file): 11166552 kB Inactive(file): 11166684 kB Unevictable: 110740 kB Mlocked: 110740 kB SwapTotal: 67108860 kB SwapFree: 67021820 kB Dirty: 26244 kB Writeback: 0 kB AnonPages: 542444 kB Mapped: 60712 kB Shmem: 32448 kB Slab: 595356 kB SReclaimable: 565636 kB SUnreclaim: 29720 kB KernelStack: 3808 kB PageTables: 6424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1906528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 417792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13432 MiB End job on node150 at 2019-09-20 16:46:10