Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 199 | 1920.64 | 243.036 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml |
MD5SUM | 4f6b0364d1c2702efbd3acc25cc5ef4e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 199 |
Best CPU time to get the best result obtained on this benchmark | 251.94299 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4704 |
Number of constraints | 246 |
Number of domains | 20 |
Minimum domain size | 2 |
Maximum domain size | 160 |
Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":4704}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 4480 |
Distribution of constraint arities | [{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"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":244}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254476-1501682900.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254476-1501682900.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.36 c parse instance... 0.00/1.06 c solve instance... 12.63/2.35 o 224 17.86/3.06 o 223 22.50/3.69 o 222 27.88/4.30 o 221 32.60/4.98 o 220 38.00/5.76 o 219 42.88/6.59 o 218 48.04/7.35 o 217 53.23/8.04 o 216 57.91/8.85 o 215 62.32/9.46 o 214 66.87/10.09 o 213 71.51/10.66 o 212 76.13/11.23 o 211 79.98/11.78 o 210 84.65/12.34 o 209 89.74/13.23 o 208 94.13/13.82 o 207 98.65/14.41 o 206 102.58/14.97 o 205 106.98/15.54 o 204 111.36/16.11 o 203 115.60/16.73 o 202 119.77/17.33 o 201 124.25/17.95 o 200 128.57/18.51 o 199 1920.64/243.07 s SATISFIABLE 1920.64/243.07 v <instantiation> 1920.64/243.07 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] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] 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] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[198][10] r[198][11] r[198][12] r[198][13] r[198][14] r[198][15] r[198][16] r[198][17] r[198][18] r[198][19] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[199][10] r[199][11] r[199][12] r[199][13] r[199][14] r[199][15] r[199][16] r[199][17] r[199][18] r[199][19] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[200][10] r[200][11] r[200][12] r[200][13] r[200][14] r[200][15] r[200][16] r[200][17] r[200][18] r[200][19] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[201][10] r[201][11] r[201][12] r[201][13] r[201][14] r[201][15] r[201][16] r[201][17] r[201][18] r[201][19] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[202][10] r[202][11] r[202][12] r[202][13] r[202][14] r[202][15] r[202][16] r[202][17] r[202][18] r[202][19] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[203][10] r[203][11] r[203][12] r[203][13] r[203][14] r[203][15] r[203][16] r[203][17] r[203][18] r[203][19] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[204][10] r[204][11] r[204][12] r[204][13] r[204][14] r[204][15] r[204][16] r[204][17] r[204][18] r[204][19] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[205][10] r[205][11] r[205][12] r[205][13] r[205][14] r[205][15] r[205][16] r[205][17] r[205][18] r[205][19] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[206][10] r[206][11] r[206][12] r[206][13] r[206][14] r[206][15] r[206][16] r[206][17] r[206][18] r[206][19] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[207][10] r[207][11] r[207][12] r[207][13] r[207][14] r[207][15] r[207][16] r[207][17] r[207][18] r[207][19] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[208][10] r[208][11] r[208][12] r[208][13] r[208][14] r[208][15] r[208][16] r[208][17] r[208][18] r[208][19] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[209][10] r[209][11] r[209][12] r[209][13] r[209][14] r[209][15] r[209][16] r[209][17] r[209][18] r[209][19] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[210][10] r[210][11] r[210][12] r[210][13] r[210][14] r[210][15] r[210][16] r[210][17] r[210][18] r[210][19] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[211][10] r[211][11] r[211][12] r[211][13] r[211][14] r[211][15] r[211][16] r[211][17] r[211][18] r[211][19] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[212][10] r[212][11] r[212][12] r[212][13] r[212][14] r[212][15] r[212][16] r[212][17] r[212][18] r[212][19] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[213][10] r[213][11] r[213][12] r[213][13] r[213][14] r[213][15] r[213][16] r[213][17] r[213][18] r[213][19] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[214][10] r[214][11] r[214][12] r[214][13] r[214][14] r[214][15] r[214][16] r[214][17] r[214][18] r[214][19] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[215][10] r[215][11] r[215][12] r[215][13] r[215][14] r[215][15] r[215][16] r[215][17] r[215][18] r[215][19] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[216][10] r[216][11] r[216][12] r[216][13] r[216][14] r[216][15] r[216][16] r[216][17] r[216][18] r[216][19] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[217][10] r[217][11] r[217][12] r[217][13] r[217][14] r[217][15] r[217][16] r[217][17] r[217][18] r[217][19] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[218][10] r[218][11] r[218][12] r[218][13] r[218][14] r[218][15] r[218][16] r[218][17] r[218][18] r[218][19] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[219][10] r[219][11] r[219][12] r[219][13] r[219][14] r[219][15] r[219][16] r[219][17] r[219][18] r[219][19] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[220][10] r[220][11] r[220][12] r[220][13] r[220][14] r[220][15] r[220][16] r[220][17] r[220][18] r[220][19] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[221][10] r[221][11] r[221][12] r[221][13] r[221][14] r[221][15] r[221][16] r[221][17] r[221][18] r[221][19] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[222][10] r[222][11] r[222][12] r[222][13] r[222][14] r[222][15] r[222][16] r[222][17] r[222][18] r[222][19] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[223][10] r[223][11] r[223][12] r[223][13] r[223][14] r[223][15] r[223][16] r[223][17] r[223][18] r[223][19] </list> 1920.64/243.07 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 1 1 1 1 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 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 8 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 1 15 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 20 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 5 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 26 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 1920.64/243.07 v </instantiation> 1920.64/243.07 c Unexpected resolution interruption!
OK 199
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-4254476-1501682900/watcher-4254476-1501682900 -o /tmp/evaluation-result-4254476-1501682900/solver-4254476-1501682900 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1233123180 HOME/instance-4254476-1501682900.xml pid=16063 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.67 8.06 7.80 2/173 16066 /proc/meminfo: memFree=31748360/32770624 swapFree=0/270980 [pid=16066] ppid=16063 vsize=23672 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (runsolver) D 16063 16066 31142 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16913078 24240128 107 18446744073709551615 4194304 4338465 140726079968144 140726079965784 140271337362135 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24031232 140726079975506 140726079976003 140726079976003 140726079979466 0 /proc/16066/statm: 5918 107 54 36 0 2156 0 [startup+0.100133 s] /proc/loadavg: 8.67 8.06 7.80 2/173 16066 /proc/meminfo: memFree=31748360/32770624 swapFree=0/270980 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200231 s] /proc/loadavg: 8.67 8.06 7.80 2/173 16066 /proc/meminfo: memFree=31748360/32770624 swapFree=0/270980 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300231 s] /proc/loadavg: 8.67 8.06 7.80 2/173 16066 /proc/meminfo: memFree=31748360/32770624 swapFree=0/270980 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700295 s] /proc/loadavg: 8.67 8.06 7.80 2/173 16066 /proc/meminfo: memFree=31748360/32770624 swapFree=0/270980 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50447 s] /proc/loadavg: 8.67 8.06 7.80 9/202 16095 /proc/meminfo: memFree=31520916/32770624 swapFree=0/270724 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 [pid=16068] ppid=16066 vsize=26534456 CPUtime=6.24 cores=0-7 /proc/16068/stat : 16068 (java) S 16066 16066 31142 0 -1 1077944320 21407 0 0 0 607 17 0 0 20 0 28 0 16913085 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140727316633104 140335996403447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 /proc/16068/statm: 6633614 60624 3215 1 0 6621915 0 [pid=16068/tid=16069] ppid=16066 vsize=26534456 CPUtime=0.92 cores=0-7 /proc/16068/task/16069/stat : 16069 (java) S 16066 16066 31142 0 -1 1077944384 8755 0 0 0 87 5 0 0 20 0 28 0 16913085 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140336000644224 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16070] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16070/stat : 16070 (java) S 16066 16066 31142 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335923329680 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16071] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16071/stat : 16071 (java) S 16066 16066 31142 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335922276880 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16072] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16072/stat : 16072 (java) S 16066 16066 31142 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335921224080 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16073] ppid=16066 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16068/task/16073/stat : 16073 (java) S 16066 16066 31142 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335920171280 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16074] ppid=16066 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16068/task/16074/stat : 16074 (java) S 16066 16066 31142 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335919119504 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16075] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16075/stat : 16075 (java) S 16066 16066 31142 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335918066704 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16076] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16076/stat : 16076 (java) S 16066 16066 31142 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335917013904 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16077] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16077/stat : 16077 (java) S 16066 16066 31142 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 16913086 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335915961104 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16078] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16078/stat : 16078 (java) S 16066 16066 31142 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16913087 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335508781424 140335996414594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16079] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16079/stat : 16079 (java) S 16066 16066 31142 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16913087 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335507727392 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16080] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16080/stat : 16080 (java) S 16066 16066 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16913088 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335192761200 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16081] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16081/stat : 16081 (java) S 16066 16066 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335191709520 140335996422043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16082] ppid=16066 vsize=26534456 CPUtime=0.77 cores=0-7 /proc/16068/task/16082/stat : 16082 (java) S 16066 16066 31142 0 -1 1077944384 3135 0 0 0 76 1 0 0 20 0 28 0 16913090 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335190657904 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16083] ppid=16066 vsize=26534456 CPUtime=0.79 cores=0-7 /proc/16068/task/16083/stat : 16083 (java) R 16066 16066 31142 0 -1 1077944384 2601 0 0 0 79 0 0 0 20 0 28 0 16913090 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335189605104 140335996414594 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16084] ppid=16066 vsize=26534456 CPUtime=0.77 cores=0-7 /proc/16068/task/16084/stat : 16084 (java) R 16066 16066 31142 0 -1 4202560 2526 0 0 0 77 0 0 0 20 0 28 0 16913090 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335188552304 140335975622088 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16085] ppid=16066 vsize=26534456 CPUtime=0.56 cores=0-7 /proc/16068/task/16085/stat : 16085 (java) S 16066 16066 31142 0 -1 1077944384 2493 0 0 0 56 0 0 0 20 0 28 0 16913090 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335187499504 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16086] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16086/stat : 16086 (java) S 16066 16066 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335186446944 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16087] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16087/stat : 16087 (java) S 16066 16066 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16913094 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335185394224 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16088] ppid=16066 vsize=26534456 CPUtime=0.26 cores=0-7 /proc/16068/task/16088/stat : 16088 (java) R 16066 16066 31142 0 -1 4202560 57 0 0 0 26 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335177381840 140335596840550 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16089] ppid=16066 vsize=26534456 CPUtime=0.27 cores=0-7 /proc/16068/task/16089/stat : 16089 (java) R 16066 16066 31142 0 -1 4202560 38 0 0 0 27 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335176330192 140335596814229 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16090] ppid=16066 vsize=26534456 CPUtime=0.24 cores=0-7 /proc/16068/task/16090/stat : 16090 (java) R 16066 16066 31142 0 -1 4202560 30 0 0 0 24 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335175278760 140335591282492 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16091] ppid=16066 vsize=26534456 CPUtime=0.28 cores=0-7 /proc/16068/task/16091/stat : 16091 (java) R 16066 16066 31142 0 -1 4202560 37 0 0 0 28 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335174225792 140335591282492 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16092] ppid=16066 vsize=26534456 CPUtime=0.26 cores=0-7 /proc/16068/task/16092/stat : 16092 (java) R 16066 16066 31142 0 -1 1077944384 72 0 0 0 26 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335173172752 140335996413653 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16093] ppid=16066 vsize=26534456 CPUtime=0.31 cores=0-7 /proc/16068/task/16093/stat : 16093 (java) R 16066 16066 31142 0 -1 4202560 28 0 0 0 31 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335172120336 140335590282377 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16094] ppid=16066 vsize=26534456 CPUtime=0.23 cores=0-7 /proc/16068/task/16094/stat : 16094 (java) R 16066 16066 31142 0 -1 4202560 39 0 0 0 23 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335103594480 140335591282492 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16095] ppid=16066 vsize=26534456 CPUtime=0.24 cores=0-7 /proc/16068/task/16095/stat : 16095 (java) R 16066 16066 31142 0 -1 4202560 39 0 0 0 24 0 0 0 20 0 28 0 16913187 27171282944 60624 18446744073709551615 4194304 4196468 140727316650560 140335102541264 140335596814229 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 26543968 [startup+3.10147 s] /proc/loadavg: 8.67 8.06 7.80 11/202 16095 /proc/meminfo: memFree=31517132/32770624 swapFree=0/270724 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 [pid=16068] ppid=16066 vsize=26534456 CPUtime=18.52 cores=0-7 /proc/16068/stat : 16068 (java) S 16066 16066 31142 0 -1 1077944320 22011 0 0 0 1834 18 0 0 20 0 28 0 16913085 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140727316633104 140335996403447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 /proc/16068/statm: 6633614 61048 3234 1 0 6621915 0 [pid=16068/tid=16069] ppid=16066 vsize=26534456 CPUtime=0.94 cores=0-7 /proc/16068/task/16069/stat : 16069 (java) S 16066 16066 31142 0 -1 1077944384 8759 0 0 0 89 5 0 0 20 0 28 0 16913085 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140336000644224 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16070] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16070/stat : 16070 (java) S 16066 16066 31142 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335923329680 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16071] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16071/stat : 16071 (java) S 16066 16066 31142 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335922276880 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16072] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16072/stat : 16072 (java) S 16066 16066 31142 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335921224080 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16073] ppid=16066 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16068/task/16073/stat : 16073 (java) S 16066 16066 31142 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335920171280 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16074] ppid=16066 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16068/task/16074/stat : 16074 (java) S 16066 16066 31142 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335919119504 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16075] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16075/stat : 16075 (java) S 16066 16066 31142 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335918066704 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16076] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16076/stat : 16076 (java) S 16066 16066 31142 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335917013904 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16077] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16077/stat : 16077 (java) S 16066 16066 31142 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 16913086 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335915961104 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16078] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16078/stat : 16078 (java) S 16066 16066 31142 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16913087 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335508781424 140335996414594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16079] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16079/stat : 16079 (java) S 16066 16066 31142 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16913087 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335507727392 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16080] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16080/stat : 16080 (java) S 16066 16066 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16913088 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335192761200 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16081] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16081/stat : 16081 (java) S 16066 16066 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335191709520 140335996422043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16082] ppid=16066 vsize=26534456 CPUtime=0.99 cores=0-7 /proc/16068/task/16082/stat : 16082 (java) R 16066 16066 31142 0 -1 1077944384 3181 0 0 0 98 1 0 0 20 0 28 0 16913090 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335190657904 140335996414594 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16083] ppid=16066 vsize=26534456 CPUtime=1.09 cores=0-7 /proc/16068/task/16083/stat : 16083 (java) S 16066 16066 31142 0 -1 1077944384 2657 0 0 0 109 0 0 0 20 0 28 0 16913090 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335189605104 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16084] ppid=16066 vsize=26534456 CPUtime=1.24 cores=0-7 /proc/16068/task/16084/stat : 16084 (java) S 16066 16066 31142 0 -1 1077944384 2602 0 0 0 124 0 0 0 20 0 28 0 16913090 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335188552304 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16085] ppid=16066 vsize=26534456 CPUtime=0.65 cores=0-7 /proc/16068/task/16085/stat : 16085 (java) S 16066 16066 31142 0 -1 1077944384 2595 0 0 0 64 1 0 0 20 0 28 0 16913090 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335187499504 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16086] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16086/stat : 16086 (java) S 16066 16066 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335186446944 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16087] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16087/stat : 16087 (java) S 16066 16066 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16913094 27171282944 61048 18446744073709551615 4194304 4196468 140727316650560 140335185394224 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 Current children cumulated CPU time (s) 18.52 Current children cumulated vsize (KiB) 26543968 [startup+6.30147 s] /proc/loadavg: 8.62 8.06 7.80 9/202 16135 /proc/meminfo: memFree=31515348/32770624 swapFree=0/270728 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 [pid=16068] ppid=16066 vsize=26534456 CPUtime=42.32 cores=0-7 /proc/16068/stat : 16068 (java) S 16066 16066 31142 0 -1 1077944320 22904 0 0 0 4209 23 0 0 20 0 28 0 16913085 27171282944 61207 18446744073709551615 4194304 4196468 140727316650560 140727316633104 140335996403447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 /proc/16068/statm: 6633614 61207 3238 1 0 6621915 0 [pid=16068/tid=16069] ppid=16066 vsize=26534456 CPUtime=0.95 cores=0-7 /proc/16068/task/16069/stat : 16069 (java) S 16066 16066 31142 0 -1 1077944384 8765 0 0 0 90 5 0 0 20 0 28 0 16913085 27171282944 61207 18446744073709551615 4194304 4196468 140727316650560 140336000644224 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16070] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16070/stat : 16070 (java) S 16066 16066 31142 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 16913086 27171282944 61207 18446744073709551615 4194304 4196468 140727316650560 140335923329680 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16071] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16071/stat : 16071 (java) S 16066 16066 31142 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 16913086 27171282944 61207 18446744073709551615 4194304 4196468 140727316650560 140335922276880 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16072] ppid=16066 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16068/task/16072/stat : 16072 (java) S 16066 16066 31142 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 16913086 27171282944 61207 18446744073709551615 4194304 4196468 140727316650560 140335921224080 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16073] ppid=16066 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16068/task/16073/stat : 16073 (java) S 16066 16066 31142 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 16913086 27171282944 61207 18446744073709551615 4194304 4196468 140727316650560 140335920171280 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 ################ # More data... # ################ [pid=16068/tid=16302] ppid=16066 vsize=26534456 CPUtime=143.51 cores=0-7 /proc/16068/task/16302/stat : 16302 (java) R 16066 16066 31142 0 -1 4202560 5939 0 0 0 14341 10 0 0 20 0 28 0 16914930 27171282944 168345 18446744073709551615 4194304 4196468 140727316650560 140335173173112 140335596814286 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16303] ppid=16066 vsize=26534456 CPUtime=143.59 cores=0-7 /proc/16068/task/16303/stat : 16303 (java) R 16066 16066 31142 0 -1 4202560 1373 0 0 0 14358 1 0 0 20 0 28 0 16914930 27171282944 168345 18446744073709551615 4194304 4196468 140727316650560 140335177383416 140335591282492 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 Current children cumulated CPU time (s) 1276.33 Current children cumulated vsize (KiB) 26543968 [startup+222.307 s] /proc/loadavg: 8.07 8.00 7.82 9/201 16309 /proc/meminfo: memFree=31089520/32770624 swapFree=0/270760 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 [pid=16068] ppid=16066 vsize=26534456 CPUtime=1755.4 cores=0-7 /proc/16068/stat : 16068 (java) S 16066 16066 31142 0 -1 1077944320 85156 0 0 0 175460 80 0 0 20 0 28 0 16913085 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140727316633104 140335996403447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 /proc/16068/statm: 6633614 167826 3253 1 0 6621915 0 [pid=16068/tid=16069] ppid=16066 vsize=26534456 CPUtime=1 cores=0-7 /proc/16068/task/16069/stat : 16069 (java) S 16066 16066 31142 0 -1 1077944384 9128 0 0 0 94 6 0 0 20 0 28 0 16913085 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140336000644224 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16070] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16070/stat : 16070 (java) S 16066 16066 31142 0 -1 1077944384 733 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335923329680 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16071] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16071/stat : 16071 (java) S 16066 16066 31142 0 -1 1077944384 1990 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335922276880 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16072] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16072/stat : 16072 (java) S 16066 16066 31142 0 -1 1077944384 282 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335921224080 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16073] ppid=16066 vsize=26534456 CPUtime=0.12 cores=0-7 /proc/16068/task/16073/stat : 16073 (java) S 16066 16066 31142 0 -1 1077944384 431 0 0 0 9 3 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335920171280 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16074] ppid=16066 vsize=26534456 CPUtime=0.12 cores=0-7 /proc/16068/task/16074/stat : 16074 (java) S 16066 16066 31142 0 -1 1077944384 473 0 0 0 9 3 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335919119504 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16075] ppid=16066 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16068/task/16075/stat : 16075 (java) S 16066 16066 31142 0 -1 1077944384 1231 0 0 0 10 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335918066704 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16076] ppid=16066 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16068/task/16076/stat : 16076 (java) S 16066 16066 31142 0 -1 1077944384 453 0 0 0 10 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335917013904 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16077] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16077/stat : 16077 (java) S 16066 16066 31142 0 -1 1077944384 1111 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335915961104 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16078] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16078/stat : 16078 (java) S 16066 16066 31142 0 -1 1077944384 1951 0 0 0 3 0 0 0 20 0 28 0 16913087 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335508781424 140335996414594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16079] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16079/stat : 16079 (java) S 16066 16066 31142 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16913087 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335507727456 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16080] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16080/stat : 16080 (java) S 16066 16066 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16913088 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335192761200 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16081] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16081/stat : 16081 (java) S 16066 16066 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335191709520 140335996422043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16082] ppid=16066 vsize=26534456 CPUtime=1.74 cores=0-7 /proc/16068/task/16082/stat : 16082 (java) S 16066 16066 31142 0 -1 1077944384 14997 0 0 0 171 3 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335190657904 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16083] ppid=16066 vsize=26534456 CPUtime=1.6 cores=0-7 /proc/16068/task/16083/stat : 16083 (java) S 16066 16066 31142 0 -1 1077944384 8421 0 0 0 158 2 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335189605104 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16084] ppid=16066 vsize=26534456 CPUtime=1.89 cores=0-7 /proc/16068/task/16084/stat : 16084 (java) S 16066 16066 31142 0 -1 1077944384 12653 0 0 0 186 3 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335188552304 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16085] ppid=16066 vsize=26534456 CPUtime=0.79 cores=0-7 /proc/16068/task/16085/stat : 16085 (java) S 16066 16066 31142 0 -1 1077944384 8180 0 0 0 77 2 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335187499504 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16086] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16086/stat : 16086 (java) S 16066 16066 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335186446944 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16087] ppid=16066 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/16068/task/16087/stat : 16087 (java) S 16066 16066 31142 0 -1 1077944384 902 0 0 0 7 0 0 0 20 0 28 0 16913094 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335185394224 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16296] ppid=16066 vsize=26534456 CPUtime=203.09 cores=0-7 /proc/16068/task/16296/stat : 16296 (java) R 16066 16066 31142 0 -1 4202560 768 0 0 0 20309 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335175277016 140335596814215 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16297] ppid=16066 vsize=26534456 CPUtime=202.83 cores=0-7 /proc/16068/task/16297/stat : 16297 (java) R 16066 16066 31142 0 -1 4202560 600 0 0 0 20283 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335172120008 140335596814276 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16298] ppid=16066 vsize=26534456 CPUtime=203.61 cores=0-7 /proc/16068/task/16298/stat : 16298 (java) R 16066 16066 31142 0 -1 4202560 2020 0 0 0 20361 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335176331392 140335596771592 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16299] ppid=16066 vsize=26534456 CPUtime=203.43 cores=0-7 /proc/16068/task/16299/stat : 16299 (java) R 16066 16066 31142 0 -1 4202560 520 0 0 0 20343 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335103594744 140335596814229 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16300] ppid=16066 vsize=26534456 CPUtime=202.14 cores=0-7 /proc/16068/task/16300/stat : 16300 (java) R 16066 16066 31142 0 -1 4202560 2434 0 0 0 20212 2 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335174226168 140335591282544 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16301] ppid=16066 vsize=26534456 CPUtime=203.47 cores=0-7 /proc/16068/task/16301/stat : 16301 (java) R 16066 16066 31142 0 -1 4202560 1303 0 0 0 20347 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335102541800 140335597699367 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16302] ppid=16066 vsize=26534456 CPUtime=202.71 cores=0-7 /proc/16068/task/16302/stat : 16302 (java) R 16066 16066 31142 0 -1 4202560 6806 0 0 0 20261 10 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335173175560 140335596807112 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16303] ppid=16066 vsize=26534456 CPUtime=203.56 cores=0-7 /proc/16068/task/16303/stat : 16303 (java) R 16066 16066 31142 0 -1 4202560 1523 0 0 0 20355 1 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335177383416 140335591282492 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 Current children cumulated CPU time (s) 1755.4 Current children cumulated vsize (KiB) 26543968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+243.001 s] /proc/loadavg: 8.05 8.00 7.82 9/201 16309 /proc/meminfo: memFree=31089604/32770624 swapFree=0/270760 [pid=16066] ppid=16063 vsize=9512 CPUtime=0 cores=0-7 /proc/16066/stat : 16066 (xcsp3-exec) S 16063 16066 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16913078 9740288 345 18446744073709551615 4194304 5098028 140732395204224 140732395202328 140437123211900 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 38846464 140732395209106 140732395209316 140732395209316 140732395212779 0 /proc/16066/statm: 2378 345 289 221 0 87 0 [pid=16068] ppid=16066 vsize=26534456 CPUtime=1920.64 cores=0-7 /proc/16068/stat : 16068 (java) S 16066 16066 31142 0 -1 1077944320 85482 0 0 0 191983 81 0 0 20 0 28 0 16913085 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140727316633104 140335996403447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 /proc/16068/statm: 6633614 167826 3253 1 0 6621915 0 [pid=16068/tid=16069] ppid=16066 vsize=26534456 CPUtime=1 cores=0-7 /proc/16068/task/16069/stat : 16069 (java) S 16066 16066 31142 0 -1 1077944384 9128 0 0 0 94 6 0 0 20 0 28 0 16913085 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140336000644224 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16070] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16070/stat : 16070 (java) S 16066 16066 31142 0 -1 1077944384 733 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335923329680 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16071] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16071/stat : 16071 (java) S 16066 16066 31142 0 -1 1077944384 1990 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335922276880 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16072] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16072/stat : 16072 (java) S 16066 16066 31142 0 -1 1077944384 282 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335921224080 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16073] ppid=16066 vsize=26534456 CPUtime=0.12 cores=0-7 /proc/16068/task/16073/stat : 16073 (java) S 16066 16066 31142 0 -1 1077944384 431 0 0 0 9 3 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335920171280 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16074] ppid=16066 vsize=26534456 CPUtime=0.12 cores=0-7 /proc/16068/task/16074/stat : 16074 (java) S 16066 16066 31142 0 -1 1077944384 473 0 0 0 9 3 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335919119504 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16075] ppid=16066 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16068/task/16075/stat : 16075 (java) S 16066 16066 31142 0 -1 1077944384 1231 0 0 0 10 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335918066704 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16076] ppid=16066 vsize=26534456 CPUtime=0.14 cores=0-7 /proc/16068/task/16076/stat : 16076 (java) S 16066 16066 31142 0 -1 1077944384 453 0 0 0 10 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335917013904 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16077] ppid=16066 vsize=26534456 CPUtime=0.13 cores=0-7 /proc/16068/task/16077/stat : 16077 (java) S 16066 16066 31142 0 -1 1077944384 1111 0 0 0 9 4 0 0 20 0 28 0 16913086 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335915961104 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16078] ppid=16066 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16068/task/16078/stat : 16078 (java) S 16066 16066 31142 0 -1 1077944384 1951 0 0 0 3 0 0 0 20 0 28 0 16913087 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335508781424 140335996414594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16079] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16079/stat : 16079 (java) S 16066 16066 31142 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16913087 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335507727456 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16080] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16080/stat : 16080 (java) S 16066 16066 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16913088 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335192761200 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16081] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16081/stat : 16081 (java) S 16066 16066 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335191709520 140335996422043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16082] ppid=16066 vsize=26534456 CPUtime=1.74 cores=0-7 /proc/16068/task/16082/stat : 16082 (java) S 16066 16066 31142 0 -1 1077944384 15157 0 0 0 171 3 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335190657904 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16083] ppid=16066 vsize=26534456 CPUtime=1.6 cores=0-7 /proc/16068/task/16083/stat : 16083 (java) S 16066 16066 31142 0 -1 1077944384 8421 0 0 0 158 2 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335189605104 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16084] ppid=16066 vsize=26534456 CPUtime=1.89 cores=0-7 /proc/16068/task/16084/stat : 16084 (java) S 16066 16066 31142 0 -1 1077944384 12660 0 0 0 186 3 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335188552304 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16085] ppid=16066 vsize=26534456 CPUtime=0.79 cores=0-7 /proc/16068/task/16085/stat : 16085 (java) S 16066 16066 31142 0 -1 1077944384 8180 0 0 0 77 2 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335187499504 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16086] ppid=16066 vsize=26534456 CPUtime=0 cores=0-7 /proc/16068/task/16086/stat : 16086 (java) S 16066 16066 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16913090 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335186446944 140335996413653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16087] ppid=16066 vsize=26534456 CPUtime=0.08 cores=0-7 /proc/16068/task/16087/stat : 16087 (java) S 16066 16066 31142 0 -1 1077944384 903 0 0 0 8 0 0 0 20 0 28 0 16913094 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335185394224 140335996414594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16296] ppid=16066 vsize=26534456 CPUtime=223.78 cores=0-7 /proc/16068/task/16296/stat : 16296 (java) R 16066 16066 31142 0 -1 4202560 768 0 0 0 22378 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335175277016 140335596814286 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16297] ppid=16066 vsize=26534456 CPUtime=223.52 cores=0-7 /proc/16068/task/16297/stat : 16297 (java) R 16066 16066 31142 0 -1 4202560 602 0 0 0 22352 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335172120008 140335596770918 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16298] ppid=16066 vsize=26534456 CPUtime=224.3 cores=0-7 /proc/16068/task/16298/stat : 16298 (java) R 16066 16066 31142 0 -1 4202560 2023 0 0 0 22430 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335176331392 140335596682090 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16299] ppid=16066 vsize=26534456 CPUtime=224.13 cores=0-7 /proc/16068/task/16299/stat : 16299 (java) R 16066 16066 31142 0 -1 4202560 520 0 0 0 22413 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335103594744 140335597932038 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16300] ppid=16066 vsize=26534456 CPUtime=222.83 cores=0-7 /proc/16068/task/16300/stat : 16300 (java) R 16066 16066 31142 0 -1 4202560 2455 0 0 0 22281 2 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335174226616 140335596828107 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16301] ppid=16066 vsize=26534456 CPUtime=224.16 cores=0-7 /proc/16068/task/16301/stat : 16301 (java) R 16066 16066 31142 0 -1 4202560 1303 0 0 0 22416 0 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335102541800 140335591282492 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16302] ppid=16066 vsize=26534456 CPUtime=223.1 cores=0-7 /proc/16068/task/16302/stat : 16302 (java) R 16066 16066 31142 0 -1 4202560 6930 0 0 0 22299 11 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335173174632 140335591282492 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 [pid=16068/tid=16303] ppid=16066 vsize=26534456 CPUtime=224.25 cores=0-7 /proc/16068/task/16303/stat : 16303 (java) R 16066 16066 31142 0 -1 4202560 1531 0 0 0 22424 1 0 0 20 0 28 0 16914930 27171282944 167826 18446744073709551615 4194304 4196468 140727316650560 140335177383416 140335591282544 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140727316652496 140727316652672 140727316652672 140727316656079 0 Current children cumulated CPU time (s) 1920.64 Current children cumulated vsize (KiB) 26543968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16068 sig 9 ??? kill 16066 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16066 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=995 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=995 # CPU time returned by wait4() is 0.00199 # while last known CPU time is 1920.64 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 243.036 CPU time (s): 1920.64 CPU user time (s): 1919.83 CPU system time (s): 0.81 CPU usage (%): 790.271 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000995 system time used= 0.000995 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.84495 second user time and 1.77515 second system time The end
Begin job on node129 at 2017-08-02 15:54:20 IDJOB=4254476 IDBENCH=124189 IDSOLVER=2636 FILE ID=node129/4254476-1501682900 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61776 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254476-1501682900/watcher-4254476-1501682900 -o /tmp/evaluation-result-4254476-1501682900/solver-4254476-1501682900 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1233123180 HOME/instance-4254476-1501682900.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=1233123180 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31748920 kB MemAvailable: 32016060 kB Buffers: 137800 kB Cached: 416872 kB SwapCached: 0 kB Active: 321148 kB Inactive: 287696 kB Active(anon): 54472 kB Inactive(anon): 16716 kB Active(file): 266676 kB Inactive(file): 270980 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7776 kB Writeback: 0 kB AnonPages: 86872 kB Mapped: 31232 kB Shmem: 17064 kB Slab: 115872 kB SReclaimable: 90640 kB SUnreclaim: 25232 kB KernelStack: 3216 kB PageTables: 4620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61768 MiB End job on node129 at 2017-08-02 15:58:23