Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: choco-solver 5a (2017-07-05) | OPT | 171 | 106.18 | 14.1953 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml |
MD5SUM | 2ebe21d5d08c670f23069b27b9adbcc2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 171 |
Best CPU time to get the best result obtained on this benchmark | 8.3614998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4158 |
Number of constraints | 220 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":792},{"size":3,"count":594},{"size":5,"count":198},{"size":8,"count":198},{"size":11,"count":198},{"size":12,"count":396},{"size":14,"count":396},{"size":17,"count":396},{"size":18,"count":198},{"size":19,"count":594},{"size":20,"count":198}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4158}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3960 |
Distribution of constraint arities | [{"arity":21,"count":198},{"arity":198,"count":21},{"arity":3960,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":218}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246125-1500686809.xml" -tl '2400s' -p 8 -x 3 0.00/0.20 c [HOME/instance-4246125-1500686809.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 0.00/1.05 c solve instance... 7.40/1.61 o 198 11.32/2.18 o 197 13.67/2.46 o 196 16.01/2.78 o 195 18.36/3.01 o 194 19.92/3.22 o 193 21.58/3.49 o 192 23.80/3.73 o 191 25.34/3.95 o 190 26.91/4.19 o 189 28.45/4.41 o 188 30.72/4.65 o 187 32.24/4.88 o 186 33.80/5.08 o 185 35.36/5.28 o 184 36.92/5.47 o 183 38.61/5.70 o 182 39.99/5.86 o 181 41.56/6.06 o 180 43.14/6.26 o 179 44.70/6.46 o 178 46.35/6.65 o 177 47.07/6.77 o 176 48.47/6.96 o 175 50.03/7.17 o 174 51.59/7.35 o 173 53.16/7.54 o 172 54.81/7.78 o 171 105.59/14.17 s OPTIMUM FOUND 105.59/14.17 v <instantiation> 105.59/14.17 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> 105.59/14.17 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> 105.59/14.17 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-4246125-1500686809/watcher-4246125-1500686809 -o /tmp/evaluation-result-4246125-1500686809/solver-4246125-1500686809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2041814811 HOME/instance-4246125-1500686809.xml pid=19367 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.23 9.37 11.51 11/262 19370 /proc/meminfo: memFree=21636436/32770624 swapFree=5860/271800 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 [startup+0.100128 s] /proc/loadavg: 8.23 9.37 11.51 11/262 19370 /proc/meminfo: memFree=21636436/32770624 swapFree=5860/271800 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200247 s] /proc/loadavg: 8.23 9.37 11.51 11/262 19370 /proc/meminfo: memFree=21636436/32770624 swapFree=5860/271800 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300211 s] /proc/loadavg: 8.23 9.37 11.51 11/262 19370 /proc/meminfo: memFree=21636436/32770624 swapFree=5860/271800 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700183 s] /proc/loadavg: 8.23 9.37 11.51 11/262 19370 /proc/meminfo: memFree=21636436/32770624 swapFree=5860/271800 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50124 s] /proc/loadavg: 8.23 9.37 11.51 17/287 19395 /proc/meminfo: memFree=21437800/32770624 swapFree=5860/271832 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 [pid=19371] ppid=19370 vsize=13801768 CPUtime=6.6 cores=0,2,4,6,8,10,12,14 /proc/19371/stat : 19371 (java) S 19370 19370 7411 0 -1 1077944320 26083 0 0 0 634 26 0 0 20 0 28 0 3948350 14133010432 56871 33554432000 4194304 4196468 140724429518224 140724429500768 140657616219895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 /proc/19371/statm: 3450442 56871 3249 1 0 3437675 0 [pid=19371/tid=19372] ppid=19370 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19372/stat : 19372 (java) S 19370 19370 7411 0 -1 1077944384 7884 0 0 0 99 5 0 0 20 0 28 0 3948351 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657620460672 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19374] ppid=19370 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19374/stat : 19374 (java) S 19370 19370 7411 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657568840464 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19375] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19375/stat : 19375 (java) S 19370 19370 7411 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657567787920 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19376] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19376/stat : 19376 (java) S 19370 19370 7411 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657566735376 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19377] ppid=19370 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19377/stat : 19377 (java) S 19370 19370 7411 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657565682832 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19378] ppid=19370 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19378/stat : 19378 (java) S 19370 19370 7411 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657564629264 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19379] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19379/stat : 19379 (java) S 19370 19370 7411 0 -1 1077944384 124 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657563576720 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19380] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19380/stat : 19380 (java) S 19370 19370 7411 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657208785424 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19381] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19381/stat : 19381 (java) S 19370 19370 7411 0 -1 1077944384 47 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657207732880 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19382] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19382/stat : 19382 (java) S 19370 19370 7411 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 28 0 3948354 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657078245872 140657616231042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19383] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19383/stat : 19383 (java) S 19370 19370 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3948355 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657077192096 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19384] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19384/stat : 19384 (java) S 19370 19370 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3948355 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657076139504 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19385] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19385/stat : 19385 (java) S 19370 19370 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3948359 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657075088080 140657616238491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19386] ppid=19370 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19386/stat : 19386 (java) R 19370 19370 7411 0 -1 4202560 3599 0 0 0 81 0 0 0 20 0 28 0 3948359 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657074024032 140657595875073 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19387] ppid=19370 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19387/stat : 19387 (java) R 19370 19370 7411 0 -1 4202560 4834 0 0 0 86 0 0 0 20 0 28 0 3948359 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657072966896 140657597764156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19388] ppid=19370 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19388/stat : 19388 (java) R 19370 19370 7411 0 -1 4202560 3444 0 0 0 75 0 0 0 20 0 28 0 3948359 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657071916128 140657599436442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19389] ppid=19370 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19389/stat : 19389 (java) S 19370 19370 7411 0 -1 1077944384 4012 0 0 0 72 1 0 0 20 0 28 0 3948359 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657070877040 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19390] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19390/stat : 19390 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948359 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657069824736 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19391] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19391/stat : 19391 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948360 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657068772272 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19392] ppid=19370 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19392/stat : 19392 (java) R 19370 19370 7411 0 -1 4202560 125 0 0 0 25 0 0 0 20 0 28 0 3948458 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657060758712 140657248669626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19393] ppid=19370 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19393/stat : 19393 (java) R 19370 19370 7411 0 -1 4202560 44 0 0 0 26 0 0 0 20 0 28 0 3948458 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657059707480 140657248925564 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19394] ppid=19370 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19394/stat : 19394 (java) R 19370 19370 7411 0 -1 4202560 50 0 0 0 33 0 0 0 20 0 28 0 3948458 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657058654344 140657248669757 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19395] ppid=19370 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19395/stat : 19395 (java) R 19370 19370 7411 0 -1 4202560 73 0 0 0 25 0 0 0 20 0 28 0 3948458 14133010432 56871 33554432000 4194304 4196468 140724429518224 140657057599184 140657249133279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 Current children cumulated CPU time (s) 6.6 Current children cumulated vsize (KiB) 13811280 [startup+3.10115 s] /proc/loadavg: 8.23 9.37 11.51 19/291 19415 /proc/meminfo: memFree=21414896/32770624 swapFree=5860/271832 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 [pid=19371] ppid=19370 vsize=13801768 CPUtime=19.13 cores=0,2,4,6,8,10,12,14 /proc/19371/stat : 19371 (java) S 19370 19370 7411 0 -1 1077944320 29821 0 0 0 1886 27 0 0 20 0 28 0 3948350 14133010432 59104 33554432000 4194304 4196468 140724429518224 140724429500768 140657616219895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 /proc/19371/statm: 3450442 59104 3267 1 0 3437675 0 [pid=19371/tid=19372] ppid=19370 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19372/stat : 19372 (java) S 19370 19370 7411 0 -1 1077944384 7895 0 0 0 102 5 0 0 20 0 28 0 3948351 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657620460672 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19374] ppid=19370 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19374/stat : 19374 (java) S 19370 19370 7411 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657568840464 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19375] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19375/stat : 19375 (java) S 19370 19370 7411 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657567787920 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19376] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19376/stat : 19376 (java) S 19370 19370 7411 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657566735376 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19377] ppid=19370 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19377/stat : 19377 (java) S 19370 19370 7411 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657565682832 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19378] ppid=19370 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19378/stat : 19378 (java) S 19370 19370 7411 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657564629264 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19379] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19379/stat : 19379 (java) S 19370 19370 7411 0 -1 1077944384 124 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657563576720 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19380] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19380/stat : 19380 (java) S 19370 19370 7411 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657208785424 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19381] ppid=19370 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19381/stat : 19381 (java) S 19370 19370 7411 0 -1 1077944384 47 0 0 0 2 2 0 0 20 0 28 0 3948352 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657207732880 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19382] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19382/stat : 19382 (java) S 19370 19370 7411 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 28 0 3948354 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657078245872 140657616231042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19383] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19383/stat : 19383 (java) S 19370 19370 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3948355 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657077192096 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19384] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19384/stat : 19384 (java) S 19370 19370 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3948355 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657076139504 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19385] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19385/stat : 19385 (java) S 19370 19370 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3948359 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657075088080 140657616238491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19386] ppid=19370 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19386/stat : 19386 (java) S 19370 19370 7411 0 -1 1077944384 4408 0 0 0 163 1 0 0 20 0 28 0 3948359 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657074034672 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19387] ppid=19370 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19387/stat : 19387 (java) S 19370 19370 7411 0 -1 1077944384 5719 0 0 0 175 0 0 0 20 0 28 0 3948359 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657072982128 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19388] ppid=19370 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19388/stat : 19388 (java) S 19370 19370 7411 0 -1 1077944384 4303 0 0 0 162 1 0 0 20 0 28 0 3948359 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657071929584 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19389] ppid=19370 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19389/stat : 19389 (java) S 19370 19370 7411 0 -1 1077944384 4424 0 0 0 94 1 0 0 20 0 28 0 3948359 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657070877040 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19390] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19390/stat : 19390 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948359 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657069824736 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19391] ppid=19370 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19391/stat : 19391 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948360 14133010432 59104 33554432000 4194304 4196468 140724429518224 140657068772272 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 Current children cumulated CPU time (s) 19.13 Current children cumulated vsize (KiB) 13811280 [startup+6.30128 s] /proc/loadavg: 9.10 9.53 11.55 17/291 19527 /proc/meminfo: memFree=21380212/32770624 swapFree=5860/271844 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 [pid=19371] ppid=19370 vsize=13802796 CPUtime=43.9 cores=0,2,4,6,8,10,12,14 /proc/19371/stat : 19371 (java) S 19370 19370 7411 0 -1 1077944320 34654 0 0 0 4349 41 0 0 20 0 28 0 3948350 14134063104 68906 33554432000 4194304 4196468 140724429518224 140724429500768 140657616219895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 /proc/19371/statm: 3450699 68906 3282 1 0 3437932 0 [pid=19371/tid=19372] ppid=19370 vsize=13802796 CPUtime=1.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19372/stat : 19372 (java) S 19370 19370 7411 0 -1 1077944384 8005 0 0 0 104 5 0 0 20 0 28 0 3948351 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657620460672 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19374] ppid=19370 vsize=13802796 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19374/stat : 19374 (java) S 19370 19370 7411 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657568840464 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19375] ppid=19370 vsize=13802796 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19375/stat : 19375 (java) S 19370 19370 7411 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657567787920 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19376] ppid=19370 vsize=13802796 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19376/stat : 19376 (java) S 19370 19370 7411 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657566735376 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19377] ppid=19370 vsize=13802796 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19377/stat : 19377 (java) S 19370 19370 7411 0 -1 1077944384 77 0 0 0 3 2 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657565682832 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19378] ppid=19370 vsize=13802796 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19378/stat : 19378 (java) S 19370 19370 7411 0 -1 1077944384 763 0 0 0 4 3 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657564629264 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19379] ppid=19370 vsize=13802796 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19379/stat : 19379 (java) S 19370 19370 7411 0 -1 1077944384 158 0 0 0 4 3 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657563576720 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19380] ppid=19370 vsize=13802796 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19380/stat : 19380 (java) S 19370 19370 7411 0 -1 1077944384 121 0 0 0 3 3 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657208785424 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19381] ppid=19370 vsize=13802796 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19381/stat : 19381 (java) S 19370 19370 7411 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 28 0 3948352 14134063104 68906 33554432000 4194304 4196468 140724429518224 140657207732880 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 ################ # More data... # ################ /proc/19371/task/19383/stat : 19383 (java) S 19370 19370 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3948355 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657077192160 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19384] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19384/stat : 19384 (java) S 19370 19370 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3948355 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657076139504 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19385] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19385/stat : 19385 (java) S 19370 19370 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3948359 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657075088080 140657616238491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19386] ppid=19370 vsize=13802796 CPUtime=2.22 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19386/stat : 19386 (java) S 19370 19370 7411 0 -1 1077944384 4826 0 0 0 221 1 0 0 20 0 28 0 3948359 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657074034672 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19387] ppid=19370 vsize=13802796 CPUtime=2.6 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19387/stat : 19387 (java) S 19370 19370 7411 0 -1 1077944384 6134 0 0 0 259 1 0 0 20 0 28 0 3948359 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657072982128 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19388] ppid=19370 vsize=13802796 CPUtime=2.31 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19388/stat : 19388 (java) S 19370 19370 7411 0 -1 1077944384 5702 0 0 0 230 1 0 0 20 0 28 0 3948359 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657071929584 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19389] ppid=19370 vsize=13802796 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19389/stat : 19389 (java) S 19370 19370 7411 0 -1 1077944384 5425 0 0 0 106 1 0 0 20 0 28 0 3948359 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657070877040 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19390] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19390/stat : 19390 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948359 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657069824736 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19391] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19391/stat : 19391 (java) S 19370 19370 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3948360 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657068772272 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 3 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19616] ppid=19370 vsize=13802796 CPUtime=5.79 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19616/stat : 19616 (java) R 19370 19370 7411 0 -1 4202560 181 0 0 0 579 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657060756632 140657249010175 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19617] ppid=19370 vsize=13802796 CPUtime=5.76 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19617/stat : 19617 (java) R 19370 19370 7411 0 -1 4202560 143 0 0 0 576 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657058652584 140657249010399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19618] ppid=19370 vsize=13802796 CPUtime=5.77 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19618/stat : 19618 (java) R 19370 19370 7411 0 -1 4202560 222 0 0 0 577 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657059704360 140657249010351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19619] ppid=19370 vsize=13802796 CPUtime=5.49 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19619/stat : 19619 (java) R 19370 19370 7411 0 -1 4202560 380 0 0 0 549 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657057599136 140657249010335 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19620] ppid=19370 vsize=13802796 CPUtime=5.74 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19620/stat : 19620 (java) R 19370 19370 7411 0 -1 4202560 233 0 0 0 574 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657054441256 140657249653133 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19621] ppid=19370 vsize=13802796 CPUtime=5.8 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19621/stat : 19621 (java) R 19370 19370 7411 0 -1 4202560 201 0 0 0 580 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657056546408 140657249935837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19622] ppid=19370 vsize=13802796 CPUtime=5.8 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19622/stat : 19622 (java) R 19370 19370 7411 0 -1 4202560 182 0 0 0 580 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657055494120 140657249010351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19623] ppid=19370 vsize=13802796 CPUtime=5.55 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19623/stat : 19623 (java) R 19370 19370 7411 0 -1 4202560 133 0 0 0 555 0 0 0 20 0 28 0 3949129 14134063104 99006 33554432000 4194304 4196468 140724429518224 140657052335672 140657249010399 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 Current children cumulated CPU time (s) 101.61 Current children cumulated vsize (KiB) 13812308 [startup+14.0016 s] /proc/loadavg: 9.09 9.52 11.53 17/291 19623 /proc/meminfo: memFree=21249328/32770624 swapFree=5860/271848 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 [pid=19371] ppid=19370 vsize=13802796 CPUtime=104.8 cores=0,2,4,6,8,10,12,14 /proc/19371/stat : 19371 (java) S 19370 19370 7411 0 -1 1077944320 41612 0 0 0 10425 55 0 0 20 0 28 0 3948350 14134063104 99021 33554432000 4194304 4196468 140724429518224 140724429500768 140657616219895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 /proc/19371/statm: 3450699 99021 3286 1 0 3437932 0 [pid=19371/tid=19372] ppid=19370 vsize=13802796 CPUtime=1.11 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19372/stat : 19372 (java) S 19370 19370 7411 0 -1 1077944384 8009 0 0 0 106 5 0 0 20 0 28 0 3948351 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657620460672 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19374] ppid=19370 vsize=13802796 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19374/stat : 19374 (java) S 19370 19370 7411 0 -1 1077944384 78 0 0 0 5 3 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657568840464 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19375] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19375/stat : 19375 (java) S 19370 19370 7411 0 -1 1077944384 65 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657567787920 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19376] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19376/stat : 19376 (java) S 19370 19370 7411 0 -1 1077944384 69 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657566735376 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19377] ppid=19370 vsize=13802796 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19377/stat : 19377 (java) S 19370 19370 7411 0 -1 1077944384 86 0 0 0 5 3 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657565682832 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19378] ppid=19370 vsize=13802796 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19378/stat : 19378 (java) S 19370 19370 7411 0 -1 1077944384 778 0 0 0 6 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657564629264 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19379] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19379/stat : 19379 (java) S 19370 19370 7411 0 -1 1077944384 167 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657563576720 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19380] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19380/stat : 19380 (java) S 19370 19370 7411 0 -1 1077944384 140 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657208785424 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19381] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19381/stat : 19381 (java) S 19370 19370 7411 0 -1 1077944384 76 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657207732880 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19382] ppid=19370 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19382/stat : 19382 (java) S 19370 19370 7411 0 -1 1077944384 479 0 0 0 1 1 0 0 20 0 28 0 3948354 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657078245872 140657616231042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19383] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19383/stat : 19383 (java) S 19370 19370 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3948355 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657077192160 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19384] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19384/stat : 19384 (java) S 19370 19370 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3948355 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657076139504 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19385] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19385/stat : 19385 (java) S 19370 19370 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657075088080 140657616238491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19386] ppid=19370 vsize=13802796 CPUtime=2.22 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19386/stat : 19386 (java) S 19370 19370 7411 0 -1 1077944384 5014 0 0 0 221 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657074034672 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19387] ppid=19370 vsize=13802796 CPUtime=2.63 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19387/stat : 19387 (java) S 19370 19370 7411 0 -1 1077944384 7036 0 0 0 262 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657072982128 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19388] ppid=19370 vsize=13802796 CPUtime=2.31 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19388/stat : 19388 (java) S 19370 19370 7411 0 -1 1077944384 6185 0 0 0 230 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657071929584 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19389] ppid=19370 vsize=13802796 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19389/stat : 19389 (java) S 19370 19370 7411 0 -1 1077944384 5429 0 0 0 106 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657070877040 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19390] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19390/stat : 19390 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657069824736 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19391] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19391/stat : 19391 (java) S 19370 19370 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3948360 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657068772272 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 3 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19616] ppid=19370 vsize=13802796 CPUtime=6.19 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19616/stat : 19616 (java) R 19370 19370 7411 0 -1 4202560 183 0 0 0 619 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657060756632 140657248524767 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19617] ppid=19370 vsize=13802796 CPUtime=6.16 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19617/stat : 19617 (java) R 19370 19370 7411 0 -1 4202560 150 0 0 0 616 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657058652584 140657249864189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19618] ppid=19370 vsize=13802796 CPUtime=6.17 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19618/stat : 19618 (java) R 19370 19370 7411 0 -1 4202560 262 0 0 0 617 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657059704360 140657249010740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19619] ppid=19370 vsize=13802796 CPUtime=5.89 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19619/stat : 19619 (java) R 19370 19370 7411 0 -1 4202560 407 0 0 0 589 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657057599112 140657244067348 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19620] ppid=19370 vsize=13802796 CPUtime=6.11 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19620/stat : 19620 (java) R 19370 19370 7411 0 -1 4202560 239 0 0 0 611 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657054441256 140657249653319 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19621] ppid=19370 vsize=13802796 CPUtime=6.2 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19621/stat : 19621 (java) R 19370 19370 7411 0 -1 4202560 203 0 0 0 620 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657056546416 140657249582968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19622] ppid=19370 vsize=13802796 CPUtime=6.2 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19622/stat : 19622 (java) R 19370 19370 7411 0 -1 4202560 226 0 0 0 620 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657055494024 140657249583195 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19623] ppid=19370 vsize=13802796 CPUtime=5.94 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19623/stat : 19623 (java) R 19370 19370 7411 0 -1 4202560 181 0 0 0 594 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657052335800 140657245604880 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 Current children cumulated CPU time (s) 104.8 Current children cumulated vsize (KiB) 13812308 [startup+14.1016 s] /proc/loadavg: 9.09 9.52 11.53 17/291 19623 /proc/meminfo: memFree=21249328/32770624 swapFree=5860/271848 [pid=19370] ppid=19367 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19370/stat : 19370 (xcsp3-exec) S 19367 19370 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3948350 9740288 346 33554432000 4194304 5098028 140737424293248 140737424291352 140215860175484 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16982016 140737424299150 140737424299360 140737424299360 140737424302059 0 /proc/19370/statm: 2378 346 289 221 0 87 0 [pid=19371] ppid=19370 vsize=13802796 CPUtime=105.59 cores=0,2,4,6,8,10,12,14 /proc/19371/stat : 19371 (java) S 19370 19370 7411 0 -1 1077944320 41615 0 0 0 10504 55 0 0 20 0 28 0 3948350 14134063104 99021 33554432000 4194304 4196468 140724429518224 140724429500768 140657616219895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 /proc/19371/statm: 3450699 99021 3286 1 0 3437932 0 [pid=19371/tid=19372] ppid=19370 vsize=13802796 CPUtime=1.11 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19372/stat : 19372 (java) S 19370 19370 7411 0 -1 1077944384 8009 0 0 0 106 5 0 0 20 0 28 0 3948351 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657620460672 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19374] ppid=19370 vsize=13802796 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19374/stat : 19374 (java) S 19370 19370 7411 0 -1 1077944384 78 0 0 0 5 3 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657568840464 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19375] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19375/stat : 19375 (java) S 19370 19370 7411 0 -1 1077944384 65 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657567787920 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19376] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19376/stat : 19376 (java) S 19370 19370 7411 0 -1 1077944384 69 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657566735376 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19377] ppid=19370 vsize=13802796 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19377/stat : 19377 (java) S 19370 19370 7411 0 -1 1077944384 86 0 0 0 5 3 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657565682832 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19378] ppid=19370 vsize=13802796 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19378/stat : 19378 (java) S 19370 19370 7411 0 -1 1077944384 778 0 0 0 6 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657564629264 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19379] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19379/stat : 19379 (java) S 19370 19370 7411 0 -1 1077944384 167 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657563576720 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19380] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19380/stat : 19380 (java) S 19370 19370 7411 0 -1 1077944384 140 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657208785424 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19381] ppid=19370 vsize=13802796 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19381/stat : 19381 (java) S 19370 19370 7411 0 -1 1077944384 76 0 0 0 5 4 0 0 20 0 28 0 3948352 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657207732880 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19382] ppid=19370 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19382/stat : 19382 (java) S 19370 19370 7411 0 -1 1077944384 479 0 0 0 1 1 0 0 20 0 28 0 3948354 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657078245872 140657616231042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19383] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19383/stat : 19383 (java) S 19370 19370 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3948355 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657077192160 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19384] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19384/stat : 19384 (java) S 19370 19370 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3948355 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657076139504 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19385] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19385/stat : 19385 (java) S 19370 19370 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657075088080 140657616238491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19386] ppid=19370 vsize=13802796 CPUtime=2.22 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19386/stat : 19386 (java) S 19370 19370 7411 0 -1 1077944384 5014 0 0 0 221 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657074034672 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19387] ppid=19370 vsize=13802796 CPUtime=2.63 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19387/stat : 19387 (java) S 19370 19370 7411 0 -1 1077944384 7036 0 0 0 262 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657072982128 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19388] ppid=19370 vsize=13802796 CPUtime=2.31 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19388/stat : 19388 (java) S 19370 19370 7411 0 -1 1077944384 6185 0 0 0 230 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657071929584 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19389] ppid=19370 vsize=13802796 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19389/stat : 19389 (java) S 19370 19370 7411 0 -1 1077944384 5429 0 0 0 106 1 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657070877040 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19390] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19390/stat : 19390 (java) S 19370 19370 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3948359 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657069824736 140657616230101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19391] ppid=19370 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19391/stat : 19391 (java) S 19370 19370 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3948360 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657068772272 140657616231042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 3 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19616] ppid=19370 vsize=13802796 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19616/stat : 19616 (java) R 19370 19370 7411 0 -1 4202560 183 0 0 0 629 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657060756632 140657249010351 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19617] ppid=19370 vsize=13802796 CPUtime=6.26 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19617/stat : 19617 (java) R 19370 19370 7411 0 -1 4202560 150 0 0 0 626 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657058652584 140657249010399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19618] ppid=19370 vsize=13802796 CPUtime=6.27 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19618/stat : 19618 (java) R 19370 19370 7411 0 -1 4202560 262 0 0 0 627 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657059704360 140657249010175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19619] ppid=19370 vsize=13802796 CPUtime=5.99 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19619/stat : 19619 (java) R 19370 19370 7411 0 -1 4202560 410 0 0 0 599 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657057599112 140657249010332 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19620] ppid=19370 vsize=13802796 CPUtime=6.21 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19620/stat : 19620 (java) R 19370 19370 7411 0 -1 4202560 239 0 0 0 621 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657054441256 140657249653319 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19621] ppid=19370 vsize=13802796 CPUtime=6.3 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19621/stat : 19621 (java) R 19370 19370 7411 0 -1 4202560 203 0 0 0 630 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657056546416 140657249653319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19622] ppid=19370 vsize=13802796 CPUtime=6.3 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19622/stat : 19622 (java) R 19370 19370 7411 0 -1 4202560 226 0 0 0 630 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657055494024 140657249864140 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 [pid=19371/tid=19623] ppid=19370 vsize=13802796 CPUtime=6.04 cores=0,2,4,6,8,10,12,14 /proc/19371/task/19623/stat : 19623 (java) R 19370 19370 7411 0 -1 4202560 181 0 0 0 604 0 0 0 20 0 28 0 3949129 14134063104 99021 33554432000 4194304 4196468 140724429518224 140657052335800 140657249699612 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12492800 140724429526204 140724429526380 140724429526380 140724429529039 0 Current children cumulated CPU time (s) 105.59 Current children cumulated vsize (KiB) 13812308 Child status: 0 Real time (s): 14.1953 CPU time (s): 106.18 CPU user time (s): 105.614 CPU system time (s): 0.565607 CPU usage (%): 747.992 Max. virtual memory (cumulated for all children) (KiB): 13812308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 105.614 system time used= 0.565607 maximum resident set size= 396084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43050 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7133 involuntary context switches= 8408 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.155822 second user time and 0.209417 second system time The end
Begin job on node131 at 2017-07-22 03:26:49 IDJOB=4246125 IDBENCH=124179 IDSOLVER=2626 FILE ID=node131/4246125-1500686809 RUNJOBID= node131-1500682620-7801 PBS_JOBID= 20623041 Free space on /tmp= 62012 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246125-1500686809/watcher-4246125-1500686809 -o /tmp/evaluation-result-4246125-1500686809/solver-4246125-1500686809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2041814811 HOME/instance-4246125-1500686809.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2ebe21d5d08c670f23069b27b9adbcc2 RANDOM SEED=2041814811 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 21636868 kB MemAvailable: 21782380 kB Buffers: 106440 kB Cached: 322568 kB SwapCached: 0 kB Active: 10406164 kB Inactive: 280480 kB Active(anon): 10260816 kB Inactive(anon): 8680 kB Active(file): 145348 kB Inactive(file): 271800 kB Unevictable: 5860 kB Mlocked: 5860 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8064 kB Writeback: 0 kB AnonPages: 10266488 kB Mapped: 42468 kB Shmem: 8844 kB Slab: 123272 kB SReclaimable: 88400 kB SUnreclaim: 34872 kB KernelStack: 4592 kB PageTables: 25480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 11011096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 9895936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62004 MiB End job on node131 at 2017-07-22 03:27:04