Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | OPT | 171 | 41.181801 | 6.0541601 |
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.2781801 |
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.09 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254484-1501682857.xml" -tl '1920s' -p 8 -x 0 0.00/0.27 c [HOME/instance-4254484-1501682857.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.33 c 8 solvers in parallel 0.00/0.40 c parse instance... 0.00/1.04 c solve instance... 7.68/1.72 o 198 8.40/1.88 o 197 9.14/1.97 o 196 9.90/2.06 o 195 10.64/2.14 o 194 11.45/2.22 o 193 11.45/2.30 o 192 12.20/2.39 o 191 13.74/2.53 o 190 14.53/2.61 o 189 14.53/2.69 o 188 15.23/2.76 o 187 16.03/2.84 o 186 16.75/2.94 o 185 17.53/3.04 o 184 18.33/3.12 o 183 19.07/3.21 o 182 19.07/3.29 o 181 19.83/3.36 o 180 20.59/3.44 o 179 21.29/3.51 o 178 21.29/3.59 o 177 22.09/3.66 o 176 22.80/3.74 o 175 23.57/3.81 o 174 23.57/3.89 o 173 24.35/3.97 o 172 25.03/4.04 o 171 40.92/6.03 s OPTIMUM FOUND 40.92/6.03 v <instantiation> 40.92/6.03 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> 40.92/6.03 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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> 40.92/6.03 v </instantiation>
OK 171
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254484-1501682857/watcher-4254484-1501682857 -o /tmp/evaluation-result-4254484-1501682857/solver-4254484-1501682857 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1502780803 HOME/instance-4254484-1501682857.xml pid=22911 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.95 4.10 6.52 2/175 22914 /proc/meminfo: memFree=31654144/32770624 swapFree=0/352868 [pid=22914] ppid=22911 vsize=23672 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (runsolver) D 22911 22914 1143 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15791491 24240128 108 18446744073709551615 4194304 4338465 140725872889824 140725872887464 140000849978071 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 37146624 140725872894035 140725872894531 140725872894531 140725872897994 0 /proc/22914/statm: 5918 108 54 36 0 2156 0 [startup+0.100132 s] /proc/loadavg: 0.95 4.10 6.52 2/175 22914 /proc/meminfo: memFree=31654144/32770624 swapFree=0/352868 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200364 s] /proc/loadavg: 0.95 4.10 6.52 2/175 22914 /proc/meminfo: memFree=31654144/32770624 swapFree=0/352868 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.3003 s] /proc/loadavg: 0.95 4.10 6.52 2/175 22914 /proc/meminfo: memFree=31654144/32770624 swapFree=0/352868 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700276 s] /proc/loadavg: 0.95 4.10 6.52 2/175 22914 /proc/meminfo: memFree=31654144/32770624 swapFree=0/352868 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50627 s] /proc/loadavg: 0.95 4.10 6.52 9/203 22942 /proc/meminfo: memFree=31441940/32770624 swapFree=0/352884 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 [pid=22916] ppid=22914 vsize=26534456 CPUtime=6.14 cores=0-7 /proc/22916/stat : 22916 (java) S 22914 22914 1143 0 -1 1077944320 21281 0 0 0 602 12 0 0 20 0 28 0 15791500 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140720821626000 140534749589239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 /proc/22916/statm: 6633614 58270 3210 1 0 6621915 0 [pid=22916/tid=22917] ppid=22914 vsize=26534456 CPUtime=0.91 cores=0-7 /proc/22916/task/22917/stat : 22917 (java) S 22914 22914 1143 0 -1 1077944384 8407 0 0 0 86 5 0 0 20 0 28 0 15791500 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534753830016 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22918] ppid=22914 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/22916/task/22918/stat : 22918 (java) S 22914 22914 1143 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534706555536 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22919] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22919/stat : 22919 (java) S 22914 22914 1143 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534705502736 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22920] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22920/stat : 22920 (java) S 22914 22914 1143 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534704449936 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22921] ppid=22914 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/22916/task/22921/stat : 22921 (java) S 22914 22914 1143 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534703397136 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22922] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22922/stat : 22922 (java) S 22914 22914 1143 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534702345360 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22923] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22923/stat : 22923 (java) S 22914 22914 1143 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534701292560 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22924] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22924/stat : 22924 (java) S 22914 22914 1143 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534700239760 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22925] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22925/stat : 22925 (java) S 22914 22914 1143 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140534699186960 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22926] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22926/stat : 22926 (java) S 22914 22914 1143 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 15791502 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533293918576 140534749600386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22927] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22927/stat : 22927 (java) S 22914 22914 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 15791503 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533292864544 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22928] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22928/stat : 22928 (java) S 22914 22914 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 15791503 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533291811696 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22929] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22929/stat : 22929 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791506 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533290760016 140534749607835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22930] ppid=22914 vsize=26534456 CPUtime=0.78 cores=0-7 /proc/22916/task/22930/stat : 22930 (java) R 22914 22914 1143 0 -1 4202560 2947 0 0 0 78 0 0 0 20 0 28 0 15791506 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533289700888 140534727184017 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22931] ppid=22914 vsize=26534456 CPUtime=0.8 cores=0-7 /proc/22916/task/22931/stat : 22931 (java) R 22914 22914 1143 0 -1 4202560 2428 0 0 0 80 0 0 0 20 0 28 0 15791506 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533288645408 140534731133343 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22932] ppid=22914 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/22916/task/22932/stat : 22932 (java) R 22914 22914 1143 0 -1 4202560 2654 0 0 0 76 0 0 0 20 0 28 0 15791506 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533287586400 140534731136646 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22933] ppid=22914 vsize=26534456 CPUtime=0.57 cores=0-7 /proc/22916/task/22933/stat : 22933 (java) R 22914 22914 1143 0 -1 4202560 2980 0 0 0 56 1 0 0 20 0 28 0 15791506 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533286550000 140534749610586 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22934] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22934/stat : 22934 (java) S 22914 22914 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15791506 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533285497440 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22935] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22935/stat : 22935 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791510 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140533284444720 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22936] ppid=22914 vsize=26534456 CPUtime=0.28 cores=0-7 /proc/22916/task/22936/stat : 22936 (java) R 22914 22914 1143 0 -1 1077944384 60 0 0 0 28 0 0 0 20 0 28 0 15791597 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532336543760 140534749599445 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22937] ppid=22914 vsize=26534456 CPUtime=0.22 cores=0-7 /proc/22916/task/22937/stat : 22937 (java) S 22914 22914 1143 0 -1 1077944384 52 0 0 0 22 0 0 0 20 0 28 0 15791597 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532335493744 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22938] ppid=22914 vsize=26534456 CPUtime=0.33 cores=0-7 /proc/22916/task/22938/stat : 22938 (java) R 22914 22914 1143 0 -1 4202560 36 0 0 0 33 0 0 0 20 0 28 0 15791597 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532334443304 140534372403364 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22939] ppid=22914 vsize=26534456 CPUtime=0.22 cores=0-7 /proc/22916/task/22939/stat : 22939 (java) R 22914 22914 1143 0 -1 4202560 66 0 0 0 22 0 0 0 20 0 28 0 15791597 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532333387688 140534372614695 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22940] ppid=22914 vsize=26534456 CPUtime=0.21 cores=0-7 /proc/22916/task/22940/stat : 22940 (java) R 22914 22914 1143 0 -1 4202560 23 0 0 0 21 0 0 0 20 0 28 0 15791597 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532332335816 140534372661770 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22941] ppid=22914 vsize=26534456 CPUtime=0.31 cores=0-7 /proc/22916/task/22941/stat : 22941 (java) R 22914 22914 1143 0 -1 4202560 35 0 0 0 31 0 0 0 20 0 28 0 15791600 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532331282176 140534372401467 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22942] ppid=22914 vsize=26534456 CPUtime=0.25 cores=0-7 /proc/22916/task/22942/stat : 22942 (java) R 22914 22914 1143 0 -1 4202560 38 0 0 0 25 0 0 0 20 0 28 0 15791601 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532330229744 140534372614533 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22943] ppid=22914 vsize=26534456 CPUtime=0.25 cores=0-7 /proc/22916/task/22943/stat : 22943 (java) R 22914 22914 1143 0 -1 4202560 29 0 0 0 25 0 0 0 20 0 28 0 15791601 27171282944 58270 18446744073709551615 4194304 4196468 140720821643456 140532329179512 140534372614647 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 26543968 [startup+3.10527 s] /proc/loadavg: 1.52 4.16 6.53 13/204 22983 /proc/meminfo: memFree=31427000/32770624 swapFree=0/352884 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 [pid=22916] ppid=22914 vsize=26534456 CPUtime=18.33 cores=0-7 /proc/22916/stat : 22916 (java) S 22914 22914 1143 0 -1 1077944320 24605 0 0 0 1812 21 0 0 20 0 28 0 15791500 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140720821626000 140534749589239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 /proc/22916/statm: 6633614 67722 3238 1 0 6621915 0 [pid=22916/tid=22917] ppid=22914 vsize=26534456 CPUtime=0.96 cores=0-7 /proc/22916/task/22917/stat : 22917 (java) S 22914 22914 1143 0 -1 1077944384 8410 0 0 0 91 5 0 0 20 0 28 0 15791500 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534753830016 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22918] ppid=22914 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/22916/task/22918/stat : 22918 (java) S 22914 22914 1143 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534706555536 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22919] ppid=22914 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/22916/task/22919/stat : 22919 (java) S 22914 22914 1143 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534705502736 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22920] ppid=22914 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/22916/task/22920/stat : 22920 (java) S 22914 22914 1143 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534704449936 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22921] ppid=22914 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/22916/task/22921/stat : 22921 (java) S 22914 22914 1143 0 -1 1077944384 41 0 0 0 3 1 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534703397136 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22922] ppid=22914 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/22916/task/22922/stat : 22922 (java) S 22914 22914 1143 0 -1 1077944384 34 0 0 0 3 1 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534702345360 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22923] ppid=22914 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/22916/task/22923/stat : 22923 (java) S 22914 22914 1143 0 -1 1077944384 33 0 0 0 3 1 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534701292560 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22924] ppid=22914 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/22916/task/22924/stat : 22924 (java) S 22914 22914 1143 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534700239760 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22925] ppid=22914 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/22916/task/22925/stat : 22925 (java) S 22914 22914 1143 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 15791501 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140534699186960 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22926] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22926/stat : 22926 (java) S 22914 22914 1143 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 15791502 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533293918576 140534749600386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22927] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22927/stat : 22927 (java) S 22914 22914 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 15791503 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533292864608 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22928] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22928/stat : 22928 (java) S 22914 22914 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 15791503 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533291811712 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22929] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22929/stat : 22929 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791506 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533290760016 140534749607835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22930] ppid=22914 vsize=26534456 CPUtime=1.62 cores=0-7 /proc/22916/task/22930/stat : 22930 (java) R 22914 22914 1143 0 -1 4202560 3059 0 0 0 161 1 0 0 20 0 28 0 15791506 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533289694944 140534730225172 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22931] ppid=22914 vsize=26534456 CPUtime=1.57 cores=0-7 /proc/22916/task/22931/stat : 22931 (java) S 22914 22914 1143 0 -1 1077944384 3045 0 0 0 156 1 0 0 20 0 28 0 15791506 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533288655600 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22932] ppid=22914 vsize=26534456 CPUtime=1.43 cores=0-7 /proc/22916/task/22932/stat : 22932 (java) R 22914 22914 1143 0 -1 4202560 2802 0 0 0 143 0 0 0 20 0 28 0 15791506 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533287589840 140534728836021 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22933] ppid=22914 vsize=26534456 CPUtime=0.71 cores=0-7 /proc/22916/task/22933/stat : 22933 (java) S 22914 22914 1143 0 -1 1077944384 3184 0 0 0 70 1 0 0 20 0 28 0 15791506 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533286550000 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22934] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22934/stat : 22934 (java) S 22914 22914 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15791506 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533285497440 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22935] ppid=22914 vsize=26534456 CPUtime=0 cores=0-7 /proc/22916/task/22935/stat : 22935 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791510 27171282944 67722 18446744073709551615 4194304 4196468 140720821643456 140533284444720 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 Current children cumulated CPU time (s) 18.33 Current children cumulated vsize (KiB) 26543968 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22916 sig 9 ??? kill 22914 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20127 s] /proc/loadavg: 1.52 4.16 6.53 13/204 22983 /proc/meminfo: memFree=31427000/32770624 swapFree=0/352884 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 [pid=22916] ppid=22914 vsize=26534456 CPUtime=19.07 cores=0-7 /proc/22916/stat : 22916 (java) S 22914 22914 1143 0 -1 1077944320 24760 0 0 0 1885 22 0 0 20 0 28 0 15791500 27171282944 67727 18446744073709551615 4194304 4196468 140720821643456 140720821626000 140534749589239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 /proc/22916/statm: 6633614 67727 3238 1 0 6621915 0 [pid=22916/tid=22917] ppid=22914 vsize=26534456 CPUtime=0.96 cores=0-7 /proc/22916/task/22917/stat : 22917 (java) S 22914 22914 1143 0 -1 1077944384 8410 0 0 0 91 5 0 0 20 0 28 0 15791500 27171282944 67727 18446744073709551615 4194304 4196468 140720821643456 140534753830016 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 ################ # More data... # ################ /proc/22916/task/22927/stat : 22927 (java) S 22914 22914 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 15791503 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533292864608 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22928] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22928/stat : 22928 (java) S 22914 22914 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 15791503 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533291811712 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22929] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22929/stat : 22929 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791506 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533290760016 140534749607835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22930] ppid=22914 vsize=26535484 CPUtime=1.74 cores=0-7 /proc/22916/task/22930/stat : 22930 (java) S 22914 22914 1143 0 -1 1077944384 3077 0 0 0 173 1 0 0 20 0 28 0 15791506 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533289708400 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22931] ppid=22914 vsize=26535484 CPUtime=1.63 cores=0-7 /proc/22916/task/22931/stat : 22931 (java) S 22914 22914 1143 0 -1 1077944384 3057 0 0 0 162 1 0 0 20 0 28 0 15791506 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533288655600 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22932] ppid=22914 vsize=26535484 CPUtime=1.52 cores=0-7 /proc/22916/task/22932/stat : 22932 (java) S 22914 22914 1143 0 -1 1077944384 2832 0 0 0 152 0 0 0 20 0 28 0 15791506 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533287602800 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22933] ppid=22914 vsize=26535484 CPUtime=0.73 cores=0-7 /proc/22916/task/22933/stat : 22933 (java) S 22914 22914 1143 0 -1 1077944384 3210 0 0 0 72 1 0 0 20 0 28 0 15791506 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533286550000 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22934] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22934/stat : 22934 (java) S 22914 22914 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15791506 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533285497440 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22935] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22935/stat : 22935 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791510 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140533284444720 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23161] ppid=22914 vsize=26535484 CPUtime=0.73 cores=0-7 /proc/22916/task/23161/stat : 23161 (java) R 22914 22914 1143 0 -1 4202560 18 0 0 0 73 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532333386096 140534373243403 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23162] ppid=22914 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/22916/task/23162/stat : 23162 (java) R 22914 22914 1143 0 -1 4202560 17 0 0 0 74 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532335492544 140534373243454 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23163] ppid=22914 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/22916/task/23163/stat : 23163 (java) R 22914 22914 1143 0 -1 4202560 17 0 0 0 74 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532330230016 140534372614695 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23164] ppid=22914 vsize=26535484 CPUtime=0.73 cores=0-7 /proc/22916/task/23164/stat : 23164 (java) R 22914 22914 1143 0 -1 4202560 16 0 0 0 73 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532332335216 140534372670729 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23165] ppid=22914 vsize=26535484 CPUtime=0.72 cores=0-7 /proc/22916/task/23165/stat : 23165 (java) R 22914 22914 1143 0 -1 4202560 20 0 0 0 72 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532336546088 140534373243454 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23166] ppid=22914 vsize=26535484 CPUtime=0.7 cores=0-7 /proc/22916/task/23166/stat : 23166 (java) R 22914 22914 1143 0 -1 4202560 18 0 0 0 70 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532331282432 140534373051490 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23167] ppid=22914 vsize=26535484 CPUtime=0.72 cores=0-7 /proc/22916/task/23167/stat : 23167 (java) R 22914 22914 1143 0 -1 4202560 18 0 0 0 72 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532334439712 140534372614919 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23168] ppid=22914 vsize=26535484 CPUtime=0.72 cores=0-7 /proc/22916/task/23168/stat : 23168 (java) R 22914 22914 1143 0 -1 4202560 40 0 0 0 72 0 0 0 20 0 28 0 15791895 27172335616 99666 18446744073709551615 4194304 4196468 140720821643456 140532328125920 140534374113325 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 Current children cumulated CPU time (s) 31.38 Current children cumulated vsize (KiB) 26544996 [startup+5.60727 s] /proc/loadavg: 1.52 4.16 6.53 9/206 23169 /proc/meminfo: memFree=31268792/32770624 swapFree=0/352884 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 [pid=22916] ppid=22914 vsize=26535484 CPUtime=37.78 cores=0-7 /proc/22916/stat : 22916 (java) S 22914 22914 1143 0 -1 1077944320 26800 0 0 0 3750 28 0 0 20 0 28 0 15791500 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140720821626000 140534749589239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 /proc/22916/statm: 6633871 98759 3242 1 0 6622172 0 [pid=22916/tid=22917] ppid=22914 vsize=26535484 CPUtime=0.98 cores=0-7 /proc/22916/task/22917/stat : 22917 (java) S 22914 22914 1143 0 -1 1077944384 8412 0 0 0 93 5 0 0 20 0 28 0 15791500 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534753830016 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22918] ppid=22914 vsize=26535484 CPUtime=0.06 cores=0-7 /proc/22916/task/22918/stat : 22918 (java) S 22914 22914 1143 0 -1 1077944384 45 0 0 0 5 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534706555536 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22919] ppid=22914 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/22916/task/22919/stat : 22919 (java) S 22914 22914 1143 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534705502736 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22920] ppid=22914 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/22916/task/22920/stat : 22920 (java) S 22914 22914 1143 0 -1 1077944384 39 0 0 0 3 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534704449936 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22921] ppid=22914 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/22916/task/22921/stat : 22921 (java) S 22914 22914 1143 0 -1 1077944384 50 0 0 0 4 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534703397136 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22922] ppid=22914 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/22916/task/22922/stat : 22922 (java) S 22914 22914 1143 0 -1 1077944384 42 0 0 0 4 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534702345360 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22923] ppid=22914 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/22916/task/22923/stat : 22923 (java) S 22914 22914 1143 0 -1 1077944384 40 0 0 0 4 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534701292560 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22924] ppid=22914 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/22916/task/22924/stat : 22924 (java) S 22914 22914 1143 0 -1 1077944384 48 0 0 0 3 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534700239760 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22925] ppid=22914 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/22916/task/22925/stat : 22925 (java) S 22914 22914 1143 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 28 0 15791501 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140534699186960 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22926] ppid=22914 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/22916/task/22926/stat : 22926 (java) S 22914 22914 1143 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 15791502 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533293918576 140534749600386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22927] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22927/stat : 22927 (java) S 22914 22914 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 15791503 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533292864608 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22928] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22928/stat : 22928 (java) S 22914 22914 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 15791503 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533291811712 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22929] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22929/stat : 22929 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791506 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533290760016 140534749607835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22930] ppid=22914 vsize=26535484 CPUtime=1.75 cores=0-7 /proc/22916/task/22930/stat : 22930 (java) S 22914 22914 1143 0 -1 1077944384 3078 0 0 0 174 1 0 0 20 0 28 0 15791506 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533289708400 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22931] ppid=22914 vsize=26535484 CPUtime=1.64 cores=0-7 /proc/22916/task/22931/stat : 22931 (java) S 22914 22914 1143 0 -1 1077944384 3059 0 0 0 163 1 0 0 20 0 28 0 15791506 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533288655600 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22932] ppid=22914 vsize=26535484 CPUtime=1.55 cores=0-7 /proc/22916/task/22932/stat : 22932 (java) S 22914 22914 1143 0 -1 1077944384 2842 0 0 0 155 0 0 0 20 0 28 0 15791506 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533287602800 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22933] ppid=22914 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/22916/task/22933/stat : 22933 (java) S 22914 22914 1143 0 -1 1077944384 3212 0 0 0 73 1 0 0 20 0 28 0 15791506 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533286550000 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22934] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22934/stat : 22934 (java) S 22914 22914 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15791506 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533285497440 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22935] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22935/stat : 22935 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791510 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140533284444720 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23161] ppid=22914 vsize=26535484 CPUtime=1.52 cores=0-7 /proc/22916/task/23161/stat : 23161 (java) R 22914 22914 1143 0 -1 4202560 20 0 0 0 152 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532333386904 140534372614436 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23162] ppid=22914 vsize=26535484 CPUtime=1.54 cores=0-7 /proc/22916/task/23162/stat : 23162 (java) R 22914 22914 1143 0 -1 4202560 21 0 0 0 154 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532335492680 140534372614463 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23163] ppid=22914 vsize=26535484 CPUtime=1.54 cores=0-7 /proc/22916/task/23163/stat : 23163 (java) R 22914 22914 1143 0 -1 4202560 19 0 0 0 154 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532330230680 140534373243700 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23164] ppid=22914 vsize=26535484 CPUtime=1.53 cores=0-7 /proc/22916/task/23164/stat : 23164 (java) R 22914 22914 1143 0 -1 4202560 20 0 0 0 153 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532332335352 140534373243403 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23165] ppid=22914 vsize=26535484 CPUtime=1.51 cores=0-7 /proc/22916/task/23165/stat : 23165 (java) R 22914 22914 1143 0 -1 4202560 23 0 0 0 151 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532336548216 140534373760575 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23166] ppid=22914 vsize=26535484 CPUtime=1.45 cores=0-7 /proc/22916/task/23166/stat : 23166 (java) R 22914 22914 1143 0 -1 4202560 24 0 0 0 145 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532331282568 140534373051825 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23167] ppid=22914 vsize=26535484 CPUtime=1.52 cores=0-7 /proc/22916/task/23167/stat : 23167 (java) R 22914 22914 1143 0 -1 4202560 21 0 0 0 152 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532334441912 140534370281984 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23168] ppid=22914 vsize=26535484 CPUtime=1.52 cores=0-7 /proc/22916/task/23168/stat : 23168 (java) R 22914 22914 1143 0 -1 4202560 64 0 0 0 152 0 0 0 20 0 28 0 15791895 27172335616 98759 18446744073709551615 4194304 4196468 140720821643456 140532328126712 140534373052980 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 Current children cumulated CPU time (s) 37.78 Current children cumulated vsize (KiB) 26544996 [startup+6.00127 s] /proc/loadavg: 1.52 4.16 6.53 9/206 23169 /proc/meminfo: memFree=31268792/32770624 swapFree=0/352884 [pid=22914] ppid=22911 vsize=9512 CPUtime=0 cores=0-7 /proc/22914/stat : 22914 (xcsp3-exec) S 22911 22914 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15791491 9740288 345 18446744073709551615 4194304 5098028 140725883251344 140725883249448 140696774185596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29114368 140725883253138 140725883253348 140725883253348 140725883256811 0 /proc/22914/statm: 2378 345 289 221 0 87 0 [pid=22916] ppid=22914 vsize=26535484 CPUtime=40.92 cores=0-7 /proc/22916/stat : 22916 (java) S 22914 22914 1143 0 -1 1077944320 26814 0 0 0 4064 28 0 0 20 0 28 0 15791500 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140720821626000 140534749589239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 /proc/22916/statm: 6633871 98776 3242 1 0 6622172 0 [pid=22916/tid=22917] ppid=22914 vsize=26535484 CPUtime=0.98 cores=0-7 /proc/22916/task/22917/stat : 22917 (java) S 22914 22914 1143 0 -1 1077944384 8412 0 0 0 93 5 0 0 20 0 28 0 15791500 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534753830016 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22918] ppid=22914 vsize=26535484 CPUtime=0.06 cores=0-7 /proc/22916/task/22918/stat : 22918 (java) S 22914 22914 1143 0 -1 1077944384 45 0 0 0 5 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534706555536 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22919] ppid=22914 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/22916/task/22919/stat : 22919 (java) S 22914 22914 1143 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534705502736 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22920] ppid=22914 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/22916/task/22920/stat : 22920 (java) S 22914 22914 1143 0 -1 1077944384 39 0 0 0 3 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534704449936 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22921] ppid=22914 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/22916/task/22921/stat : 22921 (java) S 22914 22914 1143 0 -1 1077944384 50 0 0 0 4 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534703397136 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22922] ppid=22914 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/22916/task/22922/stat : 22922 (java) S 22914 22914 1143 0 -1 1077944384 42 0 0 0 4 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534702345360 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22923] ppid=22914 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/22916/task/22923/stat : 22923 (java) S 22914 22914 1143 0 -1 1077944384 40 0 0 0 4 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534701292560 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22924] ppid=22914 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/22916/task/22924/stat : 22924 (java) S 22914 22914 1143 0 -1 1077944384 48 0 0 0 3 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534700239760 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22925] ppid=22914 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/22916/task/22925/stat : 22925 (java) S 22914 22914 1143 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 28 0 15791501 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140534699186960 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22926] ppid=22914 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/22916/task/22926/stat : 22926 (java) S 22914 22914 1143 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 15791502 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533293918576 140534749600386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22927] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22927/stat : 22927 (java) S 22914 22914 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 15791503 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533292864608 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22928] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22928/stat : 22928 (java) S 22914 22914 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 15791503 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533291811712 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22929] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22929/stat : 22929 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791506 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533290760016 140534749607835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22930] ppid=22914 vsize=26535484 CPUtime=1.75 cores=0-7 /proc/22916/task/22930/stat : 22930 (java) S 22914 22914 1143 0 -1 1077944384 3078 0 0 0 174 1 0 0 20 0 28 0 15791506 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533289708400 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22931] ppid=22914 vsize=26535484 CPUtime=1.65 cores=0-7 /proc/22916/task/22931/stat : 22931 (java) S 22914 22914 1143 0 -1 1077944384 3060 0 0 0 164 1 0 0 20 0 28 0 15791506 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533288655600 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22932] ppid=22914 vsize=26535484 CPUtime=1.55 cores=0-7 /proc/22916/task/22932/stat : 22932 (java) S 22914 22914 1143 0 -1 1077944384 2842 0 0 0 155 0 0 0 20 0 28 0 15791506 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533287602800 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22933] ppid=22914 vsize=26535484 CPUtime=0.74 cores=0-7 /proc/22916/task/22933/stat : 22933 (java) S 22914 22914 1143 0 -1 1077944384 3212 0 0 0 73 1 0 0 20 0 28 0 15791506 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533286550000 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22934] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22934/stat : 22934 (java) S 22914 22914 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15791506 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533285497440 140534749599445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=22935] ppid=22914 vsize=26535484 CPUtime=0 cores=0-7 /proc/22916/task/22935/stat : 22935 (java) S 22914 22914 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15791510 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140533284444720 140534749600386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23161] ppid=22914 vsize=26535484 CPUtime=1.91 cores=0-7 /proc/22916/task/23161/stat : 23161 (java) R 22914 22914 1143 0 -1 4202560 20 0 0 0 191 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532333386408 140534372614933 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23162] ppid=22914 vsize=26535484 CPUtime=1.93 cores=0-7 /proc/22916/task/23162/stat : 23162 (java) R 22914 22914 1143 0 -1 4202560 21 0 0 0 193 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532335492680 140534373267294 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23163] ppid=22914 vsize=26535484 CPUtime=1.93 cores=0-7 /proc/22916/task/23163/stat : 23163 (java) R 22914 22914 1143 0 -1 4202560 19 0 0 0 193 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532330229904 140534373051896 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23164] ppid=22914 vsize=26535484 CPUtime=1.92 cores=0-7 /proc/22916/task/23164/stat : 23164 (java) R 22914 22914 1143 0 -1 4202560 20 0 0 0 192 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532332335368 140534372614463 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23165] ppid=22914 vsize=26535484 CPUtime=1.9 cores=0-7 /proc/22916/task/23165/stat : 23165 (java) R 22914 22914 1143 0 -1 4202560 23 0 0 0 190 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532336545816 140534372614695 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23166] ppid=22914 vsize=26535484 CPUtime=1.83 cores=0-7 /proc/22916/task/23166/stat : 23166 (java) R 22914 22914 1143 0 -1 4202560 25 0 0 0 183 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532331282600 140534373051514 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23167] ppid=22914 vsize=26535484 CPUtime=1.91 cores=0-7 /proc/22916/task/23167/stat : 23167 (java) R 22914 22914 1143 0 -1 4202560 21 0 0 0 191 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532334440408 140534373243403 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 [pid=22916/tid=23168] ppid=22914 vsize=26535484 CPUtime=1.91 cores=0-7 /proc/22916/task/23168/stat : 23168 (java) R 22914 22914 1143 0 -1 4202560 76 0 0 0 191 0 0 0 20 0 28 0 15791895 27172335616 98776 18446744073709551615 4194304 4196468 140720821643456 140532328124192 140534372614942 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140720821645776 140720821645952 140720821645952 140720821649359 0 Current children cumulated CPU time (s) 40.92 Current children cumulated vsize (KiB) 26544996 Child status: 0 Real time (s): 6.05416 CPU time (s): 41.1818 CPU user time (s): 40.8788 CPU system time (s): 0.303031 CPU usage (%): 680.224 Max. virtual memory (cumulated for all children) (KiB): 26544996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.8788 system time used= 0.303031 maximum resident set size= 398704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27348 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5517 involuntary context switches= 953 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.038834 second user time and 0.048154 second system time The end
Begin job on node134 at 2017-08-02 15:53:36 IDJOB=4254484 IDBENCH=124179 IDSOLVER=2636 FILE ID=node134/4254484-1501682857 RUNJOBID= node134-1501676576-1207 PBS_JOBID= Free space on /tmp= 61900 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254484-1501682857/watcher-4254484-1501682857 -o /tmp/evaluation-result-4254484-1501682857/solver-4254484-1501682857 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1502780803 HOME/instance-4254484-1501682857.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2ebe21d5d08c670f23069b27b9adbcc2 RANDOM SEED=1502780803 node134.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.43 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.43 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.43 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.43 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: 31654732 kB MemAvailable: 32015172 kB Buffers: 137504 kB Cached: 500200 kB SwapCached: 0 kB Active: 337576 kB Inactive: 359520 kB Active(anon): 61452 kB Inactive(anon): 6652 kB Active(file): 276124 kB Inactive(file): 352868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7592 kB Writeback: 0 kB AnonPages: 59348 kB Mapped: 30512 kB Shmem: 8892 kB Slab: 119608 kB SReclaimable: 94568 kB SUnreclaim: 25040 kB KernelStack: 3088 kB PageTables: 3840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 281736 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61892 MiB End job on node134 at 2017-08-02 15:53:42