Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT (TO) | 3415 | 19965 | 2520.1399 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml |
MD5SUM | d46243a0c717d56f47be278be902a17a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1300 |
Best CPU time to get the best result obtained on this benchmark | 2400.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4692 |
Number of constraints | 4623 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}] |
Minimum variable degree | 0 |
Maximum variable degree | 133 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 67 |
Distribution of constraint arities | [{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 67 |
Distribution of constraint types | [{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.22/0.41 c version: 2017-08-22 0.22/0.41 c seed: 60031918 0.22/0.41 c timeout: 20160 0.22/0.41 c memlimit: 22000 0.22/0.41 c nbcore: 8 0.39/0.44 c Parsing instance... 2.67/1.12 c Parsing done, starting search... 22.77/14.25 o 4200 22.77/14.27 o 4095 22.77/14.28 o 4057 23.55/14.33 o 4038 23.55/14.34 o 3849 23.55/14.39 o 3750 24.34/14.43 o 3746 24.34/14.47 o 3740 24.34/14.49 o 3736 25.13/14.55 o 3705 26.74/14.72 o 3700 26.74/14.76 o 3696 26.74/14.79 o 3686 26.74/14.80 o 3685 27.59/14.83 o 3681 27.59/14.85 o 3677 28.36/14.93 o 3675 29.18/15.07 o 3671 29.18/15.11 o 3669 38.62/16.22 o 3667 38.62/16.24 o 3663 39.42/16.31 o 3656 39.42/16.33 o 3652 39.42/16.36 o 3648 39.42/16.38 o 3644 40.21/16.40 o 3634 40.21/16.42 o 3630 44.19/16.93 o 3602 50.56/17.71 o 3597 60.09/18.94 o 3593 204.40/37.05 o 3576 256.17/43.55 o 3539 335.14/53.47 o 3535 335.14/53.48 o 3517 335.97/53.53 o 3504 419.71/64.02 o 3495 622.17/89.43 o 3493 662.05/94.44 o 3470 689.16/97.82 o 3461 6456.51/822.18 o 3445 6457.23/822.20 o 3444 6458.83/822.41 o 3442 6458.83/822.44 o 3441 6459.62/822.51 o 3440 6459.62/822.59 o 3438 6460.45/822.61 o 3437 18496.06/2335.77 o 3415 19964.16/2520.07 s SATISFIABLE 19964.16/2520.09 v <instantiation> 19964.16/2520.09 v <list> 19964.16/2520.09 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[0][67] 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[1][67] 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[2][67] 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[3][67] 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[4][67] 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[5][67] 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[6][67] 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[7][67] 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[8][67] 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[9][67] 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[10][67] 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[11][67] 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[12][67] 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[13][67] 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[14][67] 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[15][67] 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[16][67] 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[17][67] 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[18][67] 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[19][67] 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[20][67] 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[21][67] 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[22][67] 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[23][67] 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[24][67] 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[25][67] 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[26][67] 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[27][67] 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[28][67] 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[29][67] 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[30][67] 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[31][67] 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[32][67] 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[33][67] 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[34][67] 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[35][67] 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[36][67] 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[37][67] 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[38][67] 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[39][67] 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[40][67] 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[41][67] 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[42][67] 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[43][67] 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[44][67] 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[45][67] 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[46][67] 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[47][67] 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[48][67] 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[49][67] 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[50][67] 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[51][67] 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[52][67] 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[53][67] 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[54][67] 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[55][67] 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[56][67] 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[57][67] 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[58][67] 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[59][67] 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[60][67] 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[61][67] 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[62][67] 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[63][67] 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[64][67] 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[65][67] 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] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] 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] u[67] 19964.16/2520.09 v </list> 19964.16/2520.09 v <values> 19964.16/2520.09 v 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 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 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 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 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 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 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 1 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 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 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 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 21 14 45 100 87 41 84 100 53 69 100 43 22 32 8 33 100 44 84 44 46 88 77 100 23 61 36 47 85 92 100 78 52 95 39 74 46 35 67 29 61 50 100 82 76 25 21 60 92 13 23 74 68 65 58 7 65 100 17 77 82 69 44 54 38 100 38 19964.16/2520.09 v </values> 19964.16/2520.09 v </instantiation>
OK 3415
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15445 MiB free) memory of node 1: 16384 MiB (15735 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285061-1503428938/watcher-4285061-1503428938 -o /tmp/evaluation-result-4285061-1503428938/solver-4285061-1503428938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 60031918 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285061-1503428938.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4458, runsolver pid=4455 [startup+0.100152 s]* /proc/loadavg: 1.59 1.94 2.92 1/173 4460 /proc/meminfo: memFree=31929556/32770624 swapFree=67108860/67108860 [pid=4458] ppid=4455 vsize=33976 memory=456 CPUtime=0 cores=0-7 /proc/4458/stat : 4458 (runsolver) D 4455 4458 2337 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 777764 34791424 114 18446744073709551615 4194304 4346622 140733836382960 140733836379592 140067500368599 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 32976896 140733836390466 140733836390947 140733836390947 140733836394442 0 /proc/4458/statm: 8494 114 53 38 0 4205 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 33976 KiB Current children cumulated memory: 456 KiB [startup+0.208965 s]* /proc/loadavg: 1.59 1.94 2.92 1/191 4478 /proc/meminfo: memFree=31918092/32770624 swapFree=67108860/67108860 [pid=4458] ppid=4455 vsize=25997076 memory=25716 CPUtime=0.06 cores=0-7 /proc/4458/stat : 4458 (java) S 4455 4458 2337 0 -1 1077944320 5910 0 0 0 5 1 0 0 20 0 20 0 777764 26621005824 6429 18446744073709551615 4194304 4196468 140723624338336 140723624320880 139812652293879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 12 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 /proc/4458/statm: 6499269 6429 3240 1 0 6488047 0 [pid=4458/tid=4461] ppid=4455 vsize=25997076 memory=4026532046 CPUtime=0.05 cores=0-7 /proc/4458/task/4461/stat : 4461 (java) R 4455 4458 2337 0 -1 4202560 4018 0 0 0 4 1 0 0 20 0 20 0 777776 26621005824 6429 18446744073709551615 4194304 4196468 140723624338336 139812656536160 139812613275203 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4462] ppid=4455 vsize=25997076 memory=11858 CPUtime=0 cores=0-7 /proc/4458/task/4462/stat : 4462 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6429 18446744073709551615 4194304 4196468 140723624338336 139812609260432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4463] ppid=4455 vsize=25997076 memory=140067503321318 CPUtime=0 cores=0-7 /proc/4458/task/4463/stat : 4463 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6429 18446744073709551615 4194304 4196468 140723624338336 139812608207632 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4464] ppid=4455 vsize=25997076 memory=-1 CPUtime=0 cores=0-7 /proc/4458/task/4464/stat : 4464 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6429 18446744073709551615 4194304 4196468 140723624338336 139812607155344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4465] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4465/stat : 4465 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139812606102544 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4466] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4466/stat : 4466 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139812605049232 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4467] ppid=4455 vsize=25997076 memory=-1 CPUtime=0 cores=0-7 /proc/4458/task/4467/stat : 4467 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139812603996432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4468] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4468/stat : 4468 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139812602944144 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4469] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4469/stat : 4469 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139812601891344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4470] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4470/stat : 4470 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777779 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811264387696 139812652305026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4471] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4471/stat : 4471 (java) S 4455 4458 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 777779 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811263333664 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4472] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4472/stat : 4472 (java) S 4455 4458 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 777779 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811262281328 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4473] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4473/stat : 4473 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777782 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811261229648 139812652312475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4474] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4474/stat : 4474 (java) S 4455 4458 2337 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 777782 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811260176496 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4475] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4475/stat : 4475 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777782 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811259123696 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4476] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4476/stat : 4476 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777782 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811258071408 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4477] ppid=4455 vsize=25997076 memory=-1 CPUtime=0 cores=0-7 /proc/4458/task/4477/stat : 4477 (java) S 4455 4458 2337 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 20 0 777782 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811257018608 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4478] ppid=4455 vsize=25997076 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4478/stat : 4478 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777782 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811255966560 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4479] ppid=4455 vsize=25997076 memory=-1 CPUtime=0 cores=0-7 /proc/4458/task/4479/stat : 4479 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777785 26621005824 6495 18446744073709551615 4194304 4196468 140723624338336 139811254913840 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 Current children cumulated CPU time: 0.06 s Current children cumulated vsize: 25997076 KiB Current children cumulated memory: 25716 KiB [startup+0.309905 s]* /proc/loadavg: 1.59 1.94 2.92 3/192 4479 /proc/meminfo: memFree=31905984/32770624 swapFree=67108860/67108860 [pid=4458] ppid=4455 vsize=25996608 memory=36248 CPUtime=0.22 cores=0-7 /proc/4458/stat : 4458 (java) S 4455 4458 2337 0 -1 1077944320 10358 0 0 0 19 3 0 0 20 0 20 0 777764 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 140723624320880 139812652293879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 12 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 /proc/4458/statm: 6499152 9062 3527 1 0 6487930 0 [pid=4458/tid=4461] ppid=4455 vsize=25996608 memory=7680170660397595203 CPUtime=0.14 cores=0-7 /proc/4458/task/4461/stat : 4461 (java) R 4455 4458 2337 0 -1 4202560 8047 0 0 0 12 2 0 0 20 0 20 0 777776 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812656499328 139812652315805 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4462] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4462/stat : 4462 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812609260432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4463] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4463/stat : 4463 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812608207632 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4464] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4464/stat : 4464 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812607155344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4465] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4465/stat : 4465 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812606102544 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4466] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4466/stat : 4466 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812605049232 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4467] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4467/stat : 4467 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812603996432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4468] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4468/stat : 4468 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812602944144 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4469] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4469/stat : 4469 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139812601891344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4470] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4470/stat : 4470 (java) S 4455 4458 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 777779 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811264387696 139812652305026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4471] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4471/stat : 4471 (java) S 4455 4458 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 777779 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811263333664 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4472] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4472/stat : 4472 (java) S 4455 4458 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 777779 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811262281328 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4473] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4473/stat : 4473 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777782 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811261229648 139812652312475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4474] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4474/stat : 4474 (java) R 4455 4458 2337 0 -1 4202560 347 0 0 0 0 0 0 0 20 0 20 0 777782 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811260176496 139812652305814 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4475] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4475/stat : 4475 (java) S 4455 4458 2337 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 777782 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811259123696 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4476] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4476/stat : 4476 (java) S 4455 4458 2337 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 777782 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811258071408 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4477] ppid=4455 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7 /proc/4458/task/4477/stat : 4477 (java) S 4455 4458 2337 0 -1 1077944384 388 0 0 0 4 0 0 0 20 0 20 0 777782 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811257018608 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4478] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4478/stat : 4478 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777782 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811255966560 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4479] ppid=4455 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4479/stat : 4479 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777785 26620526592 9062 18446744073709551615 4194304 4196468 140723624338336 139811254913840 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 36248 KiB [startup+0.700904 s] /proc/loadavg: 1.59 1.94 2.92 2/192 4479 /proc/meminfo: memFree=31891764/32770624 swapFree=67108860/67108860 [pid=4458] ppid=4455 vsize=25998676 memory=70624 CPUtime=1.03 cores=0-7 /proc/4458/stat : 4458 (java) S 4455 4458 2337 0 -1 1077944320 14406 0 0 0 97 6 0 0 20 0 20 0 777764 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 140723624320880 139812652293879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 12 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 /proc/4458/statm: 6499669 17656 3725 1 0 6488442 0 [pid=4458/tid=4461] ppid=4455 vsize=25998676 memory=0 CPUtime=0.53 cores=0-7 /proc/4458/task/4461/stat : 4461 (java) R 4455 4458 2337 0 -1 4202560 10457 0 0 0 49 4 0 0 20 0 20 0 777776 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812656529936 139812652305814 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4462] ppid=4455 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4462/stat : 4462 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812609260432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4463] ppid=4455 vsize=25998676 memory=1792 CPUtime=0 cores=0-7 /proc/4458/task/4463/stat : 4463 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812608207632 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4464] ppid=4455 vsize=25998676 memory=648 CPUtime=0 cores=0-7 /proc/4458/task/4464/stat : 4464 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812607155344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4465] ppid=4455 vsize=25998676 memory=956 CPUtime=0 cores=0-7 /proc/4458/task/4465/stat : 4465 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812606102544 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4466] ppid=4455 vsize=25998676 memory=1236 CPUtime=0 cores=0-7 /proc/4458/task/4466/stat : 4466 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812605049232 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4467] ppid=4455 vsize=25998676 memory=2244 CPUtime=0 cores=0-7 /proc/4458/task/4467/stat : 4467 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812603996432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4468] ppid=4455 vsize=25998676 memory=4300 CPUtime=0 cores=0-7 /proc/4458/task/4468/stat : 4468 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812602944144 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4469] ppid=4455 vsize=25998676 memory=928 CPUtime=0 cores=0-7 /proc/4458/task/4469/stat : 4469 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139812601891344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4470] ppid=4455 vsize=25998676 memory=1584 CPUtime=0 cores=0-7 /proc/4458/task/4470/stat : 4470 (java) S 4455 4458 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 777779 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811264387696 139812652305026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4471] ppid=4455 vsize=25998676 memory=2168 CPUtime=0 cores=0-7 /proc/4458/task/4471/stat : 4471 (java) S 4455 4458 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 777779 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811263333664 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4472] ppid=4455 vsize=25998676 memory=840 CPUtime=0 cores=0-7 /proc/4458/task/4472/stat : 4472 (java) S 4455 4458 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 777779 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811262281328 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4473] ppid=4455 vsize=25998676 memory=5812 CPUtime=0 cores=0-7 /proc/4458/task/4473/stat : 4473 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777782 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811261229648 139812652312475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4474] ppid=4455 vsize=25998676 memory=4068 CPUtime=0.09 cores=0-7 /proc/4458/task/4474/stat : 4474 (java) R 4455 4458 2337 0 -1 4202560 845 0 0 0 9 0 0 0 20 0 20 0 777782 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811260176496 139812652305814 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4475] ppid=4455 vsize=25998676 memory=1160 CPUtime=0.09 cores=0-7 /proc/4458/task/4475/stat : 4475 (java) R 4455 4458 2337 0 -1 4202560 352 0 0 0 9 0 0 0 20 0 20 0 777782 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811259123696 139812637212904 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4476] ppid=4455 vsize=25998676 memory=2372 CPUtime=0.09 cores=0-7 /proc/4458/task/4476/stat : 4476 (java) S 4455 4458 2337 0 -1 1077944384 482 0 0 0 9 0 0 0 20 0 20 0 777782 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811258071408 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4477] ppid=4455 vsize=25998676 memory=4120 CPUtime=0.2 cores=0-7 /proc/4458/task/4477/stat : 4477 (java) R 4455 4458 2337 0 -1 4202560 884 0 0 0 20 0 0 0 20 0 20 0 777782 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811257014336 139812645390715 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4478] ppid=4455 vsize=25998676 memory=2241 CPUtime=0 cores=0-7 /proc/4458/task/4478/stat : 4478 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777782 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811255966560 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4479] ppid=4455 vsize=25998676 memory=2244 CPUtime=0 cores=0-7 /proc/4458/task/4479/stat : 4479 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777785 26622644224 17656 18446744073709551615 4194304 4196468 140723624338336 139811254913840 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 Current children cumulated CPU time: 1.03 s Current children cumulated vsize: 25998676 KiB Current children cumulated memory: 70624 KiB [startup+1.50097 s] /proc/loadavg: 1.59 1.94 2.92 5/192 4479 /proc/meminfo: memFree=31821768/32770624 swapFree=67108860/67108860 [pid=4458] ppid=4455 vsize=26002772 memory=194200 CPUtime=3.98 cores=0-7 /proc/4458/stat : 4458 (java) S 4455 4458 2337 0 -1 1077944320 26810 0 0 0 385 13 0 0 20 0 20 0 777764 26626838528 48550 18446744073709551615 4194304 4196468 140723624338336 140723624320880 139812652293879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 12 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 /proc/4458/statm: 6500693 48550 3772 1 0 6489466 0 [pid=4458/tid=4461] ppid=4455 vsize=26002772 memory=288230604624101684 CPUtime=1.33 cores=0-7 /proc/4458/task/4461/stat : 4461 (java) R 4455 4458 2337 0 -1 4202560 14421 0 0 0 125 8 0 0 20 0 20 0 777776 26626838528 48550 18446744073709551615 4194304 4196468 140723624338336 139812656524160 139812282111396 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4462] ppid=4455 vsize=26002772 memory=288286696997651613 CPUtime=0 cores=0-7 /proc/4458/task/4462/stat : 4462 (java) S 4455 4458 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 777777 26626838528 48550 18446744073709551615 4194304 4196468 140723624338336 139812609260432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4463] ppid=4455 vsize=26002772 memory=140071798285951 CPUtime=0 cores=0-7 /proc/4458/task/4463/stat : 4463 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 777777 26626838528 48550 18446744073709551615 4194304 4196468 140723624338336 139812608207632 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4464] ppid=4455 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4464/stat : 4464 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26626838528 48550 18446744073709551615 4194304 4196468 140723624338336 139812607155344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4465] ppid=4455 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/4458/task/4465/stat : 4465 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 777777 26626838528 48550 18446744073709551615 4194304 4196468 140723624338336 139812606102544 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 ################ # More data... # ################ [pid=4458/tid=4479] ppid=4455 vsize=27406796 memory=38517266719494 CPUtime=1.08 cores=0-7 /proc/4458/task/4479/stat : 4479 (java) S 4455 4458 2337 0 -1 1077944384 5570 0 0 0 42 66 0 0 20 0 41 0 777785 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811254913840 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4481] ppid=4455 vsize=27406796 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/4458/task/4481/stat : 4481 (java) S 4455 4458 2337 0 -1 1077944384 645 0 0 0 0 0 0 0 20 0 41 0 779113 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811253859744 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4482] ppid=4455 vsize=27406796 memory=4120 CPUtime=5.37 cores=0-7 /proc/4458/task/4482/stat : 4482 (java) S 4455 4458 2337 0 -1 1077944384 14367 0 0 0 252 285 0 0 20 0 41 0 779125 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811173365280 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4483] ppid=4455 vsize=27406796 memory=5940 CPUtime=2449.92 cores=0-7 /proc/4458/task/4483/stat : 4483 (java) R 4455 4458 2337 0 -1 4202560 58410 0 0 0 244892 100 0 0 20 0 41 0 779135 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811170208408 139812283732203 0 4 1 16800974 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4484] ppid=4455 vsize=27406796 memory=56 CPUtime=0.11 cores=0-7 /proc/4458/task/4484/stat : 4484 (java) S 4455 4458 2337 0 -1 1077944384 315 0 0 0 11 0 0 0 20 0 41 0 779136 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811169162128 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4485] ppid=4455 vsize=27406796 memory=7451601873362511190 CPUtime=2452.94 cores=0-7 /proc/4458/task/4485/stat : 4485 (java) R 4455 4458 2337 0 -1 4202560 57834 0 0 0 245199 95 0 0 20 0 41 0 779136 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811168103832 139812279954884 0 4 1 16800974 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4486] ppid=4455 vsize=27406796 memory=5382360 CPUtime=2460.21 cores=0-7 /proc/4458/task/4486/stat : 4486 (java) R 4455 4458 2337 0 -1 4202560 60976 0 0 0 245928 93 0 0 20 0 41 0 779138 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811167053392 139812278949443 0 4 1 16800974 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4487] ppid=4455 vsize=27406796 memory=5380820 CPUtime=2460.25 cores=0-7 /proc/4458/task/4487/stat : 4487 (java) R 4455 4458 2337 0 -1 4202560 66986 0 0 0 245905 120 0 0 20 0 41 0 779141 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811165998232 139812279035395 0 4 1 16800974 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4488] ppid=4455 vsize=27406796 memory=5940 CPUtime=2456.57 cores=0-7 /proc/4458/task/4488/stat : 4488 (java) R 4455 4458 2337 0 -1 4202560 65204 0 0 0 245541 116 0 0 20 0 41 0 779141 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811164945656 139812280061339 0 4 1 16800974 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4489] ppid=4455 vsize=27406796 memory=840 CPUtime=2456.29 cores=0-7 /proc/4458/task/4489/stat : 4489 (java) R 4455 4458 2337 0 -1 4202560 57616 0 0 0 245536 93 0 0 20 0 41 0 779141 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811163893144 139812279034971 0 4 1 16800974 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4490] ppid=4455 vsize=27406796 memory=5812 CPUtime=2451.67 cores=0-7 /proc/4458/task/4490/stat : 4490 (java) R 4455 4458 2337 0 -1 4202560 56880 0 0 0 245076 91 0 0 20 0 41 0 779141 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811162840344 139812280061360 0 4 1 16800974 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4491] ppid=4455 vsize=27406796 memory=4068 CPUtime=0.08 cores=0-7 /proc/4458/task/4491/stat : 4491 (java) S 4455 4458 2337 0 -1 1077944384 426 0 0 0 8 0 0 0 20 0 41 0 779141 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811161793552 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4492] ppid=4455 vsize=27406796 memory=5388000 CPUtime=2455.06 cores=0-7 /proc/4458/task/4492/stat : 4492 (java) R 4455 4458 2337 0 -1 4202560 57474 0 0 0 245417 89 0 0 20 0 41 0 779141 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811160734744 139812280061360 0 4 1 16800974 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4493] ppid=4455 vsize=27406796 memory=5378256 CPUtime=0 cores=0-7 /proc/4458/task/4493/stat : 4493 (java) S 4455 4458 2337 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 41 0 779157 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811159688464 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4494] ppid=4455 vsize=27406796 memory=5378256 CPUtime=0 cores=0-7 /proc/4458/task/4494/stat : 4494 (java) S 4455 4458 2337 0 -1 1077944384 642 0 0 0 0 0 0 0 20 0 41 0 779157 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811158635664 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4495] ppid=4455 vsize=27406796 memory=5379280 CPUtime=0 cores=0-7 /proc/4458/task/4495/stat : 4495 (java) S 4455 4458 2337 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 779157 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811157583376 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4496] ppid=4455 vsize=27406796 memory=7680170660397595203 CPUtime=0 cores=0-7 /proc/4458/task/4496/stat : 4496 (java) S 4455 4458 2337 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 41 0 779190 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811154396560 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4497] ppid=4455 vsize=27406796 memory=5379280 CPUtime=0 cores=0-7 /proc/4458/task/4497/stat : 4497 (java) S 4455 4458 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 779190 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811153344048 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4498] ppid=4455 vsize=27406796 memory=5378256 CPUtime=0 cores=0-7 /proc/4458/task/4498/stat : 4498 (java) S 4455 4458 2337 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811152291472 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4499] ppid=4455 vsize=27406796 memory=7680170660397595203 CPUtime=0 cores=0-7 /proc/4458/task/4499/stat : 4499 (java) S 4455 4458 2337 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811151238160 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4500] ppid=4455 vsize=27406796 memory=5378256 CPUtime=0 cores=0-7 /proc/4458/task/4500/stat : 4500 (java) S 4455 4458 2337 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811150185360 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4501] ppid=4455 vsize=27406796 memory=5379280 CPUtime=0 cores=0-7 /proc/4458/task/4501/stat : 4501 (java) S 4455 4458 2337 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1344564 18446744073709551615 4194304 4196468 140723624338336 139811149133072 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 Current children cumulated CPU time: 19823.2 s Current children cumulated vsize: 27406796 KiB Current children cumulated memory: 5378256 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 9.04 8.76 8.35 9/213 4631 /proc/meminfo: memFree=26559220/32770624 swapFree=67108860/67108860 [pid=4458] ppid=4455 vsize=27406796 memory=5368508 CPUtime=19964.2 cores=0-7 /proc/4458/stat : 4458 (java) S 4455 4458 2337 0 -1 1077944320 1223911 0 0 0 1995184 1232 0 0 20 0 41 0 777764 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 140723624320880 139812652293879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 12 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 /proc/4458/statm: 6851699 1342127 3845 1 0 6839951 0 [pid=4458/tid=4461] ppid=4455 vsize=27406796 memory=7680170660397595203 CPUtime=13.21 cores=0-7 /proc/4458/task/4461/stat : 4461 (java) S 4455 4458 2337 0 -1 1077944384 20525 0 0 0 1305 16 0 0 20 0 41 0 777776 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812656531584 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4462] ppid=4455 vsize=27406796 memory=4195447490462202311 CPUtime=18.82 cores=0-7 /proc/4458/task/4462/stat : 4462 (java) S 4455 4458 2337 0 -1 1077944384 67804 0 0 0 1837 45 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812609260432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4463] ppid=4455 vsize=27406796 memory=15872 CPUtime=18.83 cores=0-7 /proc/4458/task/4463/stat : 4463 (java) S 4455 4458 2337 0 -1 1077944384 62358 0 0 0 1840 43 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812608207632 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4464] ppid=4455 vsize=27406796 memory=3736 CPUtime=18.73 cores=0-7 /proc/4458/task/4464/stat : 4464 (java) S 4455 4458 2337 0 -1 1077944384 71343 0 0 0 1831 42 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812607155344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4465] ppid=4455 vsize=27406796 memory=16424 CPUtime=18.88 cores=0-7 /proc/4458/task/4465/stat : 4465 (java) S 4455 4458 2337 0 -1 1077944384 59554 0 0 0 1846 42 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812606102544 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4466] ppid=4455 vsize=27406796 memory=4008 CPUtime=18.83 cores=0-7 /proc/4458/task/4466/stat : 4466 (java) S 4455 4458 2337 0 -1 1077944384 65097 0 0 0 1840 43 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812605049232 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4467] ppid=4455 vsize=27406796 memory=1792 CPUtime=18.89 cores=0-7 /proc/4458/task/4467/stat : 4467 (java) S 4455 4458 2337 0 -1 1077944384 61632 0 0 0 1845 44 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812603996432 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4468] ppid=4455 vsize=27406796 memory=648 CPUtime=18.89 cores=0-7 /proc/4458/task/4468/stat : 4468 (java) S 4455 4458 2337 0 -1 1077944384 66262 0 0 0 1844 45 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812602944144 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4469] ppid=4455 vsize=27406796 memory=956 CPUtime=18.83 cores=0-7 /proc/4458/task/4469/stat : 4469 (java) S 4455 4458 2337 0 -1 1077944384 64225 0 0 0 1840 43 0 0 20 0 41 0 777777 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139812601891344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4470] ppid=4455 vsize=27406796 memory=1236 CPUtime=2.61 cores=0-7 /proc/4458/task/4470/stat : 4470 (java) S 4455 4458 2337 0 -1 1077944384 126551 0 0 0 216 45 0 0 20 0 41 0 777779 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811264387696 139812652305026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4471] ppid=4455 vsize=27406796 memory=7680170660397595203 CPUtime=0 cores=0-7 /proc/4458/task/4471/stat : 4471 (java) S 4455 4458 2337 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 41 0 777779 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811263333728 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4472] ppid=4455 vsize=27406796 memory=4068 CPUtime=0 cores=0-7 /proc/4458/task/4472/stat : 4472 (java) S 4455 4458 2337 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 41 0 777779 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811262281344 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4473] ppid=4455 vsize=27406796 memory=1160 CPUtime=0 cores=0-7 /proc/4458/task/4473/stat : 4473 (java) S 4455 4458 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 777782 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811261229648 139812652312475 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4474] ppid=4455 vsize=27406796 memory=4276 CPUtime=2.57 cores=0-7 /proc/4458/task/4474/stat : 4474 (java) S 4455 4458 2337 0 -1 1077944384 11346 0 0 0 254 3 0 0 20 0 41 0 777782 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811260176496 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4475] ppid=4455 vsize=27406796 memory=5376716 CPUtime=2.05 cores=0-7 /proc/4458/task/4475/stat : 4475 (java) S 4455 4458 2337 0 -1 1077944384 8720 0 0 0 203 2 0 0 20 0 41 0 777782 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811259123696 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4476] ppid=4455 vsize=27406796 memory=302022848351043610 CPUtime=2.18 cores=0-7 /proc/4458/task/4476/stat : 4476 (java) S 4455 4458 2337 0 -1 1077944384 10287 0 0 0 216 2 0 0 20 0 41 0 777782 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811258071408 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4477] ppid=4455 vsize=27406796 memory=290763888004432181 CPUtime=1.11 cores=0-7 /proc/4458/task/4477/stat : 4477 (java) S 4455 4458 2337 0 -1 1077944384 19722 0 0 0 108 3 0 0 20 0 41 0 777782 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811257018608 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4478] ppid=4455 vsize=27406796 memory=288285558848095407 CPUtime=0 cores=0-7 /proc/4458/task/4478/stat : 4478 (java) S 4455 4458 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 777782 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811255966560 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4479] ppid=4455 vsize=27406796 memory=7680170660397595203 CPUtime=1.09 cores=0-7 /proc/4458/task/4479/stat : 4479 (java) S 4455 4458 2337 0 -1 1077944384 5609 0 0 0 43 66 0 0 20 0 41 0 777785 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811254913840 139812652305026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4481] ppid=4455 vsize=27406796 memory=302022848351043610 CPUtime=0 cores=0-7 /proc/4458/task/4481/stat : 4481 (java) S 4455 4458 2337 0 -1 1077944384 645 0 0 0 0 0 0 0 20 0 41 0 779113 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811253859744 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4482] ppid=4455 vsize=27406796 memory=5370048 CPUtime=5.4 cores=0-7 /proc/4458/task/4482/stat : 4482 (java) R 4455 4458 2337 0 -1 1077944384 14419 0 0 0 253 287 0 0 20 0 41 0 779125 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811173365280 139812652305026 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4483] ppid=4455 vsize=27406796 memory=288285558848095407 CPUtime=2467.46 cores=0-7 /proc/4458/task/4483/stat : 4483 (java) R 4455 4458 2337 0 -1 4202560 58823 0 0 0 246645 101 0 0 20 0 41 0 779135 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811170208832 139812280060857 0 4 1 16800974 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4484] ppid=4455 vsize=27406796 memory=1012 CPUtime=0.11 cores=0-7 /proc/4458/task/4484/stat : 4484 (java) S 4455 4458 2337 0 -1 1077944384 315 0 0 0 11 0 0 0 20 0 41 0 779136 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811169162128 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4485] ppid=4455 vsize=27406796 memory=288230574492221466 CPUtime=2470.44 cores=0-7 /proc/4458/task/4485/stat : 4485 (java) R 4455 4458 2337 0 -1 4202560 58360 0 0 0 246949 95 0 0 20 0 41 0 779136 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811168106080 139812280060857 0 4 1 16800974 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4486] ppid=4455 vsize=27406796 memory=288230613214036277 CPUtime=2477.68 cores=0-7 /proc/4458/task/4486/stat : 4486 (java) R 4455 4458 2337 0 -1 4202560 61288 0 0 0 247675 93 0 0 20 0 41 0 779138 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811167051032 139812280060857 0 4 1 16800974 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4487] ppid=4455 vsize=27406796 memory=288285558848095407 CPUtime=2477.79 cores=0-7 /proc/4458/task/4487/stat : 4487 (java) R 4455 4458 2337 0 -1 4202560 67191 0 0 0 247658 121 0 0 20 0 41 0 779141 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811165998232 139812279035322 0 4 1 16800974 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4488] ppid=4455 vsize=27406796 memory=7680170660397595203 CPUtime=2474.03 cores=0-7 /proc/4458/task/4488/stat : 4488 (java) R 4455 4458 2337 0 -1 4202560 65561 0 0 0 247286 117 0 0 20 0 41 0 779141 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811164945432 139812276353344 0 4 1 16800974 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4489] ppid=4455 vsize=27406796 memory=1012 CPUtime=2473.83 cores=0-7 /proc/4458/task/4489/stat : 4489 (java) R 4455 4458 2337 0 -1 4202560 57864 0 0 0 247289 94 0 0 20 0 41 0 779141 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811163893144 139812280061339 0 4 1 16800974 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4490] ppid=4455 vsize=27406796 memory=10936 CPUtime=2469.21 cores=0-7 /proc/4458/task/4490/stat : 4490 (java) R 4455 4458 2337 0 -1 4202560 57165 0 0 0 246829 92 0 0 20 0 41 0 779141 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811162840344 139812280061339 0 4 1 16800974 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4491] ppid=4455 vsize=27406796 memory=2012 CPUtime=0.08 cores=0-7 /proc/4458/task/4491/stat : 4491 (java) S 4455 4458 2337 0 -1 1077944384 426 0 0 0 8 0 0 0 20 0 41 0 779141 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811161793552 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4492] ppid=4455 vsize=27406796 memory=8652 CPUtime=2472.32 cores=0-7 /proc/4458/task/4492/stat : 4492 (java) R 4455 4458 2337 0 -1 4202560 58023 0 0 0 247143 89 0 0 20 0 41 0 779141 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811160734232 139812280060857 0 4 1 16800974 0 0 0 -1 1 0 0 33 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4493] ppid=4455 vsize=27406796 memory=1228 CPUtime=0 cores=0-7 /proc/4458/task/4493/stat : 4493 (java) S 4455 4458 2337 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 41 0 779157 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811159688464 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4494] ppid=4455 vsize=27406796 memory=1196 CPUtime=0 cores=0-7 /proc/4458/task/4494/stat : 4494 (java) S 4455 4458 2337 0 -1 1077944384 642 0 0 0 0 0 0 0 20 0 41 0 779157 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811158635664 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4495] ppid=4455 vsize=27406796 memory=1444 CPUtime=0 cores=0-7 /proc/4458/task/4495/stat : 4495 (java) S 4455 4458 2337 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 779157 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811157583376 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4496] ppid=4455 vsize=27406796 memory=15872 CPUtime=0 cores=0-7 /proc/4458/task/4496/stat : 4496 (java) S 4455 4458 2337 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 41 0 779190 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811154396560 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4497] ppid=4455 vsize=27406796 memory=3736 CPUtime=0 cores=0-7 /proc/4458/task/4497/stat : 4497 (java) S 4455 4458 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 779190 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811153344048 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4498] ppid=4455 vsize=27406796 memory=16424 CPUtime=0 cores=0-7 /proc/4458/task/4498/stat : 4498 (java) S 4455 4458 2337 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811152291472 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4499] ppid=4455 vsize=27406796 memory=33 CPUtime=0 cores=0-7 /proc/4458/task/4499/stat : 4499 (java) S 4455 4458 2337 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811151238160 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4500] ppid=4455 vsize=27406796 memory=7522250962487634745 CPUtime=0 cores=0-7 /proc/4458/task/4500/stat : 4500 (java) S 4455 4458 2337 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811150185360 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 [pid=4458/tid=4501] ppid=4455 vsize=27406796 memory=7234862731041139507 CPUtime=0 cores=0-7 /proc/4458/task/4501/stat : 4501 (java) S 4455 4458 2337 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 41 0 779191 28064559104 1342127 18446744073709551615 4194304 4196468 140723624338336 139811149133072 139812652304085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22953984 140723624341872 140723624342056 140723624342056 140723624345551 0 Current children cumulated CPU time: 19964.2 s Current children cumulated vsize: 27406796 KiB Current children cumulated memory: 5368508 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.14 s] # the end of solver process 4458 was just reported to runsolver # cumulated CPU time of all completed processes: user=19952.6 s, system=12.3557 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.12 s]* /proc/loadavg: 9.04 8.76 8.35 2/174 4633 /proc/meminfo: memFree=28205700/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.14 CPU time (s): 19965 CPU user time (s): 19952.6 CPU system time (s): 12.3557 CPU usage (%): 792.217 Max. virtual memory (cumulated for all children) (KiB): 27406796 Max. memory (cumulated for all children) (KiB): 5782548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19952.6 system time used= 12.3557 maximum resident set size= 5783536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1227131 page faults= 0 swaps= 0 block input operations= 8 block output operations= 3528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 397355 involuntary context switches= 411491 # summary of solver processes directly reported to runsolver: # pid: 4458 # total CPU time (s): 19965 # total CPU user time (s): 19952.6 # total CPU system time (s): 12.3557 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.082 second user time and 33.861 second system time The end
Begin job on node129 at 2017-08-22 20:55:01 IDJOB=4285061 IDBENCH=124439 IDSOLVER=2681 FILE ID=node129/4285061-1503428938 RUNJOBID= node129-1503420419-2425 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285061-1503428938/watcher-4285061-1503428938 -o /tmp/evaluation-result-4285061-1503428938/solver-4285061-1503428938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 60031918 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285061-1503428938.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d46243a0c717d56f47be278be902a17a RANDOM SEED=60031918 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31928740 kB MemAvailable: 32030328 kB Buffers: 86676 kB Cached: 299304 kB SwapCached: 0 kB Active: 247984 kB Inactive: 192228 kB Active(anon): 54280 kB Inactive(anon): 8556 kB Active(file): 193704 kB Inactive(file): 183672 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42352 kB Writeback: 0 kB AnonPages: 86988 kB Mapped: 27596 kB Shmem: 8868 kB Slab: 103500 kB SReclaimable: 80096 kB SUnreclaim: 23404 kB KernelStack: 3744 kB PageTables: 4776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 279728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 61972 MiB End job on node129 at 2017-08-22 21:37:01