Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 3154 | 2400.15 | 2347.04 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml |
MD5SUM | 22a404b8d6219eda7de384223800de36 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1093 |
Best CPU time to get the best result obtained on this benchmark | 2400.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4556 |
Number of constraints | 4488 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}] |
Minimum variable degree | 0 |
Maximum variable degree | 131 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 66 |
Distribution of constraint arities | [{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 66 |
Distribution of constraint types | [{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}] |
Optimization problem | YES |
Type of objective | min SUM |
0.42/0.31 c version: 2017-06-30 0.42/0.31 c seed: 104841369 0.42/0.31 c timeout: 2400 0.42/0.31 c memlimit: 15500 0.42/0.31 c nbcore: 8 0.42/0.34 c Parsing instance... 4.71/1.54 c Parsing done, starting search... 5.14/1.67 o 3556 5.14/1.69 o 3552 5.54/1.71 o 3551 5.54/1.73 o 3536 5.54/1.77 o 3496 5.54/1.78 o 3479 5.54/1.80 o 3478 5.97/1.82 o 3477 5.97/1.84 o 3474 5.97/1.85 o 3461 5.97/1.89 o 3419 6.41/1.90 o 3412 6.41/1.91 o 3390 6.41/1.93 o 3382 6.41/1.98 o 3381 6.81/2.02 o 3376 6.81/2.04 o 3360 6.81/2.06 o 3351 7.22/2.10 o 3349 7.22/2.12 o 3348 7.22/2.13 o 3347 7.22/2.15 o 3345 7.22/2.17 o 3343 7.22/2.19 o 3342 7.22/2.20 o 3336 7.65/2.21 o 3335 7.65/2.22 o 3329 7.65/2.30 o 3328 7.65/2.31 o 3326 8.35/2.67 o 3321 8.64/2.78 o 3317 8.74/2.84 o 3314 8.74/2.85 o 3310 8.86/2.98 o 3300 9.01/3.00 o 3294 9.01/3.03 o 3293 9.22/3.24 o 3291 9.86/3.83 o 3290 9.86/3.85 o 3286 9.86/3.86 o 3284 30.97/24.14 o 3269 31.37/24.59 o 3268 38.82/32.00 o 3266 39.60/32.58 o 3265 39.70/32.61 o 3264 72.08/64.96 o 3261 72.08/64.96 o 3259 72.08/65.00 o 3251 85.01/77.81 o 3250 85.01/77.87 o 3249 135.49/128.26 o 3242 135.59/128.36 o 3238 138.72/131.43 o 3236 201.39/193.90 o 3231 201.49/194.07 o 3229 217.37/209.86 o 3228 217.37/209.88 o 3223 295.58/287.52 o 3222 301.46/293.30 o 3221 301.46/293.32 o 3219 302.98/294.89 o 3216 324.39/316.09 o 3212 326.02/317.66 o 3207 343.82/335.17 o 3206 343.94/335.25 o 3203 344.44/335.71 o 3201 842.56/822.90 o 3190 842.68/822.91 o 3189 845.46/825.70 o 3188 845.56/825.70 o 3187 881.83/861.23 o 3184 886.66/865.93 o 3175 892.95/872.09 o 3174 1287.68/1258.35 o 3170 1287.68/1258.36 o 3169 1749.81/1710.96 o 3165 1754.00/1715.02 o 3164 1759.39/1720.25 o 3160 1761.23/1722.09 o 3156 1992.74/1948.62 o 3154 2400.06/2347.00 s SATISFIABLE 2400.06/2347.01 v <instantiation> 2400.06/2347.01 v <list> 2400.06/2347.01 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] 2400.06/2347.02 v </list> 2400.06/2347.02 v <values> 2400.06/2347.02 v 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 85 10 74 23 100 64 100 100 22 90 43 99 64 65 54 54 74 33 56 46 69 72 77 32 100 46 53 81 100 100 95 74 49 93 100 63 17 49 57 56 72 4 46 80 46 85 18 72 82 93 33 74 100 60 97 28 85 53 32 60 88 48 100 73 100 2400.06/2347.02 v </values> 2400.06/2347.02 v </instantiation>
OK 3154
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246306-1500709510/watcher-4246306-1500709510 -o /tmp/evaluation-result-4246306-1500709510/solver-4246306-1500709510 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8490 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 104841369 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246306-1500709510.xml pid=13070 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.37 1.40 1.40 3/261 13073 /proc/meminfo: memFree=31634416/32770624 swapFree=5752/139148 [pid=13073] ppid=13070 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 1890 0 0 0 0 0 0 0 20 0 2 0 6218379 10889764864 1610 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 2658634 1610 1179 1 0 2647545 0 [pid=13073/tid=13074] ppid=13070 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 673 0 0 0 0 0 0 0 20 0 2 0 6218379 10889764864 1742 33554432000 4194304 4196468 140733562002880 139784919271840 139784907319200 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [startup+0.100062 s] /proc/loadavg: 1.37 1.40 1.40 3/261 13073 /proc/meminfo: memFree=31634416/32770624 swapFree=5752/139148 [pid=13073] ppid=13070 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 5480 0 0 0 8 1 0 0 20 0 20 0 6218379 13582725120 6026 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3316095 6092 3224 1 0 3303815 0 [pid=13073/tid=13074] ppid=13070 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 3558 0 0 0 7 1 0 0 20 0 20 0 6218379 13582725120 6092 33554432000 4194304 4196468 140733562002880 139784919272032 139784804446070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200328 s] /proc/loadavg: 1.37 1.40 1.40 3/261 13073 /proc/meminfo: memFree=31634416/32770624 swapFree=5752/139148 [pid=13073] ppid=13070 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 8735 0 0 0 24 2 0 0 20 0 20 0 6218379 13582245888 8700 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3315978 8700 3511 1 0 3303698 0 [pid=13073/tid=13074] ppid=13070 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 6448 0 0 0 17 1 0 0 20 0 20 0 6218379 13582245888 8700 33554432000 4194304 4196468 140733562002880 139784919257264 139784915051677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300367 s] /proc/loadavg: 1.37 1.40 1.40 3/261 13073 /proc/meminfo: memFree=31634416/32770624 swapFree=5752/139148 [pid=13073] ppid=13070 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 9777 0 0 0 40 2 0 0 20 0 20 0 6218379 13582245888 10410 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3315978 10410 3610 1 0 3303698 0 [pid=13073/tid=13074] ppid=13070 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 7177 0 0 0 26 2 0 0 20 0 20 0 6218379 13582245888 10410 33554432000 4194304 4196468 140733562002880 139784919252336 139784915051677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700223 s] /proc/loadavg: 1.37 1.40 1.40 3/261 13073 /proc/meminfo: memFree=31634416/32770624 swapFree=5752/139148 [pid=13073] ppid=13070 vsize=13265980 CPUtime=1.51 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 12567 0 0 0 146 5 0 0 20 0 20 0 6218379 13584363520 20452 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3316495 20452 3762 1 0 3304210 0 [pid=13073/tid=13074] ppid=13070 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 8458 0 0 0 64 3 0 0 20 0 20 0 6218379 13584363520 20452 33554432000 4194304 4196468 140733562002880 139784919264016 139784915041686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 13265980 [startup+1.50074 s] /proc/loadavg: 1.37 1.40 1.40 3/281 13093 /proc/meminfo: memFree=31507084/32770624 swapFree=5752/139164 [pid=13073] ppid=13070 vsize=13268028 CPUtime=4.71 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 27813 0 0 0 456 15 0 0 20 0 20 0 6218379 13586460672 55660 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3317007 55660 3802 1 0 3304722 0 [pid=13073/tid=13074] ppid=13070 vsize=13268028 CPUtime=1.45 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) S 13070 13073 7995 0 -1 1077944384 11661 0 0 0 140 5 0 0 20 0 20 0 6218379 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784919260464 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13076] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13076/stat : 13076 (java) R 13070 13073 7995 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784514632800 139784900056621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13077] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13077/stat : 13077 (java) R 13070 13073 7995 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784513577696 139784900057634 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13078] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13078/stat : 13078 (java) R 13070 13073 7995 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784512527320 139784900057607 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13079] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13079/stat : 13079 (java) R 13070 13073 7995 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784511474776 139784900057598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13080] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13080/stat : 13080 (java) R 13070 13073 7995 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784510421720 139784900057625 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13081] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13081/stat : 13081 (java) R 13070 13073 7995 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784509369176 139784908129598 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13082] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13082/stat : 13082 (java) R 13070 13073 7995 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784508313720 139784900057643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13083] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13083/stat : 13083 (java) R 13070 13073 7995 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 20 0 6218380 13586460672 55660 33554432000 4194304 4196468 140733562002880 139784507263264 139784899477966 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13084] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13084/stat : 13084 (java) S 13070 13073 7995 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 6218383 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783975249184 139784915039957 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13085] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13085/stat : 13085 (java) S 13070 13073 7995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6218383 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783974196896 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13086] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13086/stat : 13086 (java) S 13070 13073 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6218384 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783973143792 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13087] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13087/stat : 13087 (java) S 13070 13073 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783972092368 139784915048347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13088] ppid=13070 vsize=13268028 CPUtime=0.82 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13088/stat : 13088 (java) R 13070 13073 7995 0 -1 4202560 3724 0 0 0 81 1 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783971020488 139784896573850 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13089] ppid=13070 vsize=13268028 CPUtime=0.77 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13089/stat : 13089 (java) S 13070 13073 7995 0 -1 1077944384 3118 0 0 0 76 1 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783969978032 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13090] ppid=13070 vsize=13268028 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13090/stat : 13090 (java) R 13070 13073 7995 0 -1 4202560 3197 0 0 0 81 0 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783968914888 139784898528620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13091] ppid=13070 vsize=13268028 CPUtime=0.72 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13091/stat : 13091 (java) S 13070 13073 7995 0 -1 1077944384 4379 0 0 0 71 1 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783967881328 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13092] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13092/stat : 13092 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783966829536 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13093] ppid=13070 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13093/stat : 13093 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13586460672 55660 33554432000 4194304 4196468 140733562002880 139783965777072 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 13268028 [startup+3.10076 s] /proc/loadavg: 1.37 1.40 1.40 5/281 13093 /proc/meminfo: memFree=31399620/32770624 swapFree=5752/139164 [pid=13073] ppid=13070 vsize=13270076 CPUtime=9.12 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 34621 0 0 0 881 31 0 0 20 0 20 0 6218379 13588557824 69721 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3317519 69721 3828 1 0 3305234 0 [pid=13073/tid=13074] ppid=13070 vsize=13270076 CPUtime=3 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 12203 0 0 0 294 6 0 0 20 0 20 0 6218379 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784919267640 139784562368787 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13076] ppid=13070 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13076/stat : 13076 (java) S 13070 13073 7995 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784514632720 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13077] ppid=13070 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13077/stat : 13077 (java) S 13070 13073 7995 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784513580176 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13078] ppid=13070 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13078/stat : 13078 (java) S 13070 13073 7995 0 -1 1077944384 1048 0 0 0 3 2 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784512527120 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13079] ppid=13070 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13079/stat : 13079 (java) S 13070 13073 7995 0 -1 1077944384 52 0 0 0 3 3 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784511474576 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13080] ppid=13070 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13080/stat : 13080 (java) S 13070 13073 7995 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784510421520 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13081] ppid=13070 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13081/stat : 13081 (java) S 13070 13073 7995 0 -1 1077944384 34 0 0 0 3 2 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784509368976 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13082] ppid=13070 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13082/stat : 13082 (java) S 13070 13073 7995 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784508315920 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13083] ppid=13070 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13083/stat : 13083 (java) S 13070 13073 7995 0 -1 1077944384 109 0 0 0 2 1 0 0 20 0 20 0 6218380 13588557824 69721 33554432000 4194304 4196468 140733562002880 139784507263376 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13084] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13084/stat : 13084 (java) S 13070 13073 7995 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 6218383 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783975250672 139784915040898 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13085] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13085/stat : 13085 (java) S 13070 13073 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6218383 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783974196960 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13086] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13086/stat : 13086 (java) S 13070 13073 7995 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6218384 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783973143808 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13087] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13087/stat : 13087 (java) S 13070 13073 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783972092368 139784915048347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13088] ppid=13070 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13088/stat : 13088 (java) S 13070 13073 7995 0 -1 1077944384 4912 0 0 0 158 1 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783971039472 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13089] ppid=13070 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13089/stat : 13089 (java) S 13070 13073 7995 0 -1 1077944384 4909 0 0 0 146 1 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783969986928 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13090] ppid=13070 vsize=13270076 CPUtime=1.71 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13090/stat : 13090 (java) S 13070 13073 7995 0 -1 1077944384 4363 0 0 0 171 0 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783968933872 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13091] ppid=13070 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13091/stat : 13091 (java) S 13070 13073 7995 0 -1 1077944384 5096 0 0 0 86 1 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783967881328 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13092] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13092/stat : 13092 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783966829536 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13093] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13093/stat : 13093 (java) S 13070 13073 7995 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 69721 33554432000 4194304 4196468 140733562002880 139783965777072 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 9.12 Current children cumulated vsize (KiB) 13270076 [startup+6.30079 s] /proc/loadavg: 1.34 1.39 1.40 3/281 13093 /proc/meminfo: memFree=31273352/32770624 swapFree=5752/139176 [pid=13073] ppid=13070 vsize=13270076 CPUtime=12.51 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 35298 0 0 0 1211 40 0 0 20 0 20 0 6218379 13588557824 102084 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3317519 102084 3829 1 0 3305234 0 [pid=13073/tid=13074] ppid=13070 vsize=13270076 CPUtime=6.16 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 12602 0 0 0 609 7 0 0 20 0 20 0 6218379 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784919268064 139784562341463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13076] ppid=13070 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13076/stat : 13076 (java) S 13070 13073 7995 0 -1 1077944384 62 0 0 0 4 3 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784514632720 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13077] ppid=13070 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13077/stat : 13077 (java) S 13070 13073 7995 0 -1 1077944384 68 0 0 0 4 3 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784513580176 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13078] ppid=13070 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13078/stat : 13078 (java) S 13070 13073 7995 0 -1 1077944384 1068 0 0 0 4 3 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784512527120 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13079] ppid=13070 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13079/stat : 13079 (java) S 13070 13073 7995 0 -1 1077944384 71 0 0 0 4 4 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784511474576 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13080] ppid=13070 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13080/stat : 13080 (java) S 13070 13073 7995 0 -1 1077944384 66 0 0 0 3 4 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784510421520 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13081] ppid=13070 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13081/stat : 13081 (java) S 13070 13073 7995 0 -1 1077944384 42 0 0 0 4 2 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784509368976 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13082] ppid=13070 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13082/stat : 13082 (java) S 13070 13073 7995 0 -1 1077944384 87 0 0 0 5 3 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784508315920 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13083] ppid=13070 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13083/stat : 13083 (java) S 13070 13073 7995 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 20 0 6218380 13588557824 102084 33554432000 4194304 4196468 140733562002880 139784507263376 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13084] ppid=13070 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13084/stat : 13084 (java) S 13070 13073 7995 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 6218383 13588557824 102084 33554432000 4194304 4196468 140733562002880 139783975250672 139784915040898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13085] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13085/stat : 13085 (java) S 13070 13073 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6218383 13588557824 102084 33554432000 4194304 4196468 140733562002880 139783974196960 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13086] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13086/stat : 13086 (java) S 13070 13073 7995 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6218384 13588557824 102084 33554432000 4194304 4196468 140733562002880 139783973143808 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13087] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=13073/tid=13089] ppid=13070 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13089/stat : 13089 (java) S 13070 13073 7995 0 -1 1077944384 6548 0 0 0 151 1 0 0 20 0 20 0 6218388 13588557824 331611 33554432000 4194304 4196468 140733562002880 139783969986928 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13090] ppid=13070 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13090/stat : 13090 (java) S 13070 13073 7995 0 -1 1077944384 5504 0 0 0 175 1 0 0 20 0 20 0 6218388 13588557824 331611 33554432000 4194304 4196468 140733562002880 139783968933872 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13091] ppid=13070 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13091/stat : 13091 (java) S 13070 13073 7995 0 -1 1077944384 9140 0 0 0 89 1 0 0 20 0 20 0 6218388 13588557824 331611 33554432000 4194304 4196468 140733562002880 139783967881328 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13092] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13092/stat : 13092 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 331611 33554432000 4194304 4196468 140733562002880 139783966829536 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13093] ppid=13070 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13093/stat : 13093 (java) S 13070 13073 7995 0 -1 1077944384 1209 0 0 0 62 59 0 0 20 0 20 0 6218388 13588557824 331611 33554432000 4194304 4196468 140733562002880 139783965777072 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 2252.14 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.30 1.44 1.46 3/281 13271 /proc/meminfo: memFree=30282816/32770624 swapFree=5752/141048 [pid=13073] ppid=13070 vsize=13270076 CPUtime=2313.33 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 171103 0 0 0 230962 371 0 0 20 0 20 0 6218379 13588557824 332635 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3317519 332635 3833 1 0 3305234 0 [pid=13073/tid=13074] ppid=13070 vsize=13270076 CPUtime=2249.62 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 54351 0 0 0 224930 32 0 0 20 0 20 0 6218379 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784919268192 139784553836976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13076] ppid=13070 vsize=13270076 CPUtime=6.64 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13076/stat : 13076 (java) S 13070 13073 7995 0 -1 1077944384 7836 0 0 0 629 35 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784514632720 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13077] ppid=13070 vsize=13270076 CPUtime=6.73 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13077/stat : 13077 (java) S 13070 13073 7995 0 -1 1077944384 7825 0 0 0 639 34 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784513580176 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13078] ppid=13070 vsize=13270076 CPUtime=6.57 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13078/stat : 13078 (java) S 13070 13073 7995 0 -1 1077944384 7754 0 0 0 622 35 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784512527120 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13079] ppid=13070 vsize=13270076 CPUtime=6.64 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13079/stat : 13079 (java) S 13070 13073 7995 0 -1 1077944384 7937 0 0 0 629 35 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784511474576 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13080] ppid=13070 vsize=13270076 CPUtime=6.78 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13080/stat : 13080 (java) S 13070 13073 7995 0 -1 1077944384 8523 0 0 0 642 36 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784510421520 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13081] ppid=13070 vsize=13270076 CPUtime=6.7 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13081/stat : 13081 (java) S 13070 13073 7995 0 -1 1077944384 8240 0 0 0 634 36 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784509368976 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13082] ppid=13070 vsize=13270076 CPUtime=6.75 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13082/stat : 13082 (java) S 13070 13073 7995 0 -1 1077944384 11656 0 0 0 638 37 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784508315920 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13083] ppid=13070 vsize=13270076 CPUtime=6.67 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13083/stat : 13083 (java) S 13070 13073 7995 0 -1 1077944384 9108 0 0 0 633 34 0 0 20 0 20 0 6218380 13588557824 332635 33554432000 4194304 4196468 140733562002880 139784507263376 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13084] ppid=13070 vsize=13270076 CPUtime=2.95 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13084/stat : 13084 (java) S 13070 13073 7995 0 -1 1077944384 15526 0 0 0 272 23 0 0 20 0 20 0 6218383 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783975250672 139784915040898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13085] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13085/stat : 13085 (java) S 13070 13073 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6218383 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783974196960 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13086] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13086/stat : 13086 (java) S 13070 13073 7995 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6218384 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783973143808 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13087] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13087/stat : 13087 (java) S 13070 13073 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783972092368 139784915048347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13088] ppid=13070 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13088/stat : 13088 (java) S 13070 13073 7995 0 -1 1077944384 8491 0 0 0 167 1 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783971039472 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13089] ppid=13070 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13089/stat : 13089 (java) S 13070 13073 7995 0 -1 1077944384 6552 0 0 0 151 1 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783969986928 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13090] ppid=13070 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13090/stat : 13090 (java) S 13070 13073 7995 0 -1 1077944384 5508 0 0 0 175 1 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783968933872 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13091] ppid=13070 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13091/stat : 13091 (java) S 13070 13073 7995 0 -1 1077944384 9144 0 0 0 89 1 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783967881328 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13092] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13092/stat : 13092 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783966829536 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13093] ppid=13070 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13093/stat : 13093 (java) S 13070 13073 7995 0 -1 1077944384 1232 0 0 0 64 61 0 0 20 0 20 0 6218388 13588557824 332635 33554432000 4194304 4196468 140733562002880 139783965777072 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 2313.33 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.51 1.46 1.46 3/281 13272 /proc/meminfo: memFree=30278656/32770624 swapFree=5752/141092 [pid=13073] ppid=13070 vsize=13270076 CPUtime=2374.68 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 173387 0 0 0 237090 378 0 0 20 0 20 0 6218379 13588557824 333147 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3317519 333147 3833 1 0 3305234 0 [pid=13073/tid=13074] ppid=13070 vsize=13270076 CPUtime=2309.24 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 55376 0 0 0 230891 33 0 0 20 0 20 0 6218379 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784919268096 139784562341255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13076] ppid=13070 vsize=13270076 CPUtime=6.85 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13076/stat : 13076 (java) S 13070 13073 7995 0 -1 1077944384 7859 0 0 0 649 36 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784514632720 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13077] ppid=13070 vsize=13270076 CPUtime=6.93 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13077/stat : 13077 (java) S 13070 13073 7995 0 -1 1077944384 7918 0 0 0 658 35 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784513580176 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13078] ppid=13070 vsize=13270076 CPUtime=6.77 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13078/stat : 13078 (java) S 13070 13073 7995 0 -1 1077944384 7950 0 0 0 642 35 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784512527120 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13079] ppid=13070 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13079/stat : 13079 (java) S 13070 13073 7995 0 -1 1077944384 8185 0 0 0 648 35 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784511474576 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13080] ppid=13070 vsize=13270076 CPUtime=6.98 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13080/stat : 13080 (java) S 13070 13073 7995 0 -1 1077944384 8549 0 0 0 661 37 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784510421520 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13081] ppid=13070 vsize=13270076 CPUtime=6.88 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13081/stat : 13081 (java) S 13070 13073 7995 0 -1 1077944384 8345 0 0 0 651 37 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784509368976 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13082] ppid=13070 vsize=13270076 CPUtime=6.97 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13082/stat : 13082 (java) S 13070 13073 7995 0 -1 1077944384 11796 0 0 0 659 38 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784508315920 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13083] ppid=13070 vsize=13270076 CPUtime=6.88 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13083/stat : 13083 (java) S 13070 13073 7995 0 -1 1077944384 9141 0 0 0 653 35 0 0 20 0 20 0 6218380 13588557824 333147 33554432000 4194304 4196468 140733562002880 139784507263376 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13084] ppid=13070 vsize=13270076 CPUtime=3.05 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13084/stat : 13084 (java) S 13070 13073 7995 0 -1 1077944384 15879 0 0 0 281 24 0 0 20 0 20 0 6218383 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783975250672 139784915040898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13085] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13085/stat : 13085 (java) S 13070 13073 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6218383 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783974196960 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13086] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13086/stat : 13086 (java) S 13070 13073 7995 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6218384 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783973143808 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13087] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13087/stat : 13087 (java) S 13070 13073 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783972092368 139784915048347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13088] ppid=13070 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13088/stat : 13088 (java) S 13070 13073 7995 0 -1 1077944384 8495 0 0 0 167 1 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783971039472 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13089] ppid=13070 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13089/stat : 13089 (java) S 13070 13073 7995 0 -1 1077944384 6556 0 0 0 151 1 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783969986928 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13090] ppid=13070 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13090/stat : 13090 (java) S 13070 13073 7995 0 -1 1077944384 5512 0 0 0 175 1 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783968933872 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13091] ppid=13070 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13091/stat : 13091 (java) S 13070 13073 7995 0 -1 1077944384 9148 0 0 0 89 1 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783967881328 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13092] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13092/stat : 13092 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783966829536 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13093] ppid=13070 vsize=13270076 CPUtime=1.28 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13093/stat : 13093 (java) S 13070 13073 7995 0 -1 1077944384 1258 0 0 0 65 63 0 0 20 0 20 0 6218388 13588557824 333147 33554432000 4194304 4196468 140733562002880 139783965777072 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 2374.68 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2347 s] /proc/loadavg: 1.63 1.49 1.47 3/281 13272 /proc/meminfo: memFree=30274880/32770624 swapFree=5752/141108 [pid=13073] ppid=13070 vsize=13270076 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/13073/stat : 13073 (java) S 13070 13073 7995 0 -1 1077944320 174179 0 0 0 239625 381 0 0 20 0 20 0 6218379 13588557824 333659 33554432000 4194304 4196468 140733562002880 140733561985424 139784915029751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 /proc/13073/statm: 3317519 333659 3833 1 0 3305234 0 [pid=13073/tid=13074] ppid=13070 vsize=13270076 CPUtime=2333.76 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13074/stat : 13074 (java) R 13070 13073 7995 0 -1 4202560 55605 0 0 0 233343 33 0 0 20 0 20 0 6218379 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784919268192 139784562341049 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13076] ppid=13070 vsize=13270076 CPUtime=6.95 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13076/stat : 13076 (java) S 13070 13073 7995 0 -1 1077944384 8068 0 0 0 658 37 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784514632720 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13077] ppid=13070 vsize=13270076 CPUtime=7.04 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13077/stat : 13077 (java) S 13070 13073 7995 0 -1 1077944384 7928 0 0 0 669 35 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784513580176 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13078] ppid=13070 vsize=13270076 CPUtime=6.87 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13078/stat : 13078 (java) S 13070 13073 7995 0 -1 1077944384 7984 0 0 0 651 36 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784512527120 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13079] ppid=13070 vsize=13270076 CPUtime=6.94 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13079/stat : 13079 (java) S 13070 13073 7995 0 -1 1077944384 8198 0 0 0 658 36 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784511474576 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13080] ppid=13070 vsize=13270076 CPUtime=7.09 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13080/stat : 13080 (java) S 13070 13073 7995 0 -1 1077944384 8586 0 0 0 672 37 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784510421520 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13081] ppid=13070 vsize=13270076 CPUtime=6.96 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13081/stat : 13081 (java) S 13070 13073 7995 0 -1 1077944384 8348 0 0 0 659 37 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784509368976 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13082] ppid=13070 vsize=13270076 CPUtime=7.07 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13082/stat : 13082 (java) S 13070 13073 7995 0 -1 1077944384 11838 0 0 0 669 38 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784508315920 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13083] ppid=13070 vsize=13270076 CPUtime=6.98 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13083/stat : 13083 (java) S 13070 13073 7995 0 -1 1077944384 9160 0 0 0 663 35 0 0 20 0 20 0 6218380 13588557824 333659 33554432000 4194304 4196468 140733562002880 139784507263376 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13084] ppid=13070 vsize=13270076 CPUtime=3.08 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13084/stat : 13084 (java) S 13070 13073 7995 0 -1 1077944384 16063 0 0 0 284 24 0 0 20 0 20 0 6218383 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783975250672 139784915040898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13085] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13085/stat : 13085 (java) S 13070 13073 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6218383 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783974196960 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13086] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13086/stat : 13086 (java) S 13070 13073 7995 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6218384 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783973143808 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13087] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13087/stat : 13087 (java) S 13070 13073 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783972092368 139784915048347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13088] ppid=13070 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13088/stat : 13088 (java) S 13070 13073 7995 0 -1 1077944384 8497 0 0 0 167 1 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783971039472 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13089] ppid=13070 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13089/stat : 13089 (java) S 13070 13073 7995 0 -1 1077944384 6558 0 0 0 151 1 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783969986928 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13090] ppid=13070 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13090/stat : 13090 (java) S 13070 13073 7995 0 -1 1077944384 5514 0 0 0 175 1 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783968933872 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13091] ppid=13070 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13091/stat : 13091 (java) S 13070 13073 7995 0 -1 1077944384 9150 0 0 0 89 1 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783967881328 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13092] ppid=13070 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13092/stat : 13092 (java) S 13070 13073 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783966829536 139784915039957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 [pid=13073/tid=13093] ppid=13070 vsize=13270076 CPUtime=1.29 cores=0,2,4,6,8,10,12,14 /proc/13073/task/13093/stat : 13093 (java) S 13070 13073 7995 0 -1 1077944384 1262 0 0 0 65 64 0 0 20 0 20 0 6218388 13588557824 333659 33554432000 4194304 4196468 140733562002880 139783965777072 139784915040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18255872 140733562008714 140733562008900 140733562008900 140733562011599 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13073 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2347.04 CPU time (s): 2400.15 CPU user time (s): 2396.33 CPU system time (s): 3.82551 CPU usage (%): 102.263 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.33 system time used= 3.82551 maximum resident set size= 1335192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175061 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2624 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 188207 involuntary context switches= 155434 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.6064 second user time and 19.8088 second system time The end
Begin job on node129 at 2017-07-22 09:45:10 IDJOB=4246306 IDBENCH=124400 IDSOLVER=2628 FILE ID=node129/4246306-1500709510 RUNJOBID= node129-1500683388-8490 PBS_JOBID= 20623036 Free space on /tmp= 61944 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246306-1500709510/watcher-4246306-1500709510 -o /tmp/evaluation-result-4246306-1500709510/solver-4246306-1500709510 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8490 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 104841369 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246306-1500709510.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 22a404b8d6219eda7de384223800de36 RANDOM SEED=104841369 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 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 : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31633984 kB MemAvailable: 31804660 kB Buffers: 150564 kB Cached: 291548 kB SwapCached: 0 kB Active: 474508 kB Inactive: 204348 kB Active(anon): 183428 kB Inactive(anon): 64944 kB Active(file): 291080 kB Inactive(file): 139404 kB Unevictable: 5752 kB Mlocked: 5752 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42220 kB Writeback: 0 kB AnonPages: 275352 kB Mapped: 44996 kB Shmem: 8844 kB Slab: 145500 kB SReclaimable: 112052 kB SUnreclaim: 33448 kB KernelStack: 4496 kB PageTables: 6156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1156092 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61904 MiB End job on node129 at 2017-07-22 10:24:17