Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 199 | 20090.199 | 2520.1299 |
| 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 | 2400.06 |
| 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-4280318-1503129511.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280318-1503129511.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.67/0.95 c solve instance... 11.52/2.14 o 224 16.72/2.85 o 223 21.90/3.53 o 222 27.11/4.29 o 221 32.04/4.94 o 220 37.37/5.64 o 219 42.42/6.35 o 218 47.45/7.06 o 217 52.54/7.75 o 216 57.58/8.53 o 215 62.16/9.13 o 214 66.63/9.72 o 213 71.21/10.37 o 212 76.25/11.02 o 211 80.88/11.66 o 210 85.52/12.25 o 209 90.51/12.91 o 208 94.44/13.50 o 207 98.99/14.07 o 206 103.46/14.64 o 205 108.43/15.35 o 204 113.36/16.03 o 203 117.08/16.59 o 202 121.58/17.12 o 201 126.17/17.86 o 200 130.44/18.49 o 199 20089.33/2520.10 s SATISFIABLE 20089.33/2520.10 v <instantiation> 20089.33/2520.10 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> 20089.33/2520.10 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> 20089.33/2520.10 v </instantiation> 20089.33/2520.10 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 (12706 MiB free)
memory of node 1: 16384 MiB (13860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280318-1503129511/watcher-4280318-1503129511 -o /tmp/evaluation-result-4280318-1503129511/solver-4280318-1503129511 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503120994-1795 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 331009045 HOME/instance-4280318-1503129511.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=5848, runsolver pid=5845
[startup+0.100112 s]*
/proc/loadavg: 7.45 8.14 8.26 2/200 5869
/proc/meminfo: memFree=27190500/32770624 swapFree=67108860/67108860
[pid=5848] ppid=5845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5848/stat : 5848 (xcsp3-exec) S 5845 5848 1768 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146038713 9740288 346 33554432000 4194304 5098028 140728431744096 140728431742200 140480229028476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39960576 140728431752293 140728431752503 140728431752503 140728431755243 0
/proc/5848/statm: 2378 346 289 221 0 87 0
[pid=5850] ppid=5848 vsize=25999808 memory=26392 CPUtime=0.11 cores=0-7
/proc/5850/stat : 5850 (java) S 5848 5848 1768 0 -1 1077944320 5468 0 0 0 10 1 0 0 20 0 20 0 146038714 26623803392 6598 33554432000 4194304 4196468 140726284627632 140726284610176 139842781863671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
/proc/5850/statm: 6499952 6598 2868 1 0 6488269 0
[pid=5850/tid=5851] ppid=5848 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5850/task/5851/stat : 5851 (java) R 5848 5848 1768 0 -1 4202560 3484 0 0 0 8 0 0 0 20 0 20 0 146038714 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842786096944 139842781885018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5852] ppid=5848 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5850/task/5852/stat : 5852 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842734484368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5853] ppid=5848 vsize=25999808 memory=140597362382464 CPUtime=0 cores=0-7
/proc/5850/task/5853/stat : 5853 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842733431568 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5854] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5854/stat : 5854 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842732379280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5855] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5855/stat : 5855 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842731326480 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5856] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5856/stat : 5856 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842730273168 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5857] ppid=5848 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5850/task/5857/stat : 5857 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842729220368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5858] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5858/stat : 5858 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842728168080 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5859] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5859/stat : 5859 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26623803392 6598 33554432000 4194304 4196468 140726284627632 139842727115280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5860] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5860/stat : 5860 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038716 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840986757744 139842781874818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5861] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5861/stat : 5861 (java) S 5848 5848 1768 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146038717 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840985703712 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5862] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5862/stat : 5862 (java) S 5848 5848 1768 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146038717 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840984651376 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5863] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5863/stat : 5863 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038719 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840983599696 139842781882267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5864] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5864/stat : 5864 (java) S 5848 5848 1768 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 146038719 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840982546544 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5865] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5865/stat : 5865 (java) R 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038719 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840645490672 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5866] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5866/stat : 5866 (java) R 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038719 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840644438384 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5867] ppid=5848 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5850/task/5867/stat : 5867 (java) R 5848 5848 1768 0 -1 4202560 241 0 0 0 1 0 0 0 20 0 20 0 146038719 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840643385584 139842765944158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5868] ppid=5848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5868/stat : 5868 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038720 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840642333536 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5869] ppid=5848 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5850/task/5869/stat : 5869 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038720 26623803392 6598 33554432000 4194304 4196468 140726284627632 139840641280816 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27776 KiB
[startup+0.21037 s]*
/proc/loadavg: 7.45 8.14 8.26 3/200 5869
/proc/meminfo: memFree=27178840/32770624 swapFree=67108860/67108860
[pid=5848] ppid=5845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5848/stat : 5848 (xcsp3-exec) S 5845 5848 1768 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146038713 9740288 346 33554432000 4194304 5098028 140728431744096 140728431742200 140480229028476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39960576 140728431752293 140728431752503 140728431752503 140728431755243 0
/proc/5848/statm: 2378 346 289 221 0 87 0
[pid=5850] ppid=5848 vsize=26004064 memory=39120 CPUtime=0.33 cores=0-7
/proc/5850/stat : 5850 (java) S 5848 5848 1768 0 -1 1077944320 8367 0 0 0 31 2 0 0 20 0 20 0 146038714 26628161536 9780 33554432000 4194304 4196468 140726284627632 140726284610176 139842781863671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
/proc/5850/statm: 6501016 9780 3057 1 0 6488269 0
[pid=5850/tid=5851] ppid=5848 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5850/task/5851/stat : 5851 (java) R 5848 5848 1768 0 -1 4202560 5399 0 0 0 18 1 0 0 20 0 20 0 146038714 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842786084496 139842765944158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5852] ppid=5848 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/5850/task/5852/stat : 5852 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842734484368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5853] ppid=5848 vsize=26004064 memory=140597362395443 CPUtime=0 cores=0-7
/proc/5850/task/5853/stat : 5853 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842733431568 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5854] ppid=5848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5850/task/5854/stat : 5854 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842732379280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5855] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5855/stat : 5855 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842731326480 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5856] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5856/stat : 5856 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842730273168 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5857] ppid=5848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5850/task/5857/stat : 5857 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842729220368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5858] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5858/stat : 5858 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842728168080 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5859] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5859/stat : 5859 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 9780 33554432000 4194304 4196468 140726284627632 139842727115280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5860] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5860/stat : 5860 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038716 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840986757744 139842781874818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5861] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5861/stat : 5861 (java) S 5848 5848 1768 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146038717 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840985703712 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5862] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5862/stat : 5862 (java) S 5848 5848 1768 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146038717 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840984651376 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5863] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5863/stat : 5863 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038719 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840983599696 139842781882267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5864] ppid=5848 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5850/task/5864/stat : 5864 (java) S 5848 5848 1768 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 146038719 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840982546544 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5865] ppid=5848 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5850/task/5865/stat : 5865 (java) S 5848 5848 1768 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 146038719 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840645490672 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5866] ppid=5848 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/5850/task/5866/stat : 5866 (java) S 5848 5848 1768 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 146038719 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840644438384 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5867] ppid=5848 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/5850/task/5867/stat : 5867 (java) R 5848 5848 1768 0 -1 4202560 735 0 0 0 8 0 0 0 20 0 20 0 146038719 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840643383120 139842761272020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5868] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5868/stat : 5868 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038720 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840642333536 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5869] ppid=5848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5850/task/5869/stat : 5869 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038720 26628161536 9780 33554432000 4194304 4196468 140726284627632 139840641280816 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40504 KiB
[startup+0.310239 s]*
/proc/loadavg: 7.45 8.14 8.26 3/200 5869
/proc/meminfo: memFree=27174808/32770624 swapFree=67108860/67108860
[pid=5848] ppid=5845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5848/stat : 5848 (xcsp3-exec) S 5845 5848 1768 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146038713 9740288 346 33554432000 4194304 5098028 140728431744096 140728431742200 140480229028476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39960576 140728431752293 140728431752503 140728431752503 140728431755243 0
/proc/5848/statm: 2378 346 289 221 0 87 0
[pid=5850] ppid=5848 vsize=26004064 memory=43740 CPUtime=0.5 cores=0-7
/proc/5850/stat : 5850 (java) S 5848 5848 1768 0 -1 1077944320 9178 0 0 0 47 3 0 0 20 0 20 0 146038714 26628161536 10935 33554432000 4194304 4196468 140726284627632 140726284610176 139842781863671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
/proc/5850/statm: 6501016 10935 3086 1 0 6488269 0
[pid=5850/tid=5851] ppid=5848 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/5850/task/5851/stat : 5851 (java) R 5848 5848 1768 0 -1 4202560 6065 0 0 0 27 1 0 0 20 0 20 0 146038714 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842786102464 139842407255027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5852] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5852/stat : 5852 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842734484368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5853] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5853/stat : 5853 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842733431568 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5854] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5854/stat : 5854 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842732379280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5855] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5855/stat : 5855 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842731326480 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5856] ppid=5848 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5850/task/5856/stat : 5856 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842730273168 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5857] ppid=5848 vsize=26004064 memory=140597230924719 CPUtime=0 cores=0-7
/proc/5850/task/5857/stat : 5857 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842729220368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5858] ppid=5848 vsize=26004064 memory=140597230927024 CPUtime=0 cores=0-7
/proc/5850/task/5858/stat : 5858 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842728168080 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5859] ppid=5848 vsize=26004064 memory=3472464495412098528 CPUtime=0 cores=0-7
/proc/5850/task/5859/stat : 5859 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26628161536 10935 33554432000 4194304 4196468 140726284627632 139842727115280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5860] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5860/stat : 5860 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038716 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840986757744 139842781874818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5861] ppid=5848 vsize=26004064 memory=281194461865616 CPUtime=0 cores=0-7
/proc/5850/task/5861/stat : 5861 (java) S 5848 5848 1768 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146038717 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840985703712 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5862] ppid=5848 vsize=26004064 memory=281194461872528 CPUtime=0 cores=0-7
/proc/5850/task/5862/stat : 5862 (java) S 5848 5848 1768 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146038717 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840984651376 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5863] ppid=5848 vsize=26004064 memory=281194461813680 CPUtime=0 cores=0-7
/proc/5850/task/5863/stat : 5863 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038719 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840983599696 139842781882267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5864] ppid=5848 vsize=26004064 memory=281194461886352 CPUtime=0.02 cores=0-7
/proc/5850/task/5864/stat : 5864 (java) S 5848 5848 1768 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 20 0 146038719 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840982546544 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5865] ppid=5848 vsize=26004064 memory=281194461893264 CPUtime=0.02 cores=0-7
/proc/5850/task/5865/stat : 5865 (java) S 5848 5848 1768 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 146038719 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840645490672 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5866] ppid=5848 vsize=26004064 memory=281194461890960 CPUtime=0.01 cores=0-7
/proc/5850/task/5866/stat : 5866 (java) S 5848 5848 1768 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 146038719 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840644438384 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5867] ppid=5848 vsize=26004064 memory=281194461907120 CPUtime=0.12 cores=0-7
/proc/5850/task/5867/stat : 5867 (java) R 5848 5848 1768 0 -1 4202560 836 0 0 0 12 0 0 0 20 0 20 0 146038719 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840643381952 139842781885018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5868] ppid=5848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5868/stat : 5868 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038720 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840642333536 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5869] ppid=5848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5850/task/5869/stat : 5869 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146038720 26628161536 10935 33554432000 4194304 4196468 140726284627632 139840641280816 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45124 KiB
[startup+0.700974 s]
/proc/loadavg: 7.45 8.14 8.26 3/200 5869
/proc/meminfo: memFree=27154704/32770624 swapFree=67108860/67108860
[pid=5848] ppid=5845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5848/stat : 5848 (xcsp3-exec) S 5845 5848 1768 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146038713 9740288 346 33554432000 4194304 5098028 140728431744096 140728431742200 140480229028476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39960576 140728431752293 140728431752503 140728431752503 140728431755243 0
/proc/5848/statm: 2378 346 289 221 0 87 0
[pid=5850] ppid=5848 vsize=26006188 memory=107984 CPUtime=1.81 cores=0-7
/proc/5850/stat : 5850 (java) S 5848 5848 1768 0 -1 1077944320 13589 0 0 0 176 5 0 0 20 0 20 0 146038714 26630336512 26996 33554432000 4194304 4196468 140726284627632 140726284610176 139842781863671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
/proc/5850/statm: 6501547 26996 3217 1 0 6488781 0
[pid=5850/tid=5851] ppid=5848 vsize=26006188 memory=281194462265008 CPUtime=0.67 cores=0-7
/proc/5850/task/5851/stat : 5851 (java) R 5848 5848 1768 0 -1 4202560 6767 0 0 0 64 3 0 0 20 0 20 0 146038714 26630336512 26996 33554432000 4194304 4196468 140726284627632 139842786100208 139842765944158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5852] ppid=5848 vsize=26006188 memory=140597231133552 CPUtime=0 cores=0-7
/proc/5850/task/5852/stat : 5852 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26630336512 26996 33554432000 4194304 4196468 140726284627632 139842734484368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5853] ppid=5848 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/5850/task/5853/stat : 5853 (java) S 5848 5848 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146038715 26630336512 26996 33554432000 4194304 4196468 140726284627632 139842733431568 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5854] ppid=5848 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/5850/task/5854/stat : 5854 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146038715 26630336512 26996 33554432000 4194304 4196468 140726284627632 139842732379280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
################
# More data... #
################
[pid=5850/tid=6085] ppid=5848 vsize=26538700 memory=1384 CPUtime=2409.62 cores=0-7
/proc/5850/task/6085/stat : 6085 (java) R 5848 5848 1768 0 -1 4202560 3226 0 0 0 240961 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840629059544 139842408242296 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
Current children cumulated CPU time: 19469.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 569644 KiB
[startup+2502.3 s]
/proc/loadavg: 8.02 8.22 8.29 9/207 6141
/proc/meminfo: memFree=26652568/32770624 swapFree=67108860/67108860
[pid=5848] ppid=5845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5848/stat : 5848 (xcsp3-exec) S 5845 5848 1768 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146038713 9740288 346 33554432000 4194304 5098028 140728431744096 140728431742200 140480229028476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39960576 140728431752293 140728431752503 140728431752503 140728431755243 0
/proc/5848/statm: 2378 346 289 221 0 87 0
[pid=5850] ppid=5848 vsize=26538700 memory=568260 CPUtime=19948 cores=0-7
/proc/5850/stat : 5850 (java) S 5848 5848 1768 0 -1 1077944320 123918 0 0 0 1994697 107 0 0 20 0 28 0 146038714 27175628800 142065 33554432000 4194304 4196468 140726284627632 140726284610176 139842781863671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
/proc/5850/statm: 6634675 142065 3284 1 0 6621909 0
[pid=5850/tid=5851] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.97 cores=0-7
/proc/5850/task/5851/stat : 5851 (java) S 5848 5848 1768 0 -1 1077944384 6884 0 0 0 93 4 0 0 20 0 28 0 146038714 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842786104448 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5852] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.16 cores=0-7
/proc/5850/task/5852/stat : 5852 (java) S 5848 5848 1768 0 -1 1077944384 818 0 0 0 12 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842734484368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5853] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.16 cores=0-7
/proc/5850/task/5853/stat : 5853 (java) S 5848 5848 1768 0 -1 1077944384 872 0 0 0 12 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842733431568 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5854] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.15 cores=0-7
/proc/5850/task/5854/stat : 5854 (java) S 5848 5848 1768 0 -1 1077944384 727 0 0 0 11 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842732379280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5855] ppid=5848 vsize=26538700 memory=1384 CPUtime=0.14 cores=0-7
/proc/5850/task/5855/stat : 5855 (java) S 5848 5848 1768 0 -1 1077944384 836 0 0 0 10 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842731326480 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5856] ppid=5848 vsize=26538700 memory=1384 CPUtime=0.14 cores=0-7
/proc/5850/task/5856/stat : 5856 (java) S 5848 5848 1768 0 -1 1077944384 1473 0 0 0 10 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842730273168 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5857] ppid=5848 vsize=26538700 memory=1384 CPUtime=0.15 cores=0-7
/proc/5850/task/5857/stat : 5857 (java) S 5848 5848 1768 0 -1 1077944384 2094 0 0 0 11 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842729220368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5858] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.16 cores=0-7
/proc/5850/task/5858/stat : 5858 (java) S 5848 5848 1768 0 -1 1077944384 1317 0 0 0 12 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842728168080 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5859] ppid=5848 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/5850/task/5859/stat : 5859 (java) S 5848 5848 1768 0 -1 1077944384 2210 0 0 0 11 5 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842727115280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5860] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.1 cores=0-7
/proc/5850/task/5860/stat : 5860 (java) S 5848 5848 1768 0 -1 1077944384 4281 0 0 0 7 3 0 0 20 0 28 0 146038716 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840986757744 139842781874818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5861] ppid=5848 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/5850/task/5861/stat : 5861 (java) S 5848 5848 1768 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 146038717 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840985703776 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5862] ppid=5848 vsize=26538700 memory=568260 CPUtime=0 cores=0-7
/proc/5850/task/5862/stat : 5862 (java) S 5848 5848 1768 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 146038717 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840984651392 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5863] ppid=5848 vsize=26538700 memory=4132 CPUtime=0 cores=0-7
/proc/5850/task/5863/stat : 5863 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840983599696 139842781882267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5864] ppid=5848 vsize=26538700 memory=40564 CPUtime=1.93 cores=0-7
/proc/5850/task/5864/stat : 5864 (java) S 5848 5848 1768 0 -1 1077944384 12990 0 0 0 190 3 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840982546544 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5865] ppid=5848 vsize=26538700 memory=288230574492221466 CPUtime=2.17 cores=0-7
/proc/5850/task/5865/stat : 5865 (java) S 5848 5848 1768 0 -1 1077944384 11949 0 0 0 215 2 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840645490672 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5866] ppid=5848 vsize=26538700 memory=1720 CPUtime=2.15 cores=0-7
/proc/5850/task/5866/stat : 5866 (java) S 5848 5848 1768 0 -1 1077944384 15332 0 0 0 212 3 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840644438384 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5867] ppid=5848 vsize=26538700 memory=1008 CPUtime=0.83 cores=0-7
/proc/5850/task/5867/stat : 5867 (java) S 5848 5848 1768 0 -1 1077944384 12433 0 0 0 80 3 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840643385584 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5868] ppid=5848 vsize=26538700 memory=1928 CPUtime=0 cores=0-7
/proc/5850/task/5868/stat : 5868 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146038720 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840642333536 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5869] ppid=5848 vsize=26538700 memory=1384 CPUtime=0.98 cores=0-7
/proc/5850/task/5869/stat : 5869 (java) S 5848 5848 1768 0 -1 1077944384 2686 0 0 0 98 0 0 0 20 0 28 0 146038720 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840641280816 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6078] ppid=5848 vsize=26538700 memory=568260 CPUtime=2482.77 cores=0-7
/proc/5850/task/6078/stat : 6078 (java) R 5848 5848 1768 0 -1 4202560 2606 0 0 0 248276 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840630111496 139842415206292 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6079] ppid=5848 vsize=26538700 memory=7284 CPUtime=2475.25 cores=0-7
/proc/5850/task/6079/stat : 6079 (java) R 5848 5848 1768 0 -1 4202560 1728 0 0 0 247524 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840625901816 139842415206579 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6080] ppid=5848 vsize=26538700 memory=1384 CPUtime=2480.96 cores=0-7
/proc/5850/task/6080/stat : 6080 (java) R 5848 5848 1768 0 -1 4202560 5949 0 0 0 248092 4 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840626953848 139842413519766 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6081] ppid=5848 vsize=26538700 memory=0 CPUtime=2480.93 cores=0-7
/proc/5850/task/6081/stat : 6081 (java) R 5848 5848 1768 0 -1 4202560 15911 0 0 0 248071 22 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840632216832 139842412856256 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6082] ppid=5848 vsize=26538700 memory=92 CPUtime=2463.28 cores=0-7
/proc/5850/task/6082/stat : 6082 (java) R 5848 5848 1768 0 -1 4202560 4305 0 0 0 246326 2 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840628006616 139842412856277 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6083] ppid=5848 vsize=26538700 memory=175 CPUtime=2478 cores=0-7
/proc/5850/task/6083/stat : 6083 (java) R 5848 5848 1768 0 -1 4202560 6177 0 0 0 247793 7 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840633272496 139842413519227 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6084] ppid=5848 vsize=26538700 memory=687 CPUtime=2482.97 cores=0-7
/proc/5850/task/6084/stat : 6084 (java) R 5848 5848 1768 0 -1 4202560 1862 0 0 0 248295 2 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840631165048 139842408242326 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6085] ppid=5848 vsize=26538700 memory=1008 CPUtime=2469.61 cores=0-7
/proc/5850/task/6085/stat : 6085 (java) R 5848 5848 1768 0 -1 4202560 3259 0 0 0 246960 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840629059544 139842408242300 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
Current children cumulated CPU time: 19948 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 569644 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.01 8.21 8.29 9/207 6141
/proc/meminfo: memFree=26652696/32770624 swapFree=67108860/67108860
[pid=5848] ppid=5845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5848/stat : 5848 (xcsp3-exec) S 5845 5848 1768 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146038713 9740288 346 33554432000 4194304 5098028 140728431744096 140728431742200 140480229028476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39960576 140728431752293 140728431752503 140728431752503 140728431755243 0
/proc/5848/statm: 2378 346 289 221 0 87 0
[pid=5850] ppid=5848 vsize=26538700 memory=568260 CPUtime=20089.3 cores=0-7
/proc/5850/stat : 5850 (java) S 5848 5848 1768 0 -1 1077944320 123984 0 0 0 2008826 107 0 0 20 0 28 0 146038714 27175628800 142065 33554432000 4194304 4196468 140726284627632 140726284610176 139842781863671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
/proc/5850/statm: 6634675 142065 3284 1 0 6621909 0
[pid=5850/tid=5851] ppid=5848 vsize=26538700 memory=8112282956445269571 CPUtime=0.97 cores=0-7
/proc/5850/task/5851/stat : 5851 (java) S 5848 5848 1768 0 -1 1077944384 6884 0 0 0 93 4 0 0 20 0 28 0 146038714 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842786104448 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5852] ppid=5848 vsize=26538700 memory=4872558044660077418 CPUtime=0.16 cores=0-7
/proc/5850/task/5852/stat : 5852 (java) S 5848 5848 1768 0 -1 1077944384 818 0 0 0 12 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842734484368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5853] ppid=5848 vsize=26538700 memory=4384 CPUtime=0.16 cores=0-7
/proc/5850/task/5853/stat : 5853 (java) S 5848 5848 1768 0 -1 1077944384 872 0 0 0 12 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842733431568 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5854] ppid=5848 vsize=26538700 memory=1692 CPUtime=0.15 cores=0-7
/proc/5850/task/5854/stat : 5854 (java) S 5848 5848 1768 0 -1 1077944384 727 0 0 0 11 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842732379280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5855] ppid=5848 vsize=26538700 memory=916 CPUtime=0.14 cores=0-7
/proc/5850/task/5855/stat : 5855 (java) S 5848 5848 1768 0 -1 1077944384 836 0 0 0 10 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842731326480 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5856] ppid=5848 vsize=26538700 memory=4116 CPUtime=0.14 cores=0-7
/proc/5850/task/5856/stat : 5856 (java) S 5848 5848 1768 0 -1 1077944384 1473 0 0 0 10 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842730273168 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5857] ppid=5848 vsize=26538700 memory=1384 CPUtime=0.15 cores=0-7
/proc/5850/task/5857/stat : 5857 (java) S 5848 5848 1768 0 -1 1077944384 2094 0 0 0 11 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842729220368 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5858] ppid=5848 vsize=26538700 memory=568260 CPUtime=0.16 cores=0-7
/proc/5850/task/5858/stat : 5858 (java) S 5848 5848 1768 0 -1 1077944384 1317 0 0 0 12 4 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842728168080 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5859] ppid=5848 vsize=26538700 memory=4616 CPUtime=0.16 cores=0-7
/proc/5850/task/5859/stat : 5859 (java) S 5848 5848 1768 0 -1 1077944384 2210 0 0 0 11 5 0 0 20 0 28 0 146038715 27175628800 142065 33554432000 4194304 4196468 140726284627632 139842727115280 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5860] ppid=5848 vsize=26538700 memory=1228 CPUtime=0.1 cores=0-7
/proc/5850/task/5860/stat : 5860 (java) S 5848 5848 1768 0 -1 1077944384 4281 0 0 0 7 3 0 0 20 0 28 0 146038716 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840986757744 139842781874818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5861] ppid=5848 vsize=26538700 memory=11108 CPUtime=0 cores=0-7
/proc/5850/task/5861/stat : 5861 (java) S 5848 5848 1768 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 146038717 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840985703776 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5862] ppid=5848 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/5850/task/5862/stat : 5862 (java) S 5848 5848 1768 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 146038717 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840984651392 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5863] ppid=5848 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/5850/task/5863/stat : 5863 (java) S 5848 5848 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840983599696 139842781882267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5864] ppid=5848 vsize=26538700 memory=15876 CPUtime=1.93 cores=0-7
/proc/5850/task/5864/stat : 5864 (java) S 5848 5848 1768 0 -1 1077944384 12990 0 0 0 190 3 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840982546544 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5865] ppid=5848 vsize=26538700 memory=4132 CPUtime=2.17 cores=0-7
/proc/5850/task/5865/stat : 5865 (java) S 5848 5848 1768 0 -1 1077944384 11949 0 0 0 215 2 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840645490672 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5866] ppid=5848 vsize=26538700 memory=40564 CPUtime=2.15 cores=0-7
/proc/5850/task/5866/stat : 5866 (java) S 5848 5848 1768 0 -1 1077944384 15332 0 0 0 212 3 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840644438384 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5867] ppid=5848 vsize=26538700 memory=1296 CPUtime=0.83 cores=0-7
/proc/5850/task/5867/stat : 5867 (java) S 5848 5848 1768 0 -1 1077944384 12433 0 0 0 80 3 0 0 20 0 28 0 146038719 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840643385584 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5868] ppid=5848 vsize=26538700 memory=2408 CPUtime=0 cores=0-7
/proc/5850/task/5868/stat : 5868 (java) S 5848 5848 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146038720 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840642333536 139842781873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=5869] ppid=5848 vsize=26538700 memory=1728 CPUtime=0.98 cores=0-7
/proc/5850/task/5869/stat : 5869 (java) S 5848 5848 1768 0 -1 1077944384 2686 0 0 0 98 0 0 0 20 0 28 0 146038720 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840641280816 139842781874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6078] ppid=5848 vsize=26538700 memory=1720 CPUtime=2500.48 cores=0-7
/proc/5850/task/6078/stat : 6078 (java) R 5848 5848 1768 0 -1 4202560 2612 0 0 0 250047 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840630111496 139842415206292 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6079] ppid=5848 vsize=26538700 memory=1008 CPUtime=2492.95 cores=0-7
/proc/5850/task/6079/stat : 6079 (java) R 5848 5848 1768 0 -1 4202560 1736 0 0 0 249294 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840625901816 139842412856324 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6080] ppid=5848 vsize=26538700 memory=1928 CPUtime=2498.66 cores=0-7
/proc/5850/task/6080/stat : 6080 (java) R 5848 5848 1768 0 -1 4202560 5954 0 0 0 249862 4 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840626953848 139842408242300 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6081] ppid=5848 vsize=26538700 memory=1200 CPUtime=2498.63 cores=0-7
/proc/5850/task/6081/stat : 6081 (java) R 5848 5848 1768 0 -1 4202560 15923 0 0 0 249841 22 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840632216832 139842413519140 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6082] ppid=5848 vsize=26538700 memory=8660 CPUtime=2480.63 cores=0-7
/proc/5850/task/6082/stat : 6082 (java) R 5848 5848 1768 0 -1 4202560 4306 0 0 0 248061 2 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840628006616 139842413519120 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6083] ppid=5848 vsize=26538700 memory=5784 CPUtime=2495.7 cores=0-7
/proc/5850/task/6083/stat : 6083 (java) R 5848 5848 1768 0 -1 4202560 6201 0 0 0 249563 7 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840633272496 139842408242311 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6084] ppid=5848 vsize=26538700 memory=4616 CPUtime=2500.68 cores=0-7
/proc/5850/task/6084/stat : 6084 (java) R 5848 5848 1768 0 -1 4202560 1865 0 0 0 250066 2 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840631165048 139842413519227 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
[pid=5850/tid=6085] ppid=5848 vsize=26538700 memory=1228 CPUtime=2487.32 cores=0-7
/proc/5850/task/6085/stat : 6085 (java) R 5848 5848 1768 0 -1 4202560 3266 0 0 0 248731 1 0 0 20 0 28 0 146040563 27175628800 142065 33554432000 4194304 4196468 140726284627632 139840629059544 139842413519422 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13524992 140726284629138 140726284629315 140726284629315 140726284632015 0
Current children cumulated CPU time: 20089.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 569644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 5848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001965 s
[startup+2520.13 s]
# the end of solver process 5850 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20089.1 s, system=1.08771 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): 2520.13
CPU time (s): 20090.2
CPU user time (s): 20089.1
CPU system time (s): 1.08771
CPU usage (%): 797.191
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 676120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20089.1
system time used= 1.08771
maximum resident set size= 685936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62724
involuntary context switches= 201677
# summary of solver processes directly reported to runsolver:
# pid: 5848,5850
# total CPU time (s): 20090.2
# total CPU user time (s): 20089.1
# total CPU system time (s): 1.08771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 30.6654 second user time and 19.8328 second system time
The end
Begin job on node115 at 2017-08-19 09:44:11 IDJOB=4280318 IDBENCH=124189 IDSOLVER=2675 FILE ID=node115/4280318-1503129511 RUNJOBID= node115-1503120994-1795 PBS_JOBID= 20630771 Free space on /tmp= 61868 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-4280318-1503129511/watcher-4280318-1503129511 -o /tmp/evaluation-result-4280318-1503129511/solver-4280318-1503129511 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503120994-1795 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 331009045 HOME/instance-4280318-1503129511.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=331009045 node115.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.69 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.69 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.69 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.69 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: 27206496 kB MemAvailable: 31971736 kB Buffers: 238748 kB Cached: 4820060 kB SwapCached: 0 kB Active: 889476 kB Inactive: 4224352 kB Active(anon): 6236 kB Inactive(anon): 85176 kB Active(file): 883240 kB Inactive(file): 4139176 kB Unevictable: 7056 kB Mlocked: 7056 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7792 kB Writeback: 0 kB AnonPages: 62248 kB Mapped: 50624 kB Shmem: 33416 kB Slab: 144116 kB SReclaimable: 117320 kB SUnreclaim: 26796 kB KernelStack: 3200 kB PageTables: 4400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-19 10:26:12