Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.01 | 2400.1 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml |
MD5SUM | 4ab7546591ba88ff6acec2aa7538cbc2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1147 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3782 |
Number of constraints | 3720 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}] |
Minimum variable degree | 0 |
Maximum variable degree | 119 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 60 |
Distribution of constraint types | [{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}] |
Optimization problem | YES |
Type of objective | min SUM |
0.39/0.41 c best=?? lower=0 upper=170974 5.89/5.93 c 5.89/5.93 c This is cosoco 1.0 -- 5.89/5.93 c 5.89/5.93 c enable optimization 5.89/5.93 c ========================================[ Problem Statistics ]=========================================== 5.89/5.93 c | 5.89/5.93 c | Parse time : 0.39 s 5.89/5.93 c | 5.89/5.93 c | Variables: 3782 5.89/5.93 c | Domain Sizes: 1..101 5.89/5.93 c | 5.89/5.93 c | Constraints: 3721 5.89/5.93 c | Arity: 1..3656 -- Unary: 60 -- Ternary: 3540 5.89/5.93 c | 5.89/5.93 c | Types: 5.89/5.93 c | Exactly K: 120 5.89/5.93 c | Intension: 60 5.89/5.93 c | Sum: 3541 5.89/5.93 c | 5.89/5.93 c ========================================================================================================= 5.89/5.93 o 3181 5.89/5.93 c 1 calls to solver: best=3181 lower=0 upper=3180 7.09/7.16 o 2961 14.79/14.86 o 2960 14.79/14.86 c 3 calls to solver: best=2960 lower=0 upper=2959 2400.00/2400.10 2400.00/2400.10 c *** INTERRUPTED *** 2400.00/2400.10 s SATISFIABLE 2400.00/2400.10 c Best value found: 2960 2400.00/2400.10 2400.00/2400.10 2400.00/2400.10 v <instantiation type='solution' cost='2960'> 2400.00/2400.10 v <list>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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[0] 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] </list> 2400.00/2400.10 v <values>* 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 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 1 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240895-1500640731/watcher-4240895-1500640731 -o /tmp/evaluation-result-4240895-1500640731/solver-4240895-1500640731 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500635929-6890 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240895-1500640731.xml pid=7459 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7462 /proc/meminfo: memFree=31296176/32770624 swapFree=6716/332640 [pid=7462] ppid=7459 vsize=27120 CPUtime=0 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 17513092 27770880 802 33554432000 4194304 5970956 140729234953504 140729234950152 140319006231525 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 6780 802 698 434 0 144 0 [startup+0.100113 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7462 /proc/meminfo: memFree=31296176/32770624 swapFree=6716/332640 [pid=7462] ppid=7459 vsize=46148 CPUtime=0.08 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 5771 0 0 0 8 0 0 0 20 0 1 0 17513092 47255552 5566 33554432000 4194304 5970956 140729234953504 140729234950104 140319006231525 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 11537 5566 739 434 0 4901 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 46148 [startup+0.200324 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7462 /proc/meminfo: memFree=31296176/32770624 swapFree=6716/332640 [pid=7462] ppid=7459 vsize=82152 CPUtime=0.19 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 14768 0 0 0 17 2 0 0 20 0 1 0 17513092 84123648 14596 33554432000 4194304 5970956 140729234953504 140729234947880 140319006279584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 20538 14596 739 434 0 13902 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 82152 [startup+0.300303 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7462 /proc/meminfo: memFree=31296176/32770624 swapFree=6716/332640 [pid=7462] ppid=7459 vsize=88180 CPUtime=0.29 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 16338 0 0 0 27 2 0 0 20 0 1 0 17513092 90296320 16155 33554432000 4194304 5970956 140729234953504 140729234948008 5472383 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 22045 16155 795 434 0 15409 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 88180 [startup+0.700178 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7462 /proc/meminfo: memFree=31296176/32770624 swapFree=6716/332640 [pid=7462] ppid=7459 vsize=90296 CPUtime=0.69 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 16917 0 0 0 67 2 0 0 20 0 1 0 17513092 92463104 16749 33554432000 4194304 5970956 140729234953504 140729234950536 140319006231525 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 22574 16749 837 434 0 15938 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 90296 [startup+1.50018 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7463 /proc/meminfo: memFree=31219768/32770624 swapFree=6716/332664 [pid=7462] ppid=7459 vsize=117084 CPUtime=1.49 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 23543 0 0 0 146 3 0 0 20 0 1 0 17513092 119894016 23349 33554432000 4194304 5970956 140729234953504 140729234950280 5045736 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 29271 23349 837 434 0 22635 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117084 [startup+3.10018 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7463 /proc/meminfo: memFree=31202284/32770624 swapFree=6716/332664 [pid=7462] ppid=7459 vsize=136172 CPUtime=3.09 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 36463 0 0 0 305 4 0 0 20 0 1 0 17513092 139440128 27927 33554432000 4194304 5970956 140729234953504 140729234950280 5045464 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 34043 27927 837 434 0 27407 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 136172 [startup+6.30024 s] /proc/loadavg: 1.92 2.00 2.04 3/187 7463 /proc/meminfo: memFree=31181856/32770624 swapFree=6716/332676 [pid=7462] ppid=7459 vsize=145696 CPUtime=6.29 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 53638 0 0 0 624 5 0 0 20 0 1 0 17513092 149192704 30238 33554432000 4194304 5970956 140729234953504 140729234940808 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 36424 30238 838 434 0 29788 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 145696 [startup+12.7002 s] /proc/loadavg: 1.93 2.00 2.04 3/187 7524 /proc/meminfo: memFree=31510104/32770624 swapFree=6716/332728 [pid=7462] ppid=7459 vsize=151088 CPUtime=12.68 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 68702 0 0 0 1262 6 0 0 20 0 1 0 17513092 154714112 31480 33554432000 4194304 5970956 140729234953504 140729234950376 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 37772 31480 838 434 0 31136 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 151088 [startup+25.5003 s] /proc/loadavg: 1.95 2.00 2.04 3/187 7524 /proc/meminfo: memFree=31504876/32770624 swapFree=6716/332736 [pid=7462] ppid=7459 vsize=154440 CPUtime=25.48 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 89542 0 0 0 2541 7 0 0 20 0 1 0 17513092 158146560 32332 33554432000 4194304 5970956 140729234953504 140729234950248 5093396 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 38610 32332 838 434 0 31974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 154440 [startup+51.1003 s] /proc/loadavg: 2.03 2.01 2.05 3/187 7524 /proc/meminfo: memFree=31502664/32770624 swapFree=6716/332760 [pid=7462] ppid=7459 vsize=155700 CPUtime=51.08 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 101471 0 0 0 5100 8 0 0 20 0 1 0 17513092 159436800 32669 33554432000 4194304 5970956 140729234953504 140729234950264 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 38925 32669 838 434 0 32289 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 155700 [startup+102.3 s] /proc/loadavg: 2.01 2.01 2.05 3/187 7532 /proc/meminfo: memFree=31497864/32770624 swapFree=6716/332812 [pid=7462] ppid=7459 vsize=156116 CPUtime=102.27 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 104990 0 0 0 10219 8 0 0 20 0 1 0 17513092 159862784 33101 33554432000 4194304 5970956 140729234953504 140729234950248 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39029 33101 838 434 0 32393 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 156116 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7533 /proc/meminfo: memFree=31499800/32770624 swapFree=6716/332848 [pid=7462] ppid=7459 vsize=156668 CPUtime=162.27 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 105968 0 0 0 16219 8 0 0 20 0 1 0 17513092 160428032 33198 33554432000 4194304 5970956 140729234953504 140729234950376 5045736 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39167 33198 838 434 0 32531 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 156668 [startup+222.306 s] /proc/loadavg: 2.05 2.03 2.05 3/187 7534 /proc/meminfo: memFree=31499372/32770624 swapFree=6716/332884 [pid=7462] ppid=7459 vsize=156948 CPUtime=222.27 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 106732 0 0 0 22219 8 0 0 20 0 1 0 17513092 160714752 33382 33554432000 4194304 5970956 140729234953504 140729234950376 5136570 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39237 33382 838 434 0 32601 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 156948 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7535 /proc/meminfo: memFree=31499484/32770624 swapFree=6716/332904 [pid=7462] ppid=7459 vsize=157088 CPUtime=282.26 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 106969 0 0 0 28218 8 0 0 20 0 1 0 17513092 160858112 33420 33554432000 4194304 5970956 140729234953504 140729234950376 5047252 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39272 33420 838 434 0 32636 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 157088 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 7536 /proc/meminfo: memFree=31499180/32770624 swapFree=6716/332932 [pid=7462] ppid=7459 vsize=157088 CPUtime=342.27 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 107205 0 0 0 34218 9 0 0 20 0 1 0 17513092 160858112 33448 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39272 33448 838 434 0 32636 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 157088 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7537 /proc/meminfo: memFree=31499164/32770624 swapFree=6716/332960 [pid=7462] ppid=7459 vsize=157224 CPUtime=402.27 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 107418 0 0 0 40218 9 0 0 20 0 1 0 17513092 160997376 33453 33554432000 4194304 5970956 140729234953504 140729234950376 5045288 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39306 33453 838 434 0 32670 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 157224 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7538 /proc/meminfo: memFree=31499504/32770624 swapFree=6716/333000 [pid=7462] ppid=7459 vsize=157224 CPUtime=462.26 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 107629 0 0 0 46217 9 0 0 20 0 1 0 17513092 160997376 33457 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39306 33457 838 434 0 32670 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 157224 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7539 /proc/meminfo: memFree=31499472/32770624 swapFree=6716/333032 [pid=7462] ppid=7459 vsize=157224 CPUtime=522.26 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 107845 0 0 0 52217 9 0 0 20 0 1 0 17513092 160997376 33469 33554432000 4194304 5970956 140729234953504 140729234950376 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39306 33469 838 434 0 32670 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 157224 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7540 /proc/meminfo: memFree=31499408/32770624 swapFree=6716/333064 [pid=7462] ppid=7459 vsize=157224 CPUtime=582.26 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 108054 0 0 0 58217 9 0 0 20 0 1 0 17513092 160997376 33481 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39306 33481 838 434 0 32670 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 157224 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/189 7596 /proc/meminfo: memFree=31497636/32770624 swapFree=6716/333604 [pid=7462] ppid=7459 vsize=157368 CPUtime=1542.24 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 110830 0 0 0 154215 9 0 0 20 0 1 0 17513092 161144832 33509 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33509 838 434 0 32706 0 Current children cumulated CPU time (s) 1542.24 Current children cumulated vsize (KiB) 157368 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.05 3/188 7597 /proc/meminfo: memFree=31497900/32770624 swapFree=6716/333636 [pid=7462] ppid=7459 vsize=157368 CPUtime=1602.23 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111059 0 0 0 160214 9 0 0 20 0 1 0 17513092 161144832 33509 33554432000 4194304 5970956 140729234953504 140729234950376 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33509 838 434 0 32706 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 157368 [startup+1662.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7598 /proc/meminfo: memFree=31497968/32770624 swapFree=6716/333676 [pid=7462] ppid=7459 vsize=157368 CPUtime=1662.23 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111185 0 0 0 166214 9 0 0 20 0 1 0 17513092 161144832 33517 33554432000 4194304 5970956 140729234953504 140729234950376 5337914 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33517 838 434 0 32706 0 Current children cumulated CPU time (s) 1662.23 Current children cumulated vsize (KiB) 157368 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7599 /proc/meminfo: memFree=31497852/32770624 swapFree=6716/333708 [pid=7462] ppid=7459 vsize=157368 CPUtime=1722.22 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111311 0 0 0 172213 9 0 0 20 0 1 0 17513092 161144832 33517 33554432000 4194304 5970956 140729234953504 140729234950376 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33517 838 434 0 32706 0 Current children cumulated CPU time (s) 1722.22 Current children cumulated vsize (KiB) 157368 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7600 /proc/meminfo: memFree=31497248/32770624 swapFree=6716/333728 [pid=7462] ppid=7459 vsize=157368 CPUtime=1782.22 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111535 0 0 0 178213 9 0 0 20 0 1 0 17513092 161144832 33517 33554432000 4194304 5970956 140729234953504 140729234950376 5045486 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33517 838 434 0 32706 0 Current children cumulated CPU time (s) 1782.22 Current children cumulated vsize (KiB) 157368 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7601 /proc/meminfo: memFree=31497384/32770624 swapFree=6716/333760 [pid=7462] ppid=7459 vsize=157368 CPUtime=1842.22 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111661 0 0 0 184213 9 0 0 20 0 1 0 17513092 161144832 33517 33554432000 4194304 5970956 140729234953504 140729234950376 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33517 838 434 0 32706 0 Current children cumulated CPU time (s) 1842.22 Current children cumulated vsize (KiB) 157368 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7610 /proc/meminfo: memFree=31496596/32770624 swapFree=6716/333796 [pid=7462] ppid=7459 vsize=157368 CPUtime=1902.22 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111788 0 0 0 190213 9 0 0 20 0 1 0 17513092 161144832 33517 33554432000 4194304 5970956 140729234953504 140729234950376 5045736 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33517 838 434 0 32706 0 Current children cumulated CPU time (s) 1902.22 Current children cumulated vsize (KiB) 157368 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7611 /proc/meminfo: memFree=31497196/32770624 swapFree=6716/333832 [pid=7462] ppid=7459 vsize=157368 CPUtime=1962.22 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 111915 0 0 0 196213 9 0 0 20 0 1 0 17513092 161144832 33517 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39342 33517 838 434 0 32706 0 Current children cumulated CPU time (s) 1962.22 Current children cumulated vsize (KiB) 157368 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7612 /proc/meminfo: memFree=31497112/32770624 swapFree=6716/333868 [pid=7462] ppid=7459 vsize=157500 CPUtime=2022.21 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 112162 0 0 0 202212 9 0 0 20 0 1 0 17513092 161280000 33524 33554432000 4194304 5970956 140729234953504 140729234950376 5045478 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33524 838 434 0 32739 0 Current children cumulated CPU time (s) 2022.21 Current children cumulated vsize (KiB) 157500 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7613 /proc/meminfo: memFree=31496996/32770624 swapFree=6716/333892 [pid=7462] ppid=7459 vsize=157500 CPUtime=2082.22 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 112285 0 0 0 208213 9 0 0 20 0 1 0 17513092 161280000 33533 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33533 838 434 0 32739 0 Current children cumulated CPU time (s) 2082.22 Current children cumulated vsize (KiB) 157500 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7614 /proc/meminfo: memFree=31497004/32770624 swapFree=6716/333920 [pid=7462] ppid=7459 vsize=157500 CPUtime=2142.21 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 112409 0 0 0 214212 9 0 0 20 0 1 0 17513092 161280000 33533 33554432000 4194304 5970956 140729234953504 140729234950376 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33533 838 434 0 32739 0 Current children cumulated CPU time (s) 2142.21 Current children cumulated vsize (KiB) 157500 [startup+2202.31 s] /proc/loadavg: 2.06 2.03 2.05 3/187 7615 /proc/meminfo: memFree=31497352/32770624 swapFree=6716/333952 [pid=7462] ppid=7459 vsize=157500 CPUtime=2202.21 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 112533 0 0 0 220212 9 0 0 20 0 1 0 17513092 161280000 33533 33554432000 4194304 5970956 140729234953504 140729234950376 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33533 838 434 0 32739 0 Current children cumulated CPU time (s) 2202.21 Current children cumulated vsize (KiB) 157500 [startup+2262.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7616 /proc/meminfo: memFree=31497344/32770624 swapFree=6716/333992 [pid=7462] ppid=7459 vsize=157500 CPUtime=2262.21 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 112752 0 0 0 226212 9 0 0 20 0 1 0 17513092 161280000 33533 33554432000 4194304 5970956 140729234953504 140729234950376 5136615 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33533 838 434 0 32739 0 Current children cumulated CPU time (s) 2262.21 Current children cumulated vsize (KiB) 157500 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 7617 /proc/meminfo: memFree=31496876/32770624 swapFree=6716/334016 [pid=7462] ppid=7459 vsize=157500 CPUtime=2322.2 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 112879 0 0 0 232211 9 0 0 20 0 1 0 17513092 161280000 33533 33554432000 4194304 5970956 140729234953504 140729234950376 5045486 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33533 838 434 0 32739 0 Current children cumulated CPU time (s) 2322.2 Current children cumulated vsize (KiB) 157500 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7618 /proc/meminfo: memFree=31496568/32770624 swapFree=6716/334052 [pid=7462] ppid=7459 vsize=157500 CPUtime=2382.2 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 113100 0 0 0 238211 9 0 0 20 0 1 0 17513092 161280000 33537 33554432000 4194304 5970956 140729234953504 140729234950376 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33537 838 434 0 32739 0 Current children cumulated CPU time (s) 2382.2 Current children cumulated vsize (KiB) 157500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7618 /proc/meminfo: memFree=31496656/32770624 swapFree=6716/334060 [pid=7462] ppid=7459 vsize=157500 CPUtime=2400 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 113221 0 0 0 239991 9 0 0 20 0 1 0 17513092 161280000 33537 33554432000 4194304 5970956 140729234953504 140729234950376 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33537 838 434 0 32739 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 157500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7462 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7618 /proc/meminfo: memFree=31496656/32770624 swapFree=6716/334060 [pid=7462] ppid=7459 vsize=157500 CPUtime=2400 cores=1,3,5,7 /proc/7462/stat : 7462 (cosoco) R 7459 7462 4933 0 -1 4202496 113221 0 0 0 239991 9 0 0 20 0 1 0 17513092 161280000 33537 33554432000 4194304 5970956 140729234953504 140729234950376 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 30973952 140729234961601 140729234961731 140729234961731 140729234964430 0 /proc/7462/statm: 39375 33537 838 434 0 32739 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 157500 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.01 CPU user time (s): 2399.92 CPU system time (s): 0.092997 CPU usage (%): 99.9962 Max. virtual memory (cumulated for all children) (KiB): 157500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.92 system time used= 0.092997 maximum resident set size= 134192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113254 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35 involuntary context switches= 120705 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.20626 second user time and 8.46642 second system time The end
Begin job on node137 at 2017-07-21 14:38:51 IDJOB=4240895 IDBENCH=124394 IDSOLVER=2620 FILE ID=node137/4240895-1500640731 RUNJOBID= node137-1500635929-6890 PBS_JOBID= 20622996 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240895-1500640731/watcher-4240895-1500640731 -o /tmp/evaluation-result-4240895-1500640731/solver-4240895-1500640731 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500635929-6890 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240895-1500640731.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2 RANDOM SEED=1282547586 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.14 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 : 1600.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 : 1600.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.14 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 : 1600.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 : 1600.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.14 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 : 1733.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 : 1600.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.14 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 : 2267.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: 31296612 kB MemAvailable: 31664516 kB Buffers: 159924 kB Cached: 496380 kB SwapCached: 0 kB Active: 705452 kB Inactive: 349932 kB Active(anon): 401520 kB Inactive(anon): 17032 kB Active(file): 303932 kB Inactive(file): 332900 kB Unevictable: 6716 kB Mlocked: 6716 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2388 kB Writeback: 0 kB AnonPages: 405284 kB Mapped: 34488 kB Shmem: 17044 kB Slab: 118740 kB SReclaimable: 93812 kB SUnreclaim: 24928 kB KernelStack: 3568 kB PageTables: 5748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 683776 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 348160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62020 MiB End job on node137 at 2017-07-21 15:18:51