Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-18) | OPT | 171 | 28.993 | 25.3297 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml |
| MD5SUM | 2ebe21d5d08c670f23069b27b9adbcc2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 171 |
| Best CPU time to get the best result obtained on this benchmark | 8.3614998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4158 |
| Number of constraints | 220 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":792},{"size":3,"count":594},{"size":5,"count":198},{"size":8,"count":198},{"size":11,"count":198},{"size":12,"count":396},{"size":14,"count":396},{"size":17,"count":396},{"size":18,"count":198},{"size":19,"count":594},{"size":20,"count":198}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":4158}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3960 |
| Distribution of constraint arities | [{"arity":21,"count":198},{"arity":198,"count":21},{"arity":3960,"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":218}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.11 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281796-1503117362.xml" -tl '2520s' -p 1 -x 0 0.05/0.30 c [HOME/instance-4281796-1503117362.xml, -tl, 2520s, -p, 1, -x, 0] 0.22/0.36 c simple solver 0.40/0.42 c parse instance... 1.16/0.74 c solve instance... 6.27/4.26 o 183 6.27/4.27 o 182 6.72/4.51 o 181 11.48/8.13 o 180 11.57/8.22 o 179 11.57/8.26 o 178 28.35/24.71 o 176 28.35/24.73 o 175 28.35/24.74 o 174 28.66/25.01 o 171 28.95/25.32 s OPTIMUM FOUND 28.95/25.32 v <instantiation> 28.95/25.32 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] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] 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] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19] </list> 28.95/25.32 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 28.95/25.32 v </instantiation>
OK 171
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 (14969 MiB free)
memory of node 1: 16384 MiB (15313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281796-1503117362/watcher-4281796-1503117362 -o /tmp/evaluation-result-4281796-1503117362/solver-4281796-1503117362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2093044459 HOME/instance-4281796-1503117362.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=448, runsolver pid=445
[startup+0.100155 s]*
/proc/loadavg: 1.91 1.82 1.77 2/196 449
/proc/meminfo: memFree=31010224/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (runsolver) D 445 448 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 113929268 34791424 114 18446744073709551615 4194304 4346622 140736563862624 140736563859256 140237304898263 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 29659136 140736563867702 140736563868196 140736563868196 140736563871690 0
/proc/448/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209182 s]*
/proc/loadavg: 1.92 1.83 1.77 2/210 463
/proc/meminfo: memFree=30998232/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13907304 memory=22408 CPUtime=0.05 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 5012 0 0 0 4 1 0 0 20 0 14 0 113929279 14241079296 5602 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3476826 5602 2560 1 0 3466323 0
[pid=450/tid=451] ppid=448 vsize=13973868 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 3199 0 0 0 4 1 0 0 20 0 15 0 113929279 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140505538297328 140505512510823 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13973868 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13973868 memory=3617146701660235424 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13973868 memory=140237307848320 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929281 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) S 448 448 28892 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 113929284 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13973868 memory=140237307848320 CPUtime=0 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 113929285 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13973868 memory=140237307848320 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929290 14309240832 5602 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23788 KiB
[startup+0.310189 s]*
/proc/loadavg: 1.92 1.83 1.77 3/211 464
/proc/meminfo: memFree=30987212/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13975376 memory=35512 CPUtime=0.22 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 8785 0 0 0 20 2 0 0 20 0 15 0 113929279 14310785024 8878 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3493844 8878 2974 1 0 3483220 0
[pid=450/tid=451] ppid=448 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 6043 0 0 0 12 2 0 0 20 0 15 0 113929279 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140505538288800 140505518146910 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13974352 memory=140237307848320 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13974352 memory=140237307848320 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929281 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) R 448 448 28892 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 15 0 113929284 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) R 448 448 28892 0 -1 4202560 382 0 0 0 1 0 0 0 20 0 15 0 113929285 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505527051465 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13974352 memory=140237307848320 CPUtime=0.05 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 113929285 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13974352 memory=140237307848320 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929290 14309736448 9193 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36892 KiB
[startup+0.708575 s]
/proc/loadavg: 1.92 1.83 1.77 5/211 464
/proc/meminfo: memFree=30971444/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13980732 memory=70656 CPUtime=1.16 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 11871 0 0 0 111 5 0 0 20 0 15 0 113929279 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3495183 17664 3166 1 0 3483476 0
[pid=450/tid=451] ppid=448 vsize=13980732 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 8016 0 0 0 49 3 0 0 20 0 15 0 113929279 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140505538276720 140505520135798 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113929281 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) R 448 448 28892 0 -1 4202560 647 0 0 0 17 0 0 0 20 0 15 0 113929284 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504715121472 140505534087770 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) R 448 448 28892 0 -1 4202560 637 0 0 0 13 0 0 0 20 0 15 0 113929285 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504714072624 140505519183580 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13980732 memory=145936 CPUtime=0.29 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 1263 0 0 0 29 0 0 0 20 0 15 0 113929285 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929290 14316269568 17664 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72036 KiB
[startup+1.50074 s]
/proc/loadavg: 1.92 1.83 1.77 5/211 464
/proc/meminfo: memFree=30941004/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13980732 memory=90760 CPUtime=3.26 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 19664 0 0 0 320 6 0 0 20 0 15 0 113929279 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3495183 22690 3191 1 0 3483476 0
[pid=450/tid=451] ppid=448 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 8328 0 0 0 128 4 0 0 20 0 15 0 113929279 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140505538305800 140505178758867 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13980732 memory=8099531877818917968 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13980732 memory=7306316804797196914 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13980732 memory=6008172783576573265 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113929281 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13980732 memory=8530215889787762228 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13980732 memory=7681905605394137914 CPUtime=0.76 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) S 448 448 28892 0 -1 1077944384 3802 0 0 0 76 0 0 0 20 0 15 0 113929284 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13980732 memory=7681905605394137914 CPUtime=0.74 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) S 448 448 28892 0 -1 1077944384 4362 0 0 0 73 1 0 0 20 0 15 0 113929285 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13980732 memory=1399101730491701635 CPUtime=0.41 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 1861 0 0 0 41 0 0 0 20 0 15 0 113929285 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13980732 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929290 14316269568 22690 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
################
# More data... #
################
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13980732 memory=126016 CPUtime=27.65 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 38038 0 0 0 2756 9 0 0 20 0 15 0 113929279 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3495183 31504 3209 1 0 3483476 0
[pid=450/tid=451] ppid=448 vsize=13980732 memory=0 CPUtime=23.82 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 11249 0 0 0 2377 5 0 0 20 0 15 0 113929279 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140505538303056 140505179863673 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13980732 memory=8320808407015044916 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13980732 memory=3539882221918887983 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13980732 memory=2319529436474197680 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 113929281 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13980732 memory=6008172783576573265 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13980732 memory=7737838787621054560 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13980732 memory=0 CPUtime=1.7 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) S 448 448 28892 0 -1 1077944384 9563 0 0 0 169 1 0 0 20 0 15 0 113929284 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13980732 memory=4830786140298962533 CPUtime=1.61 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) S 448 448 28892 0 -1 1077944384 11139 0 0 0 160 1 0 0 20 0 15 0 113929285 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13980732 memory=7234459934192535519 CPUtime=0.49 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 4035 0 0 0 49 0 0 0 20 0 15 0 113929285 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13980732 memory=3184097920075968559 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13980732 memory=8820813135187630001 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 113929290 14316269568 31504 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 27.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127396 KiB
[startup+24.8007 s]
/proc/loadavg: 1.92 1.84 1.77 3/211 464
/proc/meminfo: memFree=30877828/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13980732 memory=128084 CPUtime=28.45 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 38715 0 0 0 2836 9 0 0 20 0 15 0 113929279 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3495183 32021 3209 1 0 3483476 0
[pid=450/tid=451] ppid=448 vsize=13980732 memory=126016 CPUtime=24.61 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 11469 0 0 0 2456 5 0 0 20 0 15 0 113929279 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505538303168 140505179471684 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13980732 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 113929281 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13980732 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13980732 memory=796 CPUtime=1.7 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) S 448 448 28892 0 -1 1077944384 9563 0 0 0 169 1 0 0 20 0 15 0 113929284 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13980732 memory=11152 CPUtime=1.61 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) S 448 448 28892 0 -1 1077944384 11139 0 0 0 160 1 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13980732 memory=15880 CPUtime=0.49 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 4492 0 0 0 49 0 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13980732 memory=34928 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 113929290 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 129464 KiB
[startup+25.2008 s]
/proc/loadavg: 1.92 1.84 1.77 3/211 464
/proc/meminfo: memFree=30875780/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13980732 memory=128084 CPUtime=28.85 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 38715 0 0 0 2876 9 0 0 20 0 15 0 113929279 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3495183 32021 3209 1 0 3483476 0
[pid=450/tid=451] ppid=448 vsize=13980732 memory=0 CPUtime=25.01 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 11469 0 0 0 2496 5 0 0 20 0 15 0 113929279 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505538297680 140505179471679 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 113929281 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13980732 memory=-6948055166404804227 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13980732 memory=7378349102387786914 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13980732 memory=7234576917979478634 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13980732 memory=7228952860368725568 CPUtime=1.7 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) S 448 448 28892 0 -1 1077944384 9563 0 0 0 169 1 0 0 20 0 15 0 113929284 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13980732 memory=5792846754351573863 CPUtime=1.61 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) S 448 448 28892 0 -1 1077944384 11139 0 0 0 160 1 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13980732 memory=6935653761230595160 CPUtime=0.49 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 4492 0 0 0 49 0 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13980732 memory=8128038100524242582 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13980732 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 113929290 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 129464 KiB
[startup+25.3007 s]
/proc/loadavg: 1.92 1.84 1.77 3/211 464
/proc/meminfo: memFree=30875780/32770624 swapFree=67108860/67108860
[pid=448] ppid=445 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/448/stat : 448 (xcsp3-exec) S 445 448 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113929268 9740288 345 18446744073709551615 4194304 5098028 140736566253616 140736566251720 139731168830076 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11333632 140736566260088 140736566260293 140736566260293 140736566263787 0
/proc/448/statm: 2378 345 289 221 0 87 0
[pid=450] ppid=448 vsize=13980732 memory=128084 CPUtime=28.95 cores=0,2,4,6
/proc/450/stat : 450 (java) S 448 448 28892 0 -1 1077944320 38715 0 0 0 2886 9 0 0 20 0 15 0 113929279 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140734496825328 140505534066423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
/proc/450/statm: 3495183 32021 3209 1 0 3483476 0
[pid=450/tid=451] ppid=448 vsize=13980732 memory=1380 CPUtime=25.11 cores=0,2,4,6
/proc/450/task/451/stat : 451 (java) R 448 448 28892 0 -1 4202560 11469 0 0 0 2506 5 0 0 20 0 15 0 113929279 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505538297680 140505178759317 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=452] ppid=448 vsize=13980732 memory=126016 CPUtime=0 cores=0,2,4,6
/proc/450/task/452/stat : 452 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505494965136 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=453] ppid=448 vsize=13980732 memory=123968 CPUtime=0 cores=0,2,4,6
/proc/450/task/453/stat : 453 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505132755728 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=454] ppid=448 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/450/task/454/stat : 454 (java) S 448 448 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505131703440 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=455] ppid=448 vsize=13980732 memory=123968 CPUtime=0 cores=0,2,4,6
/proc/450/task/455/stat : 455 (java) S 448 448 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113929280 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140505130650640 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=456] ppid=448 vsize=13980732 memory=113424 CPUtime=0 cores=0,2,4,6
/proc/450/task/456/stat : 456 (java) S 448 448 28892 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 113929281 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504719345776 140505534077570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=457] ppid=448 vsize=13980732 memory=123968 CPUtime=0 cores=0,2,4,6
/proc/450/task/457/stat : 457 (java) S 448 448 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504718291744 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=458] ppid=448 vsize=13980732 memory=121916 CPUtime=0 cores=0,2,4,6
/proc/450/task/458/stat : 458 (java) S 448 448 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113929282 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504717239408 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=459] ppid=448 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/450/task/459/stat : 459 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929284 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504716187728 140505534085019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=460] ppid=448 vsize=13980732 memory=1380 CPUtime=1.7 cores=0,2,4,6
/proc/450/task/460/stat : 460 (java) S 448 448 28892 0 -1 1077944384 9563 0 0 0 169 1 0 0 20 0 15 0 113929284 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504715135600 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=461] ppid=448 vsize=13980732 memory=4134931637327791675 CPUtime=1.61 cores=0,2,4,6
/proc/450/task/461/stat : 461 (java) S 448 448 28892 0 -1 1077944384 11139 0 0 0 160 1 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504714082800 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=462] ppid=448 vsize=13980732 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/450/task/462/stat : 462 (java) S 448 448 28892 0 -1 1077944384 4492 0 0 0 49 0 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504713030512 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=463] ppid=448 vsize=13980732 memory=126016 CPUtime=0 cores=0,2,4,6
/proc/450/task/463/stat : 463 (java) S 448 448 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113929285 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504711977952 140505534076629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
[pid=450/tid=464] ppid=448 vsize=13980732 memory=140237191977784 CPUtime=0 cores=0,2,4,6
/proc/450/task/464/stat : 464 (java) S 448 448 28892 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 113929290 14316269568 32021 18446744073709551615 4194304 4196468 140734496842784 140504710924720 140505534077570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 8454144 140734496850353 140734496850529 140734496850529 140734496853967 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 129464 KiB
Child status: 0
Real time (s): 25.3297
CPU time (s): 28.993
CPU user time (s): 28.8917
CPU system time (s): 0.101285
CPU usage (%): 114.462
Max. virtual memory (cumulated for all children) (KiB): 13992212
Max. memory (cumulated for all children) (KiB): 129464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.8917
system time used= 0.101285
maximum resident set size= 130404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2933
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 448
# total CPU time (s): 28.993
# total CPU user time (s): 28.8917
# total CPU system time (s): 0.101285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178642 second user time and 0.261532 second system time
The end
Begin job on node127 at 2017-08-19 06:21:51 IDJOB=4281796 IDBENCH=124179 IDSOLVER=2677 FILE ID=node127/4281796-1503117362 RUNJOBID= node127-1503095799-28950 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281796-1503117362/watcher-4281796-1503117362 -o /tmp/evaluation-result-4281796-1503117362/solver-4281796-1503117362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2093044459 HOME/instance-4281796-1503117362.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2ebe21d5d08c670f23069b27b9adbcc2 RANDOM SEED=2093044459 node127.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.92 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.92 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.92 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.92 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: 31010004 kB MemAvailable: 31829912 kB Buffers: 295112 kB Cached: 826900 kB SwapCached: 0 kB Active: 937760 kB Inactive: 374692 kB Active(anon): 141140 kB Inactive(anon): 99188 kB Active(file): 796620 kB Inactive(file): 275504 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7628 kB Writeback: 0 kB AnonPages: 202136 kB Mapped: 72676 kB Shmem: 49828 kB Slab: 153536 kB SReclaimable: 127240 kB SUnreclaim: 26296 kB KernelStack: 3712 kB PageTables: 5360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1290788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node127 at 2017-08-19 06:22:16