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-06-14 | OPT | 130 | 157.731 | 40.0105 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml |
| MD5SUM | c061694c4fbf3df02ed1b2618516c596 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 130 |
| Best CPU time to get the best result obtained on this benchmark | 9.1685 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3738 |
| Number of constraints | 200 |
| Number of domains | 14 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":534},{"size":5,"count":178},{"size":6,"count":178},{"size":7,"count":178},{"size":8,"count":178},{"size":9,"count":356},{"size":11,"count":178},{"size":12,"count":712},{"size":13,"count":356},{"size":14,"count":178},{"size":16,"count":178},{"size":17,"count":178},{"size":18,"count":178},{"size":22,"count":178}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3738}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3560 |
| Distribution of constraint arities | [{"arity":21,"count":178},{"arity":178,"count":21},{"arity":3560,"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":198}] |
| 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-4393294-1568316310.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393294-1568316310.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 1.67/0.78 c solve instance... 147.87/37.54 o 136 152.22/38.68 o 135 153.01/38.89 o 133 155.38/39.49 o 132 156.58/39.72 o 131 157.37/39.98 o 130 157.37/39.99 s OPTIMUM FOUND 157.37/39.99 v <instantiation> 157.37/39.99 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] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] 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] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] </list> 157.37/39.99 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 157.37/39.99 v </instantiation>
OK 130
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 (11309 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393294-1568316310/watcher-4393294-1568316310 -o /tmp/evaluation-result-4393294-1568316310/solver-4393294-1568316310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1504680969 HOME/instance-4393294-1568316310.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=17341, runsolver pid=17338
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 7.59 8.11 8.00 8/233 17357
/proc/meminfo: memFree=27277200/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15144768 memory=29084 CPUtime=0.13 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 5705 0 0 0 12 1 0 0 20 0 15 0 407885691 15508242432 7271 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3786192 7271 3141 1 0 3748377 0
[pid=17343/tid=17344] ppid=17341 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) R 17341 17341 14062 0 -1 4202560 3566 0 0 0 8 0 0 0 20 0 15 0 407885692 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165709093728 140165697108798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15144768 memory=140273798088320 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15144768 memory=140273798088320 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885694 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407885694 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165172376992 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407885694 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165171324400 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) S 17341 17341 14062 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165169219568 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) S 17341 17341 14062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165168167024 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15144768 memory=140273798088320 CPUtime=0.02 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) S 17341 17341 14062 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 407885697 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165167114480 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15144768 memory=140273798088320 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 7271 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30536 KiB
[startup+0.2109 s]*
/proc/loadavg: 7.59 8.11 8.00 7/233 17357
/proc/meminfo: memFree=27265080/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15144768 memory=40388 CPUtime=0.34 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 9293 0 0 0 31 3 0 0 20 0 15 0 407885691 15508242432 10097 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3786192 10097 3288 1 0 3748377 0
[pid=17343/tid=17344] ppid=17341 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) R 17341 17341 14062 0 -1 4202560 6547 0 0 0 18 2 0 0 20 0 15 0 407885692 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165709104768 140165688952158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15144768 memory=2854497 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407885694 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407885694 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165172376992 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15144768 memory=140273798088320 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407885694 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165171324400 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) S 17341 17341 14062 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 407885697 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165169219568 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) S 17341 17341 14062 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 407885697 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165168167024 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) S 17341 17341 14062 0 -1 1077944384 801 0 0 0 8 0 0 0 20 0 15 0 407885697 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165167114480 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885697 15508242432 10097 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41840 KiB
[startup+0.320421 s]*
/proc/loadavg: 7.59 8.11 8.00 8/233 17357
/proc/meminfo: memFree=27256952/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15149024 memory=50452 CPUtime=0.54 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 10923 0 0 0 50 4 0 0 20 0 15 0 407885691 15512600576 12613 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3787256 12613 3367 1 0 3748377 0
[pid=17343/tid=17344] ppid=17341 vsize=15149024 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) R 17341 17341 14062 0 -1 4202560 7847 0 0 0 28 3 0 0 20 0 15 0 407885692 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165709106688 140165688952158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15149024 memory=2856532 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15149024 memory=140273798088320 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407885694 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407885694 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165172376992 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407885694 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165171324400 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) S 17341 17341 14062 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 15 0 407885697 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165169219568 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) S 17341 17341 14062 0 -1 1077944384 340 0 0 0 5 0 0 0 20 0 15 0 407885697 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165168167024 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15149024 memory=140273798088320 CPUtime=0.12 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) S 17341 17341 14062 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 15 0 407885697 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165167114480 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15149024 memory=140273798088320 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885697 15512600576 12613 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51904 KiB
[startup+0.701376 s]
/proc/loadavg: 7.59 8.11 8.00 9/233 17357
/proc/meminfo: memFree=27241840/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15151148 memory=92172 CPUtime=1.67 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 14210 0 0 0 161 6 0 0 20 0 15 0 407885691 15514775552 23043 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3787787 23043 3460 1 0 3748889 0
[pid=17343/tid=17344] ppid=17341 vsize=15151148 memory=11932 CPUtime=0.67 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) R 17341 17341 14062 0 -1 4202560 9057 0 0 0 63 4 0 0 20 0 15 0 407885692 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165709108960 140165335100246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885692 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407885692 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407885694 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407885694 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165172376992 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407885694 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165171324400 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15151148 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15151148 memory=7302135314614015840 CPUtime=0.28 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) R 17341 17341 14062 0 -1 4202560 1120 0 0 0 28 0 0 0 20 0 15 0 407885697 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165169205592 140165697161120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15151148 memory=6152570550455462509 CPUtime=0.29 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) R 17341 17341 14062 0 -1 4202560 882 0 0 0 29 0 0 0 20 0 15 0 407885697 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165168152952 140165684086980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15151148 memory=7223887401239728208 CPUtime=0.41 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) R 17341 17341 14062 0 -1 4202560 1845 0 0 0 40 1 0 0 20 0 15 0 407885697 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165167114480 140165697968507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407885697 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407885697 15514775552 23043 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93624 KiB
[startup+1.5009 s]
/proc/loadavg: 7.59 8.11 8.00 12/237 17361
/proc/meminfo: memFree=27167884/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
[pid=17343/tid=17357] ppid=17341 vsize=15417404 memory=4008 CPUtime=0.01 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 276 0 0 0 0 1 0 0 20 0 19 0 407885697 15787421696 53460 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17358] ppid=17341 vsize=15417404 memory=948 CPUtime=33.37 cores=1,3,5,7
/proc/17343/task/17358/stat : 17358 (java) R 17341 17341 14062 0 -1 4202560 374 0 0 0 3337 0 0 0 20 0 19 0 407885771 15787421696 53460 33554432000 4194304 4196468 140735566939968 140165155798360 140165342982759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17359] ppid=17341 vsize=15417404 memory=2832 CPUtime=32.73 cores=1,3,5,7
/proc/17343/task/17359/stat : 17359 (java) R 17341 17341 14062 0 -1 4202560 1354 0 0 0 3272 1 0 0 20 0 19 0 407885771 15787421696 53460 33554432000 4194304 4196468 140735566939968 140165154746840 140165342917549 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17360] ppid=17341 vsize=15417404 memory=9404 CPUtime=33.19 cores=1,3,5,7
/proc/17343/task/17360/stat : 17360 (java) R 17341 17341 14062 0 -1 4202560 506 0 0 0 3319 0 0 0 20 0 19 0 407885771 15787421696 53460 33554432000 4194304 4196468 140735566939968 140165153697184 140165340771662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17361] ppid=17341 vsize=15417404 memory=1548 CPUtime=33.27 cores=1,3,5,7
/proc/17343/task/17361/stat : 17361 (java) R 17341 17341 14062 0 -1 4202560 1224 0 0 0 3327 0 0 0 20 0 19 0 407885772 15787421696 53460 33554432000 4194304 4196468 140735566939968 140165152640576 140165339252679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 138.73 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 215292 KiB
[startup+38.4014 s]
/proc/loadavg: 7.87 8.13 8.01 10/237 17368
/proc/meminfo: memFree=27099136/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15417404 memory=206744 CPUtime=151.42 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 46726 0 0 0 15119 23 0 0 20 0 19 0 407885691 15787421696 51686 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3854351 51686 3528 1 0 3815453 0
[pid=17343/tid=17344] ppid=17341 vsize=15417404 memory=6791534058613427641 CPUtime=0.78 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) S 17341 17341 14062 0 -1 1077944384 9298 0 0 0 73 5 0 0 20 0 19 0 407885692 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165709112448 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15417404 memory=11327 CPUtime=0.09 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 537 0 0 0 8 1 0 0 20 0 19 0 407885692 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15417404 memory=77 CPUtime=0.11 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 721 0 0 0 9 2 0 0 20 0 19 0 407885692 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15417404 memory=9 CPUtime=0.1 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1203 0 0 0 8 2 0 0 20 0 19 0 407885692 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15417404 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 1675 0 0 0 9 1 0 0 20 0 19 0 407885692 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15417404 memory=9 CPUtime=0.03 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 929 0 0 0 2 1 0 0 20 0 19 0 407885694 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407885694 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165172377056 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15417404 memory=251752 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 407885694 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165171324416 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15417404 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407885697 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15417404 memory=6791534058613427641 CPUtime=2.14 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) S 17341 17341 14062 0 -1 1077944384 8978 0 0 0 213 1 0 0 20 0 19 0 407885697 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165169219568 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15417404 memory=1452 CPUtime=2.35 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) S 17341 17341 14062 0 -1 1077944384 11385 0 0 0 234 1 0 0 20 0 19 0 407885697 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165168167024 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15417404 memory=1452 CPUtime=0.78 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) S 17341 17341 14062 0 -1 1077944384 6430 0 0 0 76 2 0 0 20 0 19 0 407885697 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165167114480 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407885697 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15417404 memory=206656 CPUtime=0.01 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 276 0 0 0 0 1 0 0 20 0 19 0 407885697 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17365] ppid=17341 vsize=15417404 memory=22952 CPUtime=0.72 cores=1,3,5,7
/proc/17343/task/17365/stat : 17365 (java) R 17341 17341 14062 0 -1 4202560 37 0 0 0 72 0 0 0 20 0 19 0 407889447 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165153695176 140165341866309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17366] ppid=17341 vsize=15417404 memory=984 CPUtime=0.75 cores=1,3,5,7
/proc/17343/task/17366/stat : 17366 (java) R 17341 17341 14062 0 -1 4202560 25 0 0 0 75 0 0 0 20 0 19 0 407889447 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165154748280 140165340772045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17367] ppid=17341 vsize=15417404 memory=2024 CPUtime=0.73 cores=1,3,5,7
/proc/17343/task/17367/stat : 17367 (java) R 17341 17341 14062 0 -1 4202560 17 0 0 0 73 0 0 0 20 0 19 0 407889447 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165152643736 140165340771697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17368] ppid=17341 vsize=15417404 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/17343/task/17368/stat : 17368 (java) R 17341 17341 14062 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 19 0 407889447 15787421696 51686 33554432000 4194304 4196468 140735566939968 140165155798856 140165342159351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 151.42 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 208196 KiB
[startup+39.2044 s]
/proc/loadavg: 8.04 8.16 8.02 9/237 17376
/proc/meminfo: memFree=27099136/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15417404 memory=206864 CPUtime=154.6 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 46975 0 0 0 15437 23 0 0 20 0 19 0 407885691 15787421696 51716 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3854351 51716 3528 1 0 3815453 0
[pid=17343/tid=17344] ppid=17341 vsize=15417404 memory=984 CPUtime=0.78 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) S 17341 17341 14062 0 -1 1077944384 9302 0 0 0 73 5 0 0 20 0 19 0 407885692 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165709112448 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15417404 memory=2024 CPUtime=0.09 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 537 0 0 0 8 1 0 0 20 0 19 0 407885692 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15417404 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 721 0 0 0 9 2 0 0 20 0 19 0 407885692 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15417404 memory=1128 CPUtime=0.1 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1203 0 0 0 8 2 0 0 20 0 19 0 407885692 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15417404 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 1675 0 0 0 9 1 0 0 20 0 19 0 407885692 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15417404 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 929 0 0 0 2 1 0 0 20 0 19 0 407885694 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15417404 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407885694 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165172377056 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15417404 memory=11932 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 407885694 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165171324416 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407885697 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15417404 memory=500 CPUtime=2.21 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) S 17341 17341 14062 0 -1 1077944384 8996 0 0 0 220 1 0 0 20 0 19 0 407885697 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165169219568 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15417404 memory=928 CPUtime=2.4 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) S 17341 17341 14062 0 -1 1077944384 11414 0 0 0 239 1 0 0 20 0 19 0 407885697 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165168167024 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15417404 memory=5908 CPUtime=0.8 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) S 17341 17341 14062 0 -1 1077944384 6484 0 0 0 78 2 0 0 20 0 19 0 407885697 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165167114480 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407885697 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15417404 memory=2116 CPUtime=0.01 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 276 0 0 0 0 1 0 0 20 0 19 0 407885697 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17373] ppid=17341 vsize=15417404 memory=8836 CPUtime=0.29 cores=1,3,5,7
/proc/17343/task/17373/stat : 17373 (java) R 17341 17341 14062 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 19 0 407889581 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165154749320 140165341541461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17374] ppid=17341 vsize=15417404 memory=11932 CPUtime=0.28 cores=1,3,5,7
/proc/17343/task/17374/stat : 17374 (java) R 17341 17341 14062 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 19 0 407889581 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165155800936 140165341506625 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17375] ppid=17341 vsize=15417404 memory=16050292788396 CPUtime=0.3 cores=1,3,5,7
/proc/17343/task/17375/stat : 17375 (java) R 17341 17341 14062 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 19 0 407889581 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165153700936 140165341866331 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17376] ppid=17341 vsize=15417404 memory=288230574492221466 CPUtime=0.28 cores=1,3,5,7
/proc/17343/task/17376/stat : 17376 (java) R 17341 17341 14062 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 19 0 407889581 15787421696 51716 33554432000 4194304 4196468 140735566939968 140165152641408 140165343329881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 154.6 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 208316 KiB
[startup+39.6104 s]
/proc/loadavg: 8.04 8.16 8.02 9/237 17376
/proc/meminfo: memFree=27099136/32770624 swapFree=66996236/67108860
[pid=17341] ppid=17338 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17341/stat : 17341 (xcsp3-exec) S 17338 17341 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407885691 115843072 363 33554432000 4194304 5098028 140728386688576 140728386686680 140353172554364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19914752 140728386696058 140728386696301 140728386696301 140728386699210 0
/proc/17341/statm: 28282 363 304 221 0 87 0
[pid=17343] ppid=17341 vsize=15417404 memory=206964 CPUtime=156.22 cores=1,3,5,7
/proc/17343/stat : 17343 (java) S 17341 17341 14062 0 -1 1077944320 47250 0 0 0 15598 24 0 0 20 0 19 0 407885691 15787421696 51741 33554432000 4194304 4196468 140735566939968 140735566922512 140165704871671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
/proc/17343/statm: 3854351 51741 3528 1 0 3815453 0
[pid=17343/tid=17344] ppid=17341 vsize=15417404 memory=772 CPUtime=0.79 cores=1,3,5,7
/proc/17343/task/17344/stat : 17344 (java) S 17341 17341 14062 0 -1 1077944384 9304 0 0 0 74 5 0 0 20 0 19 0 407885692 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165709112448 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17345] ppid=17341 vsize=15417404 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/17343/task/17345/stat : 17345 (java) S 17341 17341 14062 0 -1 1077944384 537 0 0 0 8 1 0 0 20 0 19 0 407885692 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165657491728 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17346] ppid=17341 vsize=15417404 memory=8836 CPUtime=0.11 cores=1,3,5,7
/proc/17343/task/17346/stat : 17346 (java) S 17341 17341 14062 0 -1 1077944384 721 0 0 0 9 2 0 0 20 0 19 0 407885692 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165656439184 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17347] ppid=17341 vsize=15417404 memory=11932 CPUtime=0.1 cores=1,3,5,7
/proc/17343/task/17347/stat : 17347 (java) S 17341 17341 14062 0 -1 1077944384 1203 0 0 0 8 2 0 0 20 0 19 0 407885692 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165655386640 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17348] ppid=17341 vsize=15417404 memory=1556 CPUtime=0.1 cores=1,3,5,7
/proc/17343/task/17348/stat : 17348 (java) S 17341 17341 14062 0 -1 1077944384 1675 0 0 0 9 1 0 0 20 0 19 0 407885692 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165293988496 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17349] ppid=17341 vsize=15417404 memory=500 CPUtime=0.03 cores=1,3,5,7
/proc/17343/task/17349/stat : 17349 (java) S 17341 17341 14062 0 -1 1077944384 929 0 0 0 2 1 0 0 20 0 19 0 407885694 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165173430768 140165704882818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17350] ppid=17341 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17350/stat : 17350 (java) S 17341 17341 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407885694 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165172377056 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17351] ppid=17341 vsize=15417404 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17351/stat : 17351 (java) S 17341 17341 14062 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 407885694 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165171324416 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17352] ppid=17341 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17352/stat : 17352 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407885697 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165170272976 140165704890267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17353] ppid=17341 vsize=15417404 memory=876 CPUtime=2.22 cores=1,3,5,7
/proc/17343/task/17353/stat : 17353 (java) S 17341 17341 14062 0 -1 1077944384 9000 0 0 0 221 1 0 0 20 0 19 0 407885697 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165169219568 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17354] ppid=17341 vsize=15417404 memory=1980 CPUtime=2.45 cores=1,3,5,7
/proc/17343/task/17354/stat : 17354 (java) R 17341 17341 14062 0 -1 4202560 11427 0 0 0 244 1 0 0 20 0 19 0 407885697 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165168167320 140165688839608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17355] ppid=17341 vsize=15417404 memory=2552 CPUtime=0.8 cores=1,3,5,7
/proc/17343/task/17355/stat : 17355 (java) S 17341 17341 14062 0 -1 1077944384 6670 0 0 0 78 2 0 0 20 0 19 0 407885697 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165167114480 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17356] ppid=17341 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17343/task/17356/stat : 17356 (java) S 17341 17341 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407885697 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165166062176 140165704881877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
[pid=17343/tid=17357] ppid=17341 vsize=15417404 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/17343/task/17357/stat : 17357 (java) S 17341 17341 14062 0 -1 1077944384 276 0 0 0 0 1 0 0 20 0 19 0 407885697 15787421696 51741 33554432000 4194304 4196468 140735566939968 140165165009712 140165704882818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140735566943215 140735566943386 140735566943386 140735566946255 0
Current children cumulated CPU time: 156.22 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 208416 KiB
[startup+40.0008 s]*
/proc/loadavg: 8.04 8.16 8.02 6/220 17388
/proc/meminfo: memFree=27279800/32770624 swapFree=66996236/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 40.0105
CPU time (s): 157.731
CPU user time (s): 157.481
CPU system time (s): 0.249186
CPU usage (%): 394.223
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 253204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.481
system time used= 0.249186
maximum resident set size= 251752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4423
involuntary context switches= 3696
# summary of solver processes directly reported to runsolver:
# pid: 17341
# total CPU time (s): 157.731
# total CPU user time (s): 157.481
# total CPU system time (s): 0.249186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.295424 second user time and 0.509996 second system time
The end
Begin job on node106 at 2019-09-12 20:23:53 IDJOB=4393294 IDBENCH=124151 IDSOLVER=2840 FILE ID=node106/4393294-1568316310 RUNJOBID= node106-1568309633-14094 PBS_JOBID= 21701134 Free space on /tmp= 56708 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-0.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 /tmp/evaluation-result-4393294-1568316310/watcher-4393294-1568316310 -o /tmp/evaluation-result-4393294-1568316310/solver-4393294-1568316310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1504680969 HOME/instance-4393294-1568316310.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=1504680969 node106.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: 27294000 kB MemAvailable: 28353884 kB Buffers: 124756 kB Cached: 1231116 kB SwapCached: 10256 kB Active: 3951008 kB Inactive: 981204 kB Active(anon): 3575276 kB Inactive(anon): 33284 kB Active(file): 375732 kB Inactive(file): 947920 kB Unevictable: 108044 kB Mlocked: 108044 kB SwapTotal: 67108860 kB SwapFree: 66996236 kB Dirty: 26036 kB Writeback: 0 kB AnonPages: 3673972 kB Mapped: 48552 kB Shmem: 23864 kB Slab: 132956 kB SReclaimable: 104136 kB SUnreclaim: 28820 kB KernelStack: 3808 kB PageTables: 12576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5436828 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3565568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 56684 MiB End job on node106 at 2019-09-12 20:24:33