Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 199 | 1993.75 | 252.112 |
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.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271498-1502641480.xml" -tl '2016s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271498-1502641480.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.65/0.97 c solve instance... 11.26/2.19 o 224 16.73/3.03 o 223 21.28/3.70 o 222 27.24/4.47 o 221 32.45/5.18 o 220 37.67/5.86 o 219 42.95/6.58 o 218 48.23/7.31 o 217 53.48/8.04 o 216 58.48/8.81 o 215 63.10/9.42 o 214 68.14/10.20 o 213 72.67/10.81 o 212 77.34/11.48 o 211 82.62/12.17 o 210 87.38/12.83 o 209 91.90/13.43 o 208 96.51/14.02 o 207 101.05/14.62 o 206 105.66/15.25 o 205 110.15/15.82 o 204 114.74/16.47 o 203 119.11/17.04 o 202 123.66/17.68 o 201 128.86/18.31 o 200 132.68/18.89 o 199 1993.01/252.08 s SATISFIABLE 1993.01/252.08 v <instantiation> 1993.01/252.08 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> 1993.01/252.09 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> 1993.01/252.09 v </instantiation> 1993.01/252.09 c Unexpected resolution interruption!
OK 199
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12929 MiB free) memory of node 1: 16384 MiB (14994 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271498-1502641480/watcher-4271498-1502641480 -o /tmp/evaluation-result-4271498-1502641480/solver-4271498-1502641480 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1929548263 HOME/instance-4271498-1502641480.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=11638, runsolver pid=11635 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 7.40 7.17 7.30 2/202 11659 /proc/meminfo: memFree=28579316/32770624 swapFree=67108860/67108860 [pid=11638] ppid=11635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11638/stat : 11638 (xcsp3-exec) S 11635 11638 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97235949 9740288 345 33554432000 4194304 5098028 140722248072352 140722248070456 139814170956412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28237824 140722248074346 140722248074556 140722248074556 140722248077291 0 /proc/11638/statm: 2378 345 289 221 0 87 0 [pid=11640] ppid=11638 vsize=25999808 memory=26372 CPUtime=0.12 cores=0-7 /proc/11640/stat : 11640 (java) S 11638 11638 4410 0 -1 1077944320 5468 0 0 0 11 1 0 0 20 0 20 0 97235950 26623803392 6593 33554432000 4194304 4196468 140732150703872 140732150686416 140082261999351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 /proc/11640/statm: 6499952 6593 2867 1 0 6488269 0 [pid=11640/tid=11641] ppid=11638 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11640/task/11641/stat : 11641 (java) R 11638 11638 4410 0 -1 4202560 3476 0 0 0 8 0 0 0 20 0 20 0 97235950 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082266222688 140082262011286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11642] ppid=11638 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11640/task/11642/stat : 11642 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082184580240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11643] ppid=11638 vsize=25999808 memory=140324996978304 CPUtime=0 cores=0-7 /proc/11640/task/11643/stat : 11643 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082183527440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11644] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11644/stat : 11644 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082182474640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11645] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11645/stat : 11645 (java) S 11638 11638 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082181421840 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11646] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11646/stat : 11646 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082180369040 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11647] ppid=11638 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11640/task/11647/stat : 11647 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082179316240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11648] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11648/stat : 11648 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082178263440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11649] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11649/stat : 11649 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26623803392 6593 33554432000 4194304 4196468 140732150703872 140082177210640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11650] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11650/stat : 11650 (java) S 11638 11638 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97235952 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081770031984 140082262010498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11651] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11651/stat : 11651 (java) S 11638 11638 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97235953 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081768977952 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11652] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11652/stat : 11652 (java) S 11638 11638 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97235953 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081319929200 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11653] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11653/stat : 11653 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235955 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081318877520 140082262017947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11654] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11654/stat : 11654 (java) S 11638 11638 4410 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 97235955 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081317824880 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11655] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11655/stat : 11655 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235955 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081316772080 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11656] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11656/stat : 11656 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235956 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081315719280 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11657] ppid=11638 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/11640/task/11657/stat : 11657 (java) S 11638 11638 4410 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 97235956 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081314666480 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11658] ppid=11638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11658/stat : 11658 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235956 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081313614944 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11659] ppid=11638 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11640/task/11659/stat : 11659 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235956 26623803392 6593 33554432000 4194304 4196468 140732150703872 140081312562224 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27752 KiB [startup+0.210693 s]* /proc/loadavg: 7.40 7.17 7.30 2/202 11659 /proc/meminfo: memFree=28569896/32770624 swapFree=67108860/67108860 [pid=11638] ppid=11635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11638/stat : 11638 (xcsp3-exec) S 11635 11638 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97235949 9740288 345 33554432000 4194304 5098028 140722248072352 140722248070456 139814170956412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28237824 140722248074346 140722248074556 140722248074556 140722248077291 0 /proc/11638/statm: 2378 345 289 221 0 87 0 [pid=11640] ppid=11638 vsize=26004064 memory=38800 CPUtime=0.33 cores=0-7 /proc/11640/stat : 11640 (java) S 11638 11638 4410 0 -1 1077944320 8231 0 0 0 31 2 0 0 20 0 20 0 97235950 26628161536 9700 33554432000 4194304 4196468 140732150703872 140732150686416 140082261999351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 /proc/11640/statm: 6501016 9700 3063 1 0 6488269 0 [pid=11640/tid=11641] ppid=11638 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/11640/task/11641/stat : 11641 (java) R 11638 11638 4410 0 -1 4202560 5380 0 0 0 18 1 0 0 20 0 20 0 97235950 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082266220344 140082254677365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11642] ppid=11638 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/11640/task/11642/stat : 11642 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082184580240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11643] ppid=11638 vsize=26004064 memory=4123529038463309472 CPUtime=0 cores=0-7 /proc/11640/task/11643/stat : 11643 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082183527440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11644] ppid=11638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11640/task/11644/stat : 11644 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082182474640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11645] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11645/stat : 11645 (java) S 11638 11638 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082181421840 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11646] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11646/stat : 11646 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082180369040 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11647] ppid=11638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11640/task/11647/stat : 11647 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082179316240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11648] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11648/stat : 11648 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082178263440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11649] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11649/stat : 11649 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 9700 33554432000 4194304 4196468 140732150703872 140082177210640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11650] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11650/stat : 11650 (java) S 11638 11638 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97235952 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081770031984 140082262010498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11651] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11651/stat : 11651 (java) S 11638 11638 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97235953 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081768977952 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11652] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11652/stat : 11652 (java) S 11638 11638 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97235953 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081319929200 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11653] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11653/stat : 11653 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235955 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081318877520 140082262017947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11654] ppid=11638 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11640/task/11654/stat : 11654 (java) S 11638 11638 4410 0 -1 1077944384 662 0 0 0 1 0 0 0 20 0 20 0 97235955 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081317824880 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11655] ppid=11638 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11640/task/11655/stat : 11655 (java) S 11638 11638 4410 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 97235955 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081316772080 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11656] ppid=11638 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/11640/task/11656/stat : 11656 (java) S 11638 11638 4410 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 97235956 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081315719280 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11657] ppid=11638 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/11640/task/11657/stat : 11657 (java) S 11638 11638 4410 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 20 0 97235956 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081314666480 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11658] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11658/stat : 11658 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235956 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081313614944 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11659] ppid=11638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11640/task/11659/stat : 11659 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235956 26628161536 9700 33554432000 4194304 4196468 140732150703872 140081312562224 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40180 KiB [startup+0.310632 s]* /proc/loadavg: 7.40 7.17 7.30 3/202 11659 /proc/meminfo: memFree=28563568/32770624 swapFree=67108860/67108860 [pid=11638] ppid=11635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11638/stat : 11638 (xcsp3-exec) S 11635 11638 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97235949 9740288 345 33554432000 4194304 5098028 140722248072352 140722248070456 139814170956412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28237824 140722248074346 140722248074556 140722248074556 140722248077291 0 /proc/11638/statm: 2378 345 289 221 0 87 0 [pid=11640] ppid=11638 vsize=26004064 memory=43316 CPUtime=0.5 cores=0-7 /proc/11640/stat : 11640 (java) S 11638 11638 4410 0 -1 1077944320 9069 0 0 0 47 3 0 0 20 0 20 0 97235950 26628161536 10829 33554432000 4194304 4196468 140732150703872 140732150686416 140082261999351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 /proc/11640/statm: 6501016 10829 3077 1 0 6488269 0 [pid=11640/tid=11641] ppid=11638 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11640/task/11641/stat : 11641 (java) R 11638 11638 4410 0 -1 4202560 6054 0 0 0 27 2 0 0 20 0 20 0 97235950 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082266226160 140081851629921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11642] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11642/stat : 11642 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082184580240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11643] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11643/stat : 11643 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082183527440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11644] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11644/stat : 11644 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082182474640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11645] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11645/stat : 11645 (java) S 11638 11638 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082181421840 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11646] ppid=11638 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/11640/task/11646/stat : 11646 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082180369040 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11647] ppid=11638 vsize=26004064 memory=140324836045743 CPUtime=0 cores=0-7 /proc/11640/task/11647/stat : 11647 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082179316240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11648] ppid=11638 vsize=26004064 memory=140324836048048 CPUtime=0 cores=0-7 /proc/11640/task/11648/stat : 11648 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082178263440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11649] ppid=11638 vsize=26004064 memory=140324836050352 CPUtime=0 cores=0-7 /proc/11640/task/11649/stat : 11649 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26628161536 10829 33554432000 4194304 4196468 140732150703872 140082177210640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11650] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11650/stat : 11650 (java) S 11638 11638 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97235952 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081770031984 140082262010498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11651] ppid=11638 vsize=26004064 memory=280649672107664 CPUtime=0 cores=0-7 /proc/11640/task/11651/stat : 11651 (java) S 11638 11638 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97235953 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081768977952 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11652] ppid=11638 vsize=26004064 memory=280649672114576 CPUtime=0 cores=0-7 /proc/11640/task/11652/stat : 11652 (java) S 11638 11638 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97235953 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081319929200 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11653] ppid=11638 vsize=26004064 memory=280649672055856 CPUtime=0 cores=0-7 /proc/11640/task/11653/stat : 11653 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235955 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081318877520 140082262017947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11654] ppid=11638 vsize=26004064 memory=280649672128400 CPUtime=0.02 cores=0-7 /proc/11640/task/11654/stat : 11654 (java) S 11638 11638 4410 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 20 0 97235955 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081317824880 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11655] ppid=11638 vsize=26004064 memory=280649672135312 CPUtime=0.02 cores=0-7 /proc/11640/task/11655/stat : 11655 (java) R 11638 11638 4410 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 20 0 97235955 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081316772080 140082248013660 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11656] ppid=11638 vsize=26004064 memory=280649672133008 CPUtime=0.01 cores=0-7 /proc/11640/task/11656/stat : 11656 (java) S 11638 11638 4410 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 97235956 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081315719280 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11657] ppid=11638 vsize=26004064 memory=280649672149168 CPUtime=0.12 cores=0-7 /proc/11640/task/11657/stat : 11657 (java) R 11638 11638 4410 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 97235956 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081314662848 140082262011286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11658] ppid=11638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11658/stat : 11658 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97235956 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081313614944 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11659] ppid=11638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11640/task/11659/stat : 11659 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235956 26628161536 10829 33554432000 4194304 4196468 140732150703872 140081312562224 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 44696 KiB [startup+0.701114 s] /proc/loadavg: 7.40 7.17 7.30 3/202 11659 /proc/meminfo: memFree=28544520/32770624 swapFree=67108860/67108860 [pid=11638] ppid=11635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11638/stat : 11638 (xcsp3-exec) S 11635 11638 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97235949 9740288 345 33554432000 4194304 5098028 140722248072352 140722248070456 139814170956412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28237824 140722248074346 140722248074556 140722248074556 140722248077291 0 /proc/11638/statm: 2378 345 289 221 0 87 0 [pid=11640] ppid=11638 vsize=26006188 memory=101876 CPUtime=1.8 cores=0-7 /proc/11640/stat : 11640 (java) S 11638 11638 4410 0 -1 1077944320 12992 0 0 0 174 6 0 0 20 0 20 0 97235950 26630336512 25469 33554432000 4194304 4196468 140732150703872 140732150686416 140082261999351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 /proc/11640/statm: 6501547 25469 3218 1 0 6488781 0 [pid=11640/tid=11641] ppid=11638 vsize=26006188 memory=280649672507056 CPUtime=0.67 cores=0-7 /proc/11640/task/11641/stat : 11641 (java) R 11638 11638 4410 0 -1 4202560 6657 0 0 0 64 3 0 0 20 0 20 0 97235950 26630336512 25469 33554432000 4194304 4196468 140732150703872 140082266238112 140082262011286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11642] ppid=11638 vsize=26006188 memory=140324836254576 CPUtime=0 cores=0-7 /proc/11640/task/11642/stat : 11642 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26630336512 25469 33554432000 4194304 4196468 140732150703872 140082184580240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11643] ppid=11638 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11643/stat : 11643 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26630336512 25469 33554432000 4194304 4196468 140732150703872 140082183527440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11644] ppid=11638 vsize=26006188 memory=11008 CPUtime=0 cores=0-7 /proc/11640/task/11644/stat : 11644 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97235951 26630336512 25469 33554432000 4194304 4196468 140732150703872 140082182474640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 ################ # More data... # ################ [pid=11640/tid=11875] ppid=11638 vsize=26538700 memory=4140 CPUtime=142.54 cores=0-7 /proc/11640/task/11875/stat : 11875 (java) R 11638 11638 4410 0 -1 4202560 1043 0 0 0 14254 0 0 0 20 0 28 0 97237839 27175628800 110357 33554432000 4194304 4196468 140732150703872 140081301393424 140081859174278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 Current children cumulated CPU time: 1277.24 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 442808 KiB [startup+222.302 s] /proc/loadavg: 8.04 7.65 7.46 11/208 11875 /proc/meminfo: memFree=28166428/32770624 swapFree=67108860/67108860 [pid=11638] ppid=11635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11638/stat : 11638 (xcsp3-exec) S 11635 11638 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97235949 9740288 345 33554432000 4194304 5098028 140722248072352 140722248070456 139814170956412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28237824 140722248074346 140722248074556 140722248074556 140722248077291 0 /proc/11638/statm: 2378 345 289 221 0 87 0 [pid=11640] ppid=11638 vsize=26538700 memory=441036 CPUtime=1755.96 cores=0-7 /proc/11640/stat : 11640 (java) S 11638 11638 4410 0 -1 1077944320 80568 0 0 0 175541 55 0 0 20 0 28 0 97235950 27175628800 110259 33554432000 4194304 4196468 140732150703872 140732150686416 140082261999351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 /proc/11640/statm: 6634675 110259 3286 1 0 6621909 0 [pid=11640/tid=11641] ppid=11638 vsize=26538700 memory=441444 CPUtime=1 cores=0-7 /proc/11640/task/11641/stat : 11641 (java) S 11638 11638 4410 0 -1 1077944384 6779 0 0 0 96 4 0 0 20 0 28 0 97235950 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082266240128 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11642] ppid=11638 vsize=26538700 memory=1380 CPUtime=0.08 cores=0-7 /proc/11640/task/11642/stat : 11642 (java) S 11638 11638 4410 0 -1 1077944384 82 0 0 0 5 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082184580240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11643] ppid=11638 vsize=26538700 memory=441032 CPUtime=0.09 cores=0-7 /proc/11640/task/11643/stat : 11643 (java) S 11638 11638 4410 0 -1 1077944384 79 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082183527440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11644] ppid=11638 vsize=26538700 memory=441036 CPUtime=0.08 cores=0-7 /proc/11640/task/11644/stat : 11644 (java) S 11638 11638 4410 0 -1 1077944384 871 0 0 0 5 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082182474640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11645] ppid=11638 vsize=26538700 memory=1380 CPUtime=0.08 cores=0-7 /proc/11640/task/11645/stat : 11645 (java) S 11638 11638 4410 0 -1 1077944384 100 0 0 0 5 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082181421840 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11646] ppid=11638 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/11640/task/11646/stat : 11646 (java) S 11638 11638 4410 0 -1 1077944384 80 0 0 0 4 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082180369040 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11647] ppid=11638 vsize=26538700 memory=441036 CPUtime=0.09 cores=0-7 /proc/11640/task/11647/stat : 11647 (java) S 11638 11638 4410 0 -1 1077944384 387 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082179316240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11648] ppid=11638 vsize=26538700 memory=441036 CPUtime=0.09 cores=0-7 /proc/11640/task/11648/stat : 11648 (java) S 11638 11638 4410 0 -1 1077944384 96 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082178263440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11649] ppid=11638 vsize=26538700 memory=441036 CPUtime=0.09 cores=0-7 /proc/11640/task/11649/stat : 11649 (java) S 11638 11638 4410 0 -1 1077944384 96 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110259 33554432000 4194304 4196468 140732150703872 140082177210640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11650] ppid=11638 vsize=26538700 memory=1728 CPUtime=0.03 cores=0-7 /proc/11640/task/11650/stat : 11650 (java) S 11638 11638 4410 0 -1 1077944384 1277 0 0 0 2 1 0 0 20 0 28 0 97235952 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081770031984 140082262010498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11651] ppid=11638 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/11640/task/11651/stat : 11651 (java) S 11638 11638 4410 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97235953 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081768978016 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11652] ppid=11638 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/11640/task/11652/stat : 11652 (java) S 11638 11638 4410 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97235953 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081319929216 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11653] ppid=11638 vsize=26538700 memory=28068 CPUtime=0 cores=0-7 /proc/11640/task/11653/stat : 11653 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97235955 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081318877520 140082262017947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11654] ppid=11638 vsize=26538700 memory=1380 CPUtime=1.83 cores=0-7 /proc/11640/task/11654/stat : 11654 (java) S 11638 11638 4410 0 -1 1077944384 11665 0 0 0 180 3 0 0 20 0 28 0 97235955 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081317824880 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11655] ppid=11638 vsize=26538700 memory=1380 CPUtime=1.93 cores=0-7 /proc/11640/task/11655/stat : 11655 (java) S 11638 11638 4410 0 -1 1077944384 10046 0 0 0 192 1 0 0 20 0 28 0 97235955 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081316772080 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11656] ppid=11638 vsize=26538700 memory=8552 CPUtime=2.56 cores=0-7 /proc/11640/task/11656/stat : 11656 (java) S 11638 11638 4410 0 -1 1077944384 22244 0 0 0 252 4 0 0 20 0 28 0 97235956 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081315719280 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11657] ppid=11638 vsize=26538700 memory=5516 CPUtime=0.81 cores=0-7 /proc/11640/task/11657/stat : 11657 (java) S 11638 11638 4410 0 -1 1077944384 9337 0 0 0 79 2 0 0 20 0 28 0 97235956 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081314666480 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11658] ppid=11638 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/11640/task/11658/stat : 11658 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97235956 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081313614944 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11659] ppid=11638 vsize=26538700 memory=419276 CPUtime=0.08 cores=0-7 /proc/11640/task/11659/stat : 11659 (java) S 11638 11638 4410 0 -1 1077944384 1715 0 0 0 0 8 0 0 20 0 28 0 97235956 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081312562224 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11868] ppid=11638 vsize=26538700 memory=1380 CPUtime=202.93 cores=0-7 /proc/11640/task/11868/stat : 11868 (java) R 11638 11638 4410 0 -1 4202560 780 0 0 0 20293 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140080508812392 140081859328154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11869] ppid=11638 vsize=26538700 memory=441036 CPUtime=202.42 cores=0-7 /proc/11640/task/11869/stat : 11869 (java) R 11638 11638 4410 0 -1 4202560 453 0 0 0 20242 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140080509865992 140081858047943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11870] ppid=11638 vsize=26538700 memory=4140 CPUtime=203.01 cores=0-7 /proc/11640/task/11870/stat : 11870 (java) R 11638 11638 4410 0 -1 4202560 1736 0 0 0 20301 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081304551384 140081852668604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11871] ppid=11638 vsize=26538700 memory=28068 CPUtime=201.68 cores=0-7 /proc/11640/task/11871/stat : 11871 (java) R 11638 11638 4410 0 -1 4202560 1887 0 0 0 20167 1 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081302445832 140081852668604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11872] ppid=11638 vsize=26538700 memory=1296 CPUtime=203.12 cores=0-7 /proc/11640/task/11872/stat : 11872 (java) R 11638 11638 4410 0 -1 4202560 2420 0 0 0 20312 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081300342872 140081858301713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11873] ppid=11638 vsize=26538700 memory=1296 CPUtime=202.78 cores=0-7 /proc/11640/task/11873/stat : 11873 (java) R 11638 11638 4410 0 -1 4202560 1343 0 0 0 20278 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081303498056 140081858258145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11874] ppid=11638 vsize=26538700 memory=2428 CPUtime=202.97 cores=0-7 /proc/11640/task/11874/stat : 11874 (java) R 11638 11638 4410 0 -1 4202560 494 0 0 0 20297 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081299288408 140081858258133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11875] ppid=11638 vsize=26538700 memory=1380 CPUtime=201.3 cores=0-7 /proc/11640/task/11875/stat : 11875 (java) R 11638 11638 4410 0 -1 4202560 1133 0 0 0 20130 0 0 0 20 0 28 0 97237839 27175628800 110259 33554432000 4194304 4196468 140732150703872 140081301393504 140081858301782 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 Current children cumulated CPU time: 1755.96 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 442416 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.08 7.70 7.49 9/208 11875 /proc/meminfo: memFree=28166236/32770624 swapFree=67108860/67108860 [pid=11638] ppid=11635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/11638/stat : 11638 (xcsp3-exec) S 11635 11638 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97235949 9740288 345 33554432000 4194304 5098028 140722248072352 140722248070456 139814170956412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28237824 140722248074346 140722248074556 140722248074556 140722248077291 0 /proc/11638/statm: 2378 345 289 221 0 87 0 [pid=11640] ppid=11638 vsize=26538700 memory=442156 CPUtime=1993.01 cores=0-7 /proc/11640/stat : 11640 (java) S 11638 11638 4410 0 -1 1077944320 85000 0 0 0 199245 56 0 0 20 0 28 0 97235950 27175628800 110539 33554432000 4194304 4196468 140732150703872 140732150686416 140082261999351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 /proc/11640/statm: 6634675 110539 3287 1 0 6621909 0 [pid=11640/tid=11641] ppid=11638 vsize=26538700 memory=4100 CPUtime=1 cores=0-7 /proc/11640/task/11641/stat : 11641 (java) S 11638 11638 4410 0 -1 1077944384 6779 0 0 0 96 4 0 0 20 0 28 0 97235950 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082266240128 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11642] ppid=11638 vsize=26538700 memory=1692 CPUtime=0.08 cores=0-7 /proc/11640/task/11642/stat : 11642 (java) S 11638 11638 4410 0 -1 1077944384 82 0 0 0 5 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082184580240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11643] ppid=11638 vsize=26538700 memory=4872558044660077418 CPUtime=0.09 cores=0-7 /proc/11640/task/11643/stat : 11643 (java) S 11638 11638 4410 0 -1 1077944384 79 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082183527440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11644] ppid=11638 vsize=26538700 memory=1692 CPUtime=0.08 cores=0-7 /proc/11640/task/11644/stat : 11644 (java) S 11638 11638 4410 0 -1 1077944384 871 0 0 0 5 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082182474640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11645] ppid=11638 vsize=26538700 memory=916 CPUtime=0.08 cores=0-7 /proc/11640/task/11645/stat : 11645 (java) S 11638 11638 4410 0 -1 1077944384 100 0 0 0 5 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082181421840 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11646] ppid=11638 vsize=26538700 memory=4124 CPUtime=0.07 cores=0-7 /proc/11640/task/11646/stat : 11646 (java) S 11638 11638 4410 0 -1 1077944384 80 0 0 0 4 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082180369040 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11647] ppid=11638 vsize=26538700 memory=1160 CPUtime=0.09 cores=0-7 /proc/11640/task/11647/stat : 11647 (java) S 11638 11638 4410 0 -1 1077944384 387 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082179316240 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11648] ppid=11638 vsize=26538700 memory=3980 CPUtime=0.09 cores=0-7 /proc/11640/task/11648/stat : 11648 (java) S 11638 11638 4410 0 -1 1077944384 96 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082178263440 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11649] ppid=11638 vsize=26538700 memory=1380 CPUtime=0.09 cores=0-7 /proc/11640/task/11649/stat : 11649 (java) S 11638 11638 4410 0 -1 1077944384 96 0 0 0 6 3 0 0 20 0 28 0 97235951 27175628800 110539 33554432000 4194304 4196468 140732150703872 140082177210640 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11650] ppid=11638 vsize=26538700 memory=442156 CPUtime=0.03 cores=0-7 /proc/11640/task/11650/stat : 11650 (java) S 11638 11638 4410 0 -1 1077944384 1312 0 0 0 2 1 0 0 20 0 28 0 97235952 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081770031984 140082262010498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11651] ppid=11638 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/11640/task/11651/stat : 11651 (java) S 11638 11638 4410 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97235953 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081768978016 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11652] ppid=11638 vsize=26538700 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11640/task/11652/stat : 11652 (java) S 11638 11638 4410 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97235953 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081319929216 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11653] ppid=11638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11640/task/11653/stat : 11653 (java) S 11638 11638 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97235955 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081318877520 140082262017947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11654] ppid=11638 vsize=26538700 memory=0 CPUtime=1.96 cores=0-7 /proc/11640/task/11654/stat : 11654 (java) S 11638 11638 4410 0 -1 1077944384 13907 0 0 0 193 3 0 0 20 0 28 0 97235955 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081317824880 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11655] ppid=11638 vsize=26538700 memory=0 CPUtime=1.99 cores=0-7 /proc/11640/task/11655/stat : 11655 (java) S 11638 11638 4410 0 -1 1077944384 10153 0 0 0 197 2 0 0 20 0 28 0 97235955 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081316772080 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11656] ppid=11638 vsize=26538700 memory=6791534058613427641 CPUtime=2.7 cores=0-7 /proc/11640/task/11656/stat : 11656 (java) S 11638 11638 4410 0 -1 1077944384 24110 0 0 0 266 4 0 0 20 0 28 0 97235956 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081315719280 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11657] ppid=11638 vsize=26538700 memory=644 CPUtime=0.81 cores=0-7 /proc/11640/task/11657/stat : 11657 (java) S 11638 11638 4410 0 -1 1077944384 9346 0 0 0 79 2 0 0 20 0 28 0 97235956 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081314666480 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11658] ppid=11638 vsize=26538700 memory=1788 CPUtime=0 cores=0-7 /proc/11640/task/11658/stat : 11658 (java) S 11638 11638 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97235956 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081313614944 140082262009557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11659] ppid=11638 vsize=26538700 memory=952 CPUtime=0.09 cores=0-7 /proc/11640/task/11659/stat : 11659 (java) S 11638 11638 4410 0 -1 1077944384 1719 0 0 0 0 9 0 0 20 0 28 0 97235956 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081312562224 140082262010498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11868] ppid=11638 vsize=26538700 memory=2340 CPUtime=232.64 cores=0-7 /proc/11640/task/11868/stat : 11868 (java) R 11638 11638 4410 0 -1 4202560 787 0 0 0 23264 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140080508812344 140081858402403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11869] ppid=11638 vsize=26538700 memory=1580 CPUtime=232.02 cores=0-7 /proc/11640/task/11869/stat : 11869 (java) R 11638 11638 4410 0 -1 4202560 455 0 0 0 23202 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140080509866072 140081858301962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11870] ppid=11638 vsize=26538700 memory=6791534058613427641 CPUtime=232.7 cores=0-7 /proc/11640/task/11870/stat : 11870 (java) R 11638 11638 4410 0 -1 4202560 1767 0 0 0 23270 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081304551384 140081858301696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11871] ppid=11638 vsize=26538700 memory=796 CPUtime=231.38 cores=0-7 /proc/11640/task/11871/stat : 11871 (java) R 11638 11638 4410 0 -1 4202560 1892 0 0 0 23137 1 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081302445784 140081852668604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11872] ppid=11638 vsize=26538700 memory=6791534058613427641 CPUtime=232.8 cores=0-7 /proc/11640/task/11872/stat : 11872 (java) R 11638 11638 4410 0 -1 4202560 2433 0 0 0 23280 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081300340440 140081858301637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11873] ppid=11638 vsize=26538700 memory=442156 CPUtime=232.39 cores=0-7 /proc/11640/task/11873/stat : 11873 (java) R 11638 11638 4410 0 -1 4202560 1398 0 0 0 23239 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081303498056 140081852668604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11874] ppid=11638 vsize=26538700 memory=8552 CPUtime=232.67 cores=0-7 /proc/11640/task/11874/stat : 11874 (java) R 11638 11638 4410 0 -1 4202560 516 0 0 0 23267 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081299288408 140081858301637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 [pid=11640/tid=11875] ppid=11638 vsize=26538700 memory=5516 CPUtime=230.32 cores=0-7 /proc/11640/task/11875/stat : 11875 (java) R 11638 11638 4410 0 -1 4202560 1167 0 0 0 23032 0 0 0 20 0 28 0 97237839 27175628800 110539 33554432000 4194304 4196468 140732150703872 140081301393504 140081858247640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20058112 140732150707352 140732150707528 140732150707528 140732150710223 0 Current children cumulated CPU time: 1993.01 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 443536 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.042 s] # the end of solver process 11638 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001897 s [startup+252.112 s] # the end of solver process 11640 was just reported to runsolver # cumulated CPU time of all completed processes: user=1993.18 s, system=0.572715 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.112 CPU time (s): 1993.75 CPU user time (s): 1993.18 CPU system time (s): 0.572715 CPU usage (%): 790.82 Max. virtual memory (cumulated for all children) (KiB): 26550288 Max. memory (cumulated for all children) (KiB): 449212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1993.18 system time used= 0.572715 maximum resident set size= 448336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86077 page faults= 0 swaps= 0 block input operations= 0 block output operations= 424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12373 involuntary context switches= 21275 # summary of solver processes directly reported to runsolver: # pid: 11638,11640 # total CPU time (s): 1993.75 # total CPU user time (s): 1993.18 # total CPU system time (s): 0.572715 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.09212 second user time and 3.11627 second system time The end
Begin job on node104 at 2017-08-13 18:10:22 IDJOB=4271498 IDBENCH=124189 IDSOLVER=2663 FILE ID=node104/4271498-1502641480 RUNJOBID= node104-1502637289-4437 PBS_JOBID= 20628328 Free space on /tmp= 61864 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-4271498-1502641480/watcher-4271498-1502641480 -o /tmp/evaluation-result-4271498-1502641480/solver-4271498-1502641480 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1929548263 HOME/instance-4271498-1502641480.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=1929548263 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28594292 kB MemAvailable: 31984428 kB Buffers: 160848 kB Cached: 3509972 kB SwapCached: 0 kB Active: 352132 kB Inactive: 3370604 kB Active(anon): 54156 kB Inactive(anon): 25024 kB Active(file): 297976 kB Inactive(file): 3345580 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7748 kB Writeback: 0 kB AnonPages: 57492 kB Mapped: 44060 kB Shmem: 25228 kB Slab: 150460 kB SReclaimable: 124832 kB SUnreclaim: 25628 kB KernelStack: 3776 kB PageTables: 5516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-13 18:14:34