Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 199 | 1993.9399 | 252.121 |
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-4281308-1503185199.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281308-1503185199.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.66/0.97 c solve instance... 12.25/2.27 o 224 17.27/3.00 o 223 22.50/3.69 o 222 28.64/4.40 o 221 33.99/5.11 o 220 39.44/5.92 o 219 45.35/6.78 o 218 51.11/7.55 o 217 56.26/8.23 o 216 61.39/8.99 o 215 66.30/9.66 o 214 71.94/10.51 o 213 76.70/11.17 o 212 81.99/11.86 o 211 87.05/12.62 o 210 92.18/13.32 o 209 96.82/13.94 o 208 101.40/14.54 o 207 106.71/15.23 o 206 111.53/15.95 o 205 115.92/16.57 o 204 121.17/17.20 o 203 125.87/17.82 o 202 130.49/18.43 o 201 135.07/19.04 o 200 139.53/19.68 o 199 1993.13/252.08 s SATISFIABLE 1993.13/252.08 v <instantiation> 1993.13/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.13/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.13/252.09 v </instantiation> 1993.13/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 (11242 MiB free) memory of node 1: 16384 MiB (12238 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281308-1503185199/watcher-4281308-1503185199 -o /tmp/evaluation-result-4281308-1503185199/solver-4281308-1503185199 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503174863-20898 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1965130825 HOME/instance-4281308-1503185199.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=30018, runsolver pid=30015 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 8.50 8.27 8.21 2/200 30039 /proc/meminfo: memFree=24029236/32770624 swapFree=67108860/67108860 [pid=30018] ppid=30015 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30018/stat : 30018 (xcsp3-exec) S 30015 30018 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151607619 9740288 346 33554432000 4194304 5098028 140730747132432 140730747130536 140184677188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30519296 140730747139178 140730747139388 140730747139388 140730747142123 0 /proc/30018/statm: 2378 346 289 221 0 87 0 [pid=30020] ppid=30018 vsize=25999808 memory=26760 CPUtime=0.12 cores=0-7 /proc/30020/stat : 30020 (java) S 30018 30018 20871 0 -1 1077944320 5500 0 0 0 11 1 0 0 20 0 20 0 151607619 26623803392 6690 33554432000 4194304 4196468 140724614667024 140724614649568 140416753938167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 /proc/30020/statm: 6499952 6690 2901 1 0 6488269 0 [pid=30020/tid=30021] ppid=30018 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30020/task/30021/stat : 30021 (java) R 30018 30018 20871 0 -1 4202560 3487 0 0 0 8 1 0 0 20 0 20 0 151607619 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416758170272 140416753950102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30022] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30022/stat : 30022 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416710490768 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30023] ppid=30018 vsize=25999808 memory=139820746258048 CPUtime=0 cores=0-7 /proc/30020/task/30023/stat : 30023 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416709437968 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30024] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30024/stat : 30024 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416310180240 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30025] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30025/stat : 30025 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416309127440 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30026] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30026/stat : 30026 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416308075664 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30027] ppid=30018 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30020/task/30027/stat : 30027 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416307022864 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30028] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30028/stat : 30028 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416305970064 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30029] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30029/stat : 30029 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26623803392 6690 33554432000 4194304 4196468 140724614667024 140416304917264 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30030] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30030/stat : 30030 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607622 26623803392 6690 33554432000 4194304 4196468 140724614667024 140415205509488 140416753949314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30031] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30031/stat : 30031 (java) S 30018 30018 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151607622 26623803392 6690 33554432000 4194304 4196468 140724614667024 140415204455456 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30032] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30032/stat : 30032 (java) S 30018 30018 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151607622 26623803392 6690 33554432000 4194304 4196468 140724614667024 140415203402608 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30033] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30033/stat : 30033 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415202350928 140416753956763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30034] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30034/stat : 30034 (java) S 30018 30018 20871 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415201299312 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30035] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30035/stat : 30035 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415200246512 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30036] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30036/stat : 30036 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415199193712 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30037] ppid=30018 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/30020/task/30037/stat : 30037 (java) R 30018 30018 20871 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415198140912 140416732890986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30038] ppid=30018 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30038/stat : 30038 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415197088352 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30039] ppid=30018 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30020/task/30039/stat : 30039 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26623803392 6756 33554432000 4194304 4196468 140724614667024 140415196035632 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28144 KiB [startup+0.21061 s]* /proc/loadavg: 8.50 8.27 8.21 2/200 30039 /proc/meminfo: memFree=24018156/32770624 swapFree=67108860/67108860 [pid=30018] ppid=30015 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30018/stat : 30018 (xcsp3-exec) S 30015 30018 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151607619 9740288 346 33554432000 4194304 5098028 140730747132432 140730747130536 140184677188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30519296 140730747139178 140730747139388 140730747139388 140730747142123 0 /proc/30018/statm: 2378 346 289 221 0 87 0 [pid=30020] ppid=30018 vsize=26004096 memory=38864 CPUtime=0.33 cores=0-7 /proc/30020/stat : 30020 (java) S 30018 30018 20871 0 -1 1077944320 8316 0 0 0 31 2 0 0 20 0 20 0 151607619 26628194304 9716 33554432000 4194304 4196468 140724614667024 140724614649568 140416753938167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 /proc/30020/statm: 6501016 9716 3055 1 0 6488269 0 [pid=30020/tid=30021] ppid=30018 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30020/task/30021/stat : 30021 (java) D 30018 30018 20871 0 -1 1077944384 5468 0 0 0 18 1 0 0 20 0 20 0 151607619 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416758148976 140416746617389 0 4 0 16800975 18446744072101584420 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30022] ppid=30018 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/30020/task/30022/stat : 30022 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416710490768 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30023] ppid=30018 vsize=26004064 memory=139820746278833 CPUtime=0 cores=0-7 /proc/30020/task/30023/stat : 30023 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416709437968 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30024] ppid=30018 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/30020/task/30024/stat : 30024 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26628194304 9716 33554432000 4194304 4196468 140724614667024 140416310180240 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30025] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30025/stat : 30025 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416309127440 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30026] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30026/stat : 30026 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416308075664 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30027] ppid=30018 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30020/task/30027/stat : 30027 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416307022864 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30028] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30028/stat : 30028 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416305970064 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30029] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30029/stat : 30029 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 9716 33554432000 4194304 4196468 140724614667024 140416304917264 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30030] ppid=30018 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30030/stat : 30030 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607622 26628194304 9716 33554432000 4194304 4196468 140724614667024 140415205509488 140416753949314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30031] ppid=30018 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30031/stat : 30031 (java) S 30018 30018 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151607622 26628194304 9716 33554432000 4194304 4196468 140724614667024 140415204455456 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30032] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30032/stat : 30032 (java) S 30018 30018 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151607622 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415203402608 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30033] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30033/stat : 30033 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415202350928 140416753956763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30034] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30034/stat : 30034 (java) S 30018 30018 20871 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 151607625 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415201299312 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30035] ppid=30018 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/30020/task/30035/stat : 30035 (java) S 30018 30018 20871 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 151607625 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415200246512 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30036] ppid=30018 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/30020/task/30036/stat : 30036 (java) S 30018 30018 20871 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 151607625 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415199193712 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30037] ppid=30018 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/30020/task/30037/stat : 30037 (java) S 30018 30018 20871 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 20 0 151607625 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415198140912 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30038] ppid=30018 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30038/stat : 30038 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607625 26628194304 9716 33554432000 4194304 4196468 140724614667024 140415197088352 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30039] ppid=30018 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30020/task/30039/stat : 30039 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26628161536 9716 33554432000 4194304 4196468 140724614667024 140415196035632 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013608 KiB Current children cumulated memory: 40248 KiB [startup+0.310729 s]* /proc/loadavg: 8.50 8.27 8.21 2/200 30039 /proc/meminfo: memFree=24013380/32770624 swapFree=67108860/67108860 [pid=30018] ppid=30015 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30018/stat : 30018 (xcsp3-exec) S 30015 30018 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151607619 9740288 346 33554432000 4194304 5098028 140730747132432 140730747130536 140184677188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30519296 140730747139178 140730747139388 140730747139388 140730747142123 0 /proc/30018/statm: 2378 346 289 221 0 87 0 [pid=30020] ppid=30018 vsize=26004064 memory=45708 CPUtime=0.51 cores=0-7 /proc/30020/stat : 30020 (java) S 30018 30018 20871 0 -1 1077944320 9187 0 0 0 48 3 0 0 20 0 20 0 151607619 26628161536 11427 33554432000 4194304 4196468 140724614667024 140724614649568 140416753938167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 /proc/30020/statm: 6501016 11427 3077 1 0 6488269 0 [pid=30020/tid=30021] ppid=30018 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30020/task/30021/stat : 30021 (java) R 30018 30018 20871 0 -1 4202560 6069 0 0 0 27 2 0 0 20 0 20 0 151607619 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416758176816 140416389363123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30022] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30022/stat : 30022 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416710490768 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30023] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30023/stat : 30023 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416709437968 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30024] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30024/stat : 30024 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416310180240 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30025] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30025/stat : 30025 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416309127440 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30026] ppid=30018 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/30020/task/30026/stat : 30026 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416308075664 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30027] ppid=30018 vsize=26004064 memory=139820647150511 CPUtime=0 cores=0-7 /proc/30020/task/30027/stat : 30027 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416307022864 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30028] ppid=30018 vsize=26004064 memory=139820647152816 CPUtime=0 cores=0-7 /proc/30020/task/30028/stat : 30028 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416305970064 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30029] ppid=30018 vsize=26004064 memory=139820647155120 CPUtime=0 cores=0-7 /proc/30020/task/30029/stat : 30029 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26628161536 11427 33554432000 4194304 4196468 140724614667024 140416304917264 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30030] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30030/stat : 30030 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607622 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415205509488 140416753949314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30031] ppid=30018 vsize=26004064 memory=279641294317200 CPUtime=0 cores=0-7 /proc/30020/task/30031/stat : 30031 (java) S 30018 30018 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151607622 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415204455456 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30032] ppid=30018 vsize=26004064 memory=279641294324112 CPUtime=0 cores=0-7 /proc/30020/task/30032/stat : 30032 (java) S 30018 30018 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151607622 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415203402608 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30033] ppid=30018 vsize=26004064 memory=279641294265392 CPUtime=0 cores=0-7 /proc/30020/task/30033/stat : 30033 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415202350928 140416753956763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30034] ppid=30018 vsize=26004064 memory=279641294337936 CPUtime=0.01 cores=0-7 /proc/30020/task/30034/stat : 30034 (java) S 30018 30018 20871 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415201299312 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30035] ppid=30018 vsize=26004064 memory=279641294344848 CPUtime=0.03 cores=0-7 /proc/30020/task/30035/stat : 30035 (java) S 30018 30018 20871 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415200246512 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30036] ppid=30018 vsize=26004064 memory=279641294342544 CPUtime=0.02 cores=0-7 /proc/30020/task/30036/stat : 30036 (java) S 30018 30018 20871 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415199193712 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30037] ppid=30018 vsize=26004064 memory=279641294358704 CPUtime=0.13 cores=0-7 /proc/30020/task/30037/stat : 30037 (java) R 30018 30018 20871 0 -1 4202560 905 0 0 0 13 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415198138704 140416753950102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30038] ppid=30018 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30038/stat : 30038 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415197088352 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30039] ppid=30018 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30020/task/30039/stat : 30039 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607625 26628161536 11427 33554432000 4194304 4196468 140724614667024 140415196035632 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47092 KiB [startup+0.700981 s] /proc/loadavg: 8.50 8.27 8.21 3/200 30039 /proc/meminfo: memFree=23992088/32770624 swapFree=67108860/67108860 [pid=30018] ppid=30015 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30018/stat : 30018 (xcsp3-exec) S 30015 30018 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151607619 9740288 346 33554432000 4194304 5098028 140730747132432 140730747130536 140184677188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30519296 140730747139178 140730747139388 140730747139388 140730747142123 0 /proc/30018/statm: 2378 346 289 221 0 87 0 [pid=30020] ppid=30018 vsize=26006188 memory=110224 CPUtime=1.8 cores=0-7 /proc/30020/stat : 30020 (java) S 30018 30018 20871 0 -1 1077944320 13651 0 0 0 175 5 0 0 20 0 20 0 151607619 26630336512 27556 33554432000 4194304 4196468 140724614667024 140724614649568 140416753938167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 /proc/30020/statm: 6501547 27556 3214 1 0 6488781 0 [pid=30020/tid=30021] ppid=30018 vsize=26006188 memory=279641294716592 CPUtime=0.67 cores=0-7 /proc/30020/task/30021/stat : 30021 (java) R 30018 30018 20871 0 -1 4202560 6738 0 0 0 64 3 0 0 20 0 20 0 151607619 26630336512 27556 33554432000 4194304 4196468 140724614667024 140416758175928 140416753950102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30022] ppid=30018 vsize=26006188 memory=139820647359344 CPUtime=0 cores=0-7 /proc/30020/task/30022/stat : 30022 (java) S 30018 30018 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151607620 26630336512 27556 33554432000 4194304 4196468 140724614667024 140416710490768 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30023] ppid=30018 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/30020/task/30023/stat : 30023 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151607620 26630336512 27556 33554432000 4194304 4196468 140724614667024 140416709437968 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30024] ppid=30018 vsize=26006188 memory=11112 CPUtime=0 cores=0-7 /proc/30020/task/30024/stat : 30024 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151607620 26630336512 27622 33554432000 4194304 4196468 140724614667024 140416310180240 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 ################ # More data... # ################ [pid=30020/tid=30255] ppid=30018 vsize=26538700 memory=1384 CPUtime=142.44 cores=0-7 /proc/30020/task/30255/stat : 30255 (java) R 30018 30018 20871 0 -1 4202560 1760 0 0 0 14244 0 0 0 20 0 28 0 151609588 27175628800 167177 33554432000 4194304 4196468 140724614667024 140415185919480 140416390354759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 Current children cumulated CPU time: 1277.35 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 670092 KiB [startup+222.302 s] /proc/loadavg: 8.34 8.26 8.22 9/207 30255 /proc/meminfo: memFree=23389756/32770624 swapFree=67108860/67108860 [pid=30018] ppid=30015 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30018/stat : 30018 (xcsp3-exec) S 30015 30018 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151607619 9740288 346 33554432000 4194304 5098028 140730747132432 140730747130536 140184677188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30519296 140730747139178 140730747139388 140730747139388 140730747142123 0 /proc/30018/statm: 2378 346 289 221 0 87 0 [pid=30020] ppid=30018 vsize=26538700 memory=668300 CPUtime=1756.08 cores=0-7 /proc/30020/stat : 30020 (java) S 30018 30018 20871 0 -1 1077944320 88093 0 0 0 175539 69 0 0 20 0 28 0 151607619 27175628800 167075 33554432000 4194304 4196468 140724614667024 140724614649568 140416753938167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 /proc/30020/statm: 6634675 167075 3286 1 0 6621909 0 [pid=30020/tid=30021] ppid=30018 vsize=26538700 memory=668300 CPUtime=0.98 cores=0-7 /proc/30020/task/30021/stat : 30021 (java) S 30018 30018 20871 0 -1 1077944384 6863 0 0 0 94 4 0 0 20 0 28 0 151607619 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416758178944 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30022] ppid=30018 vsize=26538700 memory=668300 CPUtime=0.14 cores=0-7 /proc/30020/task/30022/stat : 30022 (java) S 30018 30018 20871 0 -1 1077944384 537 0 0 0 9 5 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416710490768 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30023] ppid=30018 vsize=26538700 memory=1384 CPUtime=0.12 cores=0-7 /proc/30020/task/30023/stat : 30023 (java) S 30018 30018 20871 0 -1 1077944384 357 0 0 0 8 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416709437968 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30024] ppid=30018 vsize=26538700 memory=0 CPUtime=0.14 cores=0-7 /proc/30020/task/30024/stat : 30024 (java) S 30018 30018 20871 0 -1 1077944384 913 0 0 0 10 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416310180240 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30025] ppid=30018 vsize=26538700 memory=668184 CPUtime=0.12 cores=0-7 /proc/30020/task/30025/stat : 30025 (java) S 30018 30018 20871 0 -1 1077944384 1376 0 0 0 9 3 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416309127440 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30026] ppid=30018 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7 /proc/30020/task/30026/stat : 30026 (java) S 30018 30018 20871 0 -1 1077944384 218 0 0 0 10 3 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416308075664 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30027] ppid=30018 vsize=26538700 memory=0 CPUtime=0.12 cores=0-7 /proc/30020/task/30027/stat : 30027 (java) S 30018 30018 20871 0 -1 1077944384 1639 0 0 0 8 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416307022864 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30028] ppid=30018 vsize=26538700 memory=1384 CPUtime=0.13 cores=0-7 /proc/30020/task/30028/stat : 30028 (java) S 30018 30018 20871 0 -1 1077944384 400 0 0 0 10 3 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416305970064 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30029] ppid=30018 vsize=26538700 memory=668708 CPUtime=0.14 cores=0-7 /proc/30020/task/30029/stat : 30029 (java) S 30018 30018 20871 0 -1 1077944384 206 0 0 0 10 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416304917264 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30030] ppid=30018 vsize=26538700 memory=19436 CPUtime=0.04 cores=0-7 /proc/30020/task/30030/stat : 30030 (java) S 30018 30018 20871 0 -1 1077944384 1813 0 0 0 3 1 0 0 20 0 28 0 151607622 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415205509488 140416753949314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30031] ppid=30018 vsize=26538700 memory=19525 CPUtime=0 cores=0-7 /proc/30020/task/30031/stat : 30031 (java) S 30018 30018 20871 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 151607622 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415204455520 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30032] ppid=30018 vsize=26538700 memory=8836 CPUtime=0 cores=0-7 /proc/30020/task/30032/stat : 30032 (java) S 30018 30018 20871 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151607622 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415203402624 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30033] ppid=30018 vsize=26538700 memory=11044 CPUtime=0 cores=0-7 /proc/30020/task/30033/stat : 30033 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415202350928 140416753956763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30034] ppid=30018 vsize=26538700 memory=1788 CPUtime=2 cores=0-7 /proc/30020/task/30034/stat : 30034 (java) S 30018 30018 20871 0 -1 1077944384 11631 0 0 0 198 2 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415201299312 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30035] ppid=30018 vsize=26538700 memory=952 CPUtime=2.01 cores=0-7 /proc/30020/task/30035/stat : 30035 (java) S 30018 30018 20871 0 -1 1077944384 14757 0 0 0 199 2 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415200246512 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30036] ppid=30018 vsize=26538700 memory=1384 CPUtime=2.02 cores=0-7 /proc/30020/task/30036/stat : 30036 (java) S 30018 30018 20871 0 -1 1077944384 10545 0 0 0 199 3 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415199193712 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30037] ppid=30018 vsize=26538700 memory=668712 CPUtime=0.78 cores=0-7 /proc/30020/task/30037/stat : 30037 (java) S 30018 30018 20871 0 -1 1077944384 7311 0 0 0 77 1 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415198140912 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30038] ppid=30018 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/30020/task/30038/stat : 30038 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415197088352 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30039] ppid=30018 vsize=26538700 memory=4140 CPUtime=0.08 cores=0-7 /proc/30020/task/30039/stat : 30039 (java) S 30018 30018 20871 0 -1 1077944384 1772 0 0 0 0 8 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415196035632 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30248] ppid=30018 vsize=26538700 memory=4128 CPUtime=202.26 cores=0-7 /proc/30020/task/30248/stat : 30248 (java) R 30018 30018 20871 0 -1 4202560 1733 0 0 0 20226 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415182760424 140416396037621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30249] ppid=30018 vsize=26538700 memory=2196 CPUtime=201.15 cores=0-7 /proc/30020/task/30249/stat : 30249 (java) R 30018 30018 20871 0 -1 4202560 971 0 0 0 20115 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415186972120 140416390354759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30250] ppid=30018 vsize=26538700 memory=259854111403092 CPUtime=202.18 cores=0-7 /proc/30020/task/30250/stat : 30250 (java) R 30018 30018 20871 0 -1 4202560 2760 0 0 0 20217 1 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415184868376 140416395668600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30251] ppid=30018 vsize=26538700 memory=0 CPUtime=200.57 cores=0-7 /proc/30020/task/30251/stat : 30251 (java) R 30018 30018 20871 0 -1 4202560 10080 0 0 0 20049 8 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415181709576 140416395668042 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30252] ppid=30018 vsize=26538700 memory=1384 CPUtime=201.77 cores=0-7 /proc/30020/task/30252/stat : 30252 (java) R 30018 30018 20871 0 -1 4202560 963 0 0 0 20177 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415188025480 140416390354767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30253] ppid=30018 vsize=26538700 memory=1384 CPUtime=202.26 cores=0-7 /proc/30020/task/30253/stat : 30253 (java) R 30018 30018 20871 0 -1 4202560 1729 0 0 0 20226 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415183814496 140416395668158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30254] ppid=30018 vsize=26538700 memory=4140 CPUtime=201.31 cores=0-7 /proc/30020/task/30254/stat : 30254 (java) R 30018 30018 20871 0 -1 4202560 2379 0 0 0 20130 1 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415180657080 140416395668138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30255] ppid=30018 vsize=26538700 memory=668300 CPUtime=202.36 cores=0-7 /proc/30020/task/30255/stat : 30255 (java) R 30018 30018 20871 0 -1 4202560 1904 0 0 0 20236 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415185920184 140416396746243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 Current children cumulated CPU time: 1756.08 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 669684 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.75 8.36 8.25 10/207 30255 /proc/meminfo: memFree=23390228/32770624 swapFree=67108860/67108860 [pid=30018] ppid=30015 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30018/stat : 30018 (xcsp3-exec) S 30015 30018 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151607619 9740288 346 33554432000 4194304 5098028 140730747132432 140730747130536 140184677188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30519296 140730747139178 140730747139388 140730747139388 140730747142123 0 /proc/30018/statm: 2378 346 289 221 0 87 0 [pid=30020] ppid=30018 vsize=26538700 memory=668300 CPUtime=1993.13 cores=0-7 /proc/30020/stat : 30020 (java) S 30018 30018 20871 0 -1 1077944320 88662 0 0 0 199244 69 0 0 20 0 28 0 151607619 27175628800 167075 33554432000 4194304 4196468 140724614667024 140724614649568 140416753938167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 /proc/30020/statm: 6634675 167075 3286 1 0 6621909 0 [pid=30020/tid=30021] ppid=30018 vsize=26538700 memory=668300 CPUtime=0.98 cores=0-7 /proc/30020/task/30021/stat : 30021 (java) S 30018 30018 20871 0 -1 1077944384 6863 0 0 0 94 4 0 0 20 0 28 0 151607619 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416758178944 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30022] ppid=30018 vsize=26538700 memory=6791534058613427641 CPUtime=0.14 cores=0-7 /proc/30020/task/30022/stat : 30022 (java) S 30018 30018 20871 0 -1 1077944384 537 0 0 0 9 5 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416710490768 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30023] ppid=30018 vsize=26538700 memory=15876 CPUtime=0.12 cores=0-7 /proc/30020/task/30023/stat : 30023 (java) S 30018 30018 20871 0 -1 1077944384 357 0 0 0 8 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416709437968 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30024] ppid=30018 vsize=26538700 memory=16448 CPUtime=0.14 cores=0-7 /proc/30020/task/30024/stat : 30024 (java) S 30018 30018 20871 0 -1 1077944384 913 0 0 0 10 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416310180240 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30025] ppid=30018 vsize=26538700 memory=23392 CPUtime=0.12 cores=0-7 /proc/30020/task/30025/stat : 30025 (java) S 30018 30018 20871 0 -1 1077944384 1376 0 0 0 9 3 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416309127440 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30026] ppid=30018 vsize=26538700 memory=4048 CPUtime=0.13 cores=0-7 /proc/30020/task/30026/stat : 30026 (java) S 30018 30018 20871 0 -1 1077944384 218 0 0 0 10 3 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416308075664 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30027] ppid=30018 vsize=26538700 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/30020/task/30027/stat : 30027 (java) S 30018 30018 20871 0 -1 1077944384 1639 0 0 0 8 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416307022864 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30028] ppid=30018 vsize=26538700 memory=4629771062077588875 CPUtime=0.13 cores=0-7 /proc/30020/task/30028/stat : 30028 (java) S 30018 30018 20871 0 -1 1077944384 400 0 0 0 10 3 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416305970064 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30029] ppid=30018 vsize=26538700 memory=259854111403092 CPUtime=0.14 cores=0-7 /proc/30020/task/30029/stat : 30029 (java) S 30018 30018 20871 0 -1 1077944384 206 0 0 0 10 4 0 0 20 0 28 0 151607620 27175628800 167075 33554432000 4194304 4196468 140724614667024 140416304917264 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30030] ppid=30018 vsize=26538700 memory=668300 CPUtime=0.04 cores=0-7 /proc/30020/task/30030/stat : 30030 (java) S 30018 30018 20871 0 -1 1077944384 1851 0 0 0 3 1 0 0 20 0 28 0 151607622 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415205509488 140416753949314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30031] ppid=30018 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/30020/task/30031/stat : 30031 (java) S 30018 30018 20871 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 151607622 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415204455520 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30032] ppid=30018 vsize=26538700 memory=916 CPUtime=0 cores=0-7 /proc/30020/task/30032/stat : 30032 (java) S 30018 30018 20871 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151607622 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415203402624 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30033] ppid=30018 vsize=26538700 memory=4556 CPUtime=0 cores=0-7 /proc/30020/task/30033/stat : 30033 (java) S 30018 30018 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415202350928 140416753956763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30034] ppid=30018 vsize=26538700 memory=2196 CPUtime=2 cores=0-7 /proc/30020/task/30034/stat : 30034 (java) S 30018 30018 20871 0 -1 1077944384 11631 0 0 0 198 2 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415201299312 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30035] ppid=30018 vsize=26538700 memory=8040 CPUtime=2.02 cores=0-7 /proc/30020/task/30035/stat : 30035 (java) S 30018 30018 20871 0 -1 1077944384 15153 0 0 0 200 2 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415200246512 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30036] ppid=30018 vsize=26538700 memory=840 CPUtime=2.02 cores=0-7 /proc/30020/task/30036/stat : 30036 (java) S 30018 30018 20871 0 -1 1077944384 10545 0 0 0 199 3 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415199193712 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30037] ppid=30018 vsize=26538700 memory=1692 CPUtime=0.78 cores=0-7 /proc/30020/task/30037/stat : 30037 (java) S 30018 30018 20871 0 -1 1077944384 7311 0 0 0 77 1 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415198140912 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30038] ppid=30018 vsize=26538700 memory=916 CPUtime=0 cores=0-7 /proc/30020/task/30038/stat : 30038 (java) S 30018 30018 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415197088352 140416753948373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30039] ppid=30018 vsize=26538700 memory=4556 CPUtime=0.09 cores=0-7 /proc/30020/task/30039/stat : 30039 (java) S 30018 30018 20871 0 -1 1077944384 1774 0 0 0 0 9 0 0 20 0 28 0 151607625 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415196035632 140416753949314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30248] ppid=30018 vsize=26538700 memory=4100 CPUtime=231.96 cores=0-7 /proc/30020/task/30248/stat : 30248 (java) R 30018 30018 20871 0 -1 4202560 1739 0 0 0 23196 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415182760552 140416390354774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30249] ppid=30018 vsize=26538700 memory=1200 CPUtime=230.86 cores=0-7 /proc/30020/task/30249/stat : 30249 (java) R 30018 30018 20871 0 -1 4202560 977 0 0 0 23086 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415186972232 140416395687081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30250] ppid=30018 vsize=26538700 memory=8612 CPUtime=231.89 cores=0-7 /proc/30020/task/30250/stat : 30250 (java) R 30018 30018 20871 0 -1 4202560 2766 0 0 0 23188 1 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415184867800 140416390354748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30251] ppid=30018 vsize=26538700 memory=5784 CPUtime=230.28 cores=0-7 /proc/30020/task/30251/stat : 30251 (java) R 30018 30018 20871 0 -1 4202560 10091 0 0 0 23020 8 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415181709576 140416396037553 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30252] ppid=30018 vsize=26538700 memory=4616 CPUtime=231.47 cores=0-7 /proc/30020/task/30252/stat : 30252 (java) R 30018 30018 20871 0 -1 4202560 966 0 0 0 23147 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415188025480 140416395668008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30253] ppid=30018 vsize=26538700 memory=1008 CPUtime=231.96 cores=0-7 /proc/30020/task/30253/stat : 30253 (java) R 30018 30018 20871 0 -1 4202560 1740 0 0 0 23196 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415183814368 140416390354748 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30254] ppid=30018 vsize=26538700 memory=11112 CPUtime=230.41 cores=0-7 /proc/30020/task/30254/stat : 30254 (java) R 30018 30018 20871 0 -1 4202560 2441 0 0 0 23040 1 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415180656808 140416395687061 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 [pid=30020/tid=30255] ppid=30018 vsize=26538700 memory=1228 CPUtime=232.06 cores=0-7 /proc/30020/task/30255/stat : 30255 (java) R 30018 30018 20871 0 -1 4202560 1932 0 0 0 23206 0 0 0 20 0 28 0 151609588 27175628800 167075 33554432000 4194304 4196468 140724614667024 140415185921992 140416395668199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140724614673560 140724614673736 140724614673736 140724614676431 0 Current children cumulated CPU time: 1993.13 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 669684 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.043 s] # the end of solver process 30018 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001993 s [startup+252.121 s] # the end of solver process 30020 was just reported to runsolver # cumulated CPU time of all completed processes: user=1993.23 s, system=0.713796 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.121 CPU time (s): 1993.94 CPU user time (s): 1993.23 CPU system time (s): 0.713796 CPU usage (%): 790.868 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 684444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1993.23 system time used= 0.713796 maximum resident set size= 683060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89663 page faults= 0 swaps= 0 block input operations= 0 block output operations= 464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12585 involuntary context switches= 21325 # summary of solver processes directly reported to runsolver: # pid: 30018,30020 # total CPU time (s): 1993.94 # total CPU user time (s): 1993.23 # total CPU system time (s): 0.713796 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.0024 second user time and 3.14678 second system time The end
Begin job on node104 at 2017-08-20 01:12:19 IDJOB=4281308 IDBENCH=124189 IDSOLVER=2676 FILE ID=node104/4281308-1503185199 RUNJOBID= node104-1503174863-20898 PBS_JOBID= 20630844 Free space on /tmp= 61784 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-4281308-1503185199/watcher-4281308-1503185199 -o /tmp/evaluation-result-4281308-1503185199/solver-4281308-1503185199 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503174863-20898 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1965130825 HOME/instance-4281308-1503185199.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=1965130825 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: 24045308 kB MemAvailable: 31966204 kB Buffers: 278208 kB Cached: 7921968 kB SwapCached: 0 kB Active: 3261844 kB Inactive: 4989996 kB Active(anon): 54292 kB Inactive(anon): 33192 kB Active(file): 3207552 kB Inactive(file): 4956804 kB Unevictable: 7828 kB Mlocked: 7828 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7784 kB Writeback: 12 kB AnonPages: 58996 kB Mapped: 51440 kB Shmem: 33420 kB Slab: 170892 kB SReclaimable: 144748 kB SUnreclaim: 26144 kB KernelStack: 3200 kB PageTables: 4748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333636 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= 61776 MiB End job on node104 at 2017-08-20 01:16:31