2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: cosoco 1.1	No Cert.		2400.01	2400.4

0.29/0.39	c best=?? lower=0 upper=1936 
20.17/20.22	c
20.17/20.22	c This is cosoco 1.0 --  
20.17/20.22	c
20.17/20.22	c enable optimization
20.17/20.22	c ========================================[ Problem Statistics ]===========================================
20.17/20.22	c |                                                                                                       
20.17/20.22	c |  Parse time        :         0.37 s 
20.17/20.22	c |
20.17/20.22	c |               Variables: 4279
20.17/20.22	c |            Domain Sizes: 2..4233
20.17/20.22	c |
20.17/20.22	c |             Constraints: 2565
20.17/20.22	c |                   Arity: 1..48  -- Unary: 185  -- Binary: 222  -- Ternary: 176
20.17/20.22	c | 
20.17/20.22	c |                   Types: 
20.17/20.22	c |                          : 172
20.17/20.22	c |                          Extension: 1940  (nb tuples: 1..724) -- (shared: 2107)
20.17/20.22	c |                          Intension: 222
20.17/20.22	c |                          Sum: 47
20.17/20.22	c |                          Unary: 184
20.17/20.22	c |                          
20.17/20.22	c =========================================================================================================
20.17/20.22	o 97
20.17/20.22	c    1 calls to solver: best=97 lower=98 upper=1936 
52.26/52.36	o 126
766.72/766.96	o 135
766.72/766.96	c    3 calls to solver: best=135 lower=136 upper=1936 
1732.78/1733.13	o 136
1838.07/1838.41	o 138
1838.07/1838.41	c    5 calls to solver: best=138 lower=139 upper=1936 
1970.15/1970.55	o 140
2026.74/2027.14	o 143
2026.74/2027.14	c    7 calls to solver: best=143 lower=144 upper=1936 
2400.00/2400.40	
2400.00/2400.40	c *** INTERRUPTED ***
2400.00/2400.40	s SATISFIABLE
2400.00/2400.40	c Best value found: 143
2400.00/2400.40	
2400.00/2400.40	
2400.00/2400.40	v <instantiation type='solution' cost='143'>
2400.00/2400.40	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z </list>
2400.00/2400.40	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 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 1 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 0 0 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 0 0 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 1 1 2 2 2 2 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 1 0 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 1 1 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 1 0 0 0 1 2 2 2 2 2 2 2 1 0 1 1 1 0 1 1 1 0 0 0 2 1 0 0 1 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 2 2 2 1 0 0 2 1 0 0 2 1 1 0 1 1 1 0 0 1 2 2 2 2 2 2 1 0 0 2 2 2 2 2 2 1 1 2 2 1 1 1 2 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 1 1 0 0 2 1 1 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 0 0 1 2 0 2 0 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 1 1 0 1 1 2 2 1 1 2 2 2 2 2 2 2 2 1 1 0 1 2 2 0 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 1 1 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 2 0 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 1 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 2 2 1 0 0 1 2 1 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 1 0 0 1 1 2 1 0 0 1 1 0 1 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 2 1 1 2 2 0 1 0 0 0 0 0 2 2 2 1 1 2 1 1 0 1 2 2 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 0 0 0 1 1 0 0 1 1 1 0 0 2

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-4239950-1500633679/watcher-4239950-1500633679 -o /tmp/evaluation-result-4239950-1500633679/solver-4239950-1500633679 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500623787-4394 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239950-1500633679.xml 

pid=5979
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.01 2.03 2.05 3/190 5982
/proc/meminfo: memFree=31091928/32770624 swapFree=6824/687840
[pid=5982] ppid=5979 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 969 0 0 0 0 0 0 0 20 0 1 0 24647263 27770880 802 33554432000 4194304 5970956 140722639346816 140722639343464 140107940445157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 6780 802 698 434 0 144 0

[startup+0.100156 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 5982
/proc/meminfo: memFree=31091928/32770624 swapFree=6824/687840
[pid=5982] ppid=5979 vsize=37732 CPUtime=0.09 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 3640 0 0 0 9 0 0 0 20 0 1 0 24647263 38637568 3446 33554432000 4194304 5970956 140722639346816 140722639343416 5496056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 9433 3446 721 434 0 2797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37732

[startup+0.200368 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 5982
/proc/meminfo: memFree=31091928/32770624 swapFree=6824/687840
[pid=5982] ppid=5979 vsize=73800 CPUtime=0.19 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 12726 0 0 0 18 1 0 0 20 0 1 0 24647263 75571200 12554 33554432000 4194304 5970956 140722639346816 140722639340248 140107940445157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 18450 12554 792 434 0 11814 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73800

[startup+0.300331 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 5982
/proc/meminfo: memFree=31091928/32770624 swapFree=6824/687840
[pid=5982] ppid=5979 vsize=76984 CPUtime=0.29 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 13528 0 0 0 28 1 0 0 20 0 1 0 24647263 78831616 13352 33554432000 4194304 5970956 140722639346816 140722639340248 140107950254673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 19246 13352 792 434 0 12610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76984

[startup+0.700235 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 5982
/proc/meminfo: memFree=31091928/32770624 swapFree=6824/687840
[pid=5982] ppid=5979 vsize=101892 CPUtime=0.69 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 19831 0 0 0 67 2 0 0 20 0 1 0 24647263 104337408 19657 33554432000 4194304 5970956 140722639346816 140722639343800 5039183 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 25473 19657 848 434 0 18837 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101892

[startup+1.50027 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 5983
/proc/meminfo: memFree=31003120/32770624 swapFree=6824/687756
[pid=5982] ppid=5979 vsize=116208 CPUtime=1.49 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 23397 0 0 0 146 3 0 0 20 0 1 0 24647263 118996992 23198 33554432000 4194304 5970956 140722639346816 140722639343640 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 29052 23198 848 434 0 22416 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116208

[startup+3.10027 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 5983
/proc/meminfo: memFree=31001596/32770624 swapFree=6824/687876
[pid=5982] ppid=5979 vsize=116208 CPUtime=3.09 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 33029 0 0 0 306 3 0 0 20 0 1 0 24647263 118996992 23238 33554432000 4194304 5970956 140722639346816 140722639343640 5038197 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 29052 23238 848 434 0 22416 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116208

[startup+6.30028 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 5983
/proc/meminfo: memFree=30996264/32770624 swapFree=6824/687876
[pid=5982] ppid=5979 vsize=129252 CPUtime=6.29 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 50063 0 0 0 624 5 0 0 20 0 1 0 24647263 132354048 26495 33554432000 4194304 5970956 140722639346816 140722639343544 4908767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 32313 26495 848 434 0 25677 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129252

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 5983
/proc/meminfo: memFree=30966752/32770624 swapFree=6824/687888
[pid=5982] ppid=5979 vsize=167776 CPUtime=12.68 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 77789 0 0 0 1262 6 0 0 20 0 1 0 24647263 171802624 35904 33554432000 4194304 5970956 140722639346816 140722639343688 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 41944 35904 848 434 0 35308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 167776

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 5983
/proc/meminfo: memFree=30922276/32770624 swapFree=6824/687900
[pid=5982] ppid=5979 vsize=197320 CPUtime=25.48 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 127173 0 0 0 2538 10 0 0 20 0 1 0 24647263 202055680 43035 33554432000 4194304 5970956 140722639346816 140722639334120 5039193 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 49330 43035 850 434 0 42694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 197320

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 5983
/proc/meminfo: memFree=30915016/32770624 swapFree=6824/687916
[pid=5982] ppid=5979 vsize=203988 CPUtime=51.05 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 158485 0 0 0 5094 11 0 0 20 0 1 0 24647263 208883712 44667 33554432000 4194304 5970956 140722639346816 140722639343688 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 50997 44667 850 434 0 44361 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 203988

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 5984
/proc/meminfo: memFree=30902976/32770624 swapFree=6824/687948
[pid=5982] ppid=5979 vsize=214284 CPUtime=102.22 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 178490 0 0 0 10209 13 0 0 20 0 1 0 24647263 219426816 47327 33554432000 4194304 5970956 140722639346816 140722639343544 4964366 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 53571 47327 850 434 0 46935 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 214284

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5985
/proc/meminfo: memFree=30898664/32770624 swapFree=6824/687968
[pid=5982] ppid=5979 vsize=218376 CPUtime=162.2 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 180983 0 0 0 16206 14 0 0 20 0 1 0 24647263 223617024 48610 33554432000 4194304 5970956 140722639346816 140722639343640 4934327 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 54594 48610 850 434 0 47958 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 218376

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5986
/proc/meminfo: memFree=30898324/32770624 swapFree=6824/688008
[pid=5982] ppid=5979 vsize=219212 CPUtime=222.2 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 182839 0 0 0 22206 14 0 0 20 0 1 0 24647263 224473088 48860 33554432000 4194304 5970956 140722639346816 140722639343528 5038334 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 54803 48860 850 434 0 48167 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 219212

[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/191 5987
/proc/meminfo: memFree=30898016/32770624 swapFree=6824/688040
[pid=5982] ppid=5979 vsize=220444 CPUtime=282.19 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 184990 0 0 0 28205 14 0 0 20 0 1 0 24647263 225734656 49128 33554432000 4194304 5970956 140722639346816 140722639343640 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 55111 49128 850 434 0 48475 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 220444

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/191 5988
/proc/meminfo: memFree=30896396/32770624 swapFree=6824/688080
[pid=5982] ppid=5979 vsize=221120 CPUtime=342.17 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 187017 0 0 0 34203 14 0 0 20 0 1 0 24647263 226426880 49392 33554432000 4194304 5970956 140722639346816 140722639343528 5038721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 55280 49392 850 434 0 48644 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 221120

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 5989
/proc/meminfo: memFree=30896360/32770624 swapFree=6824/688104
[pid=5982] ppid=5979 vsize=221540 CPUtime=402.16 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 187872 0 0 0 40202 14 0 0 20 0 1 0 24647263 226856960 49484 33554432000 4194304 5970956 140722639346816 140722639343528 5322037 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 55385 49484 850 434 0 48749 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 221540

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5990
/proc/meminfo: memFree=30895112/32770624 swapFree=6824/688132
[pid=5982] ppid=5979 vsize=222648 CPUtime=462.15 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 188938 0 0 0 46201 14 0 0 20 0 1 0 24647263 227991552 49748 33554432000 4194304 5970956 140722639346816 140722639343640 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 55662 49748 850 434 0 49026 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 222648

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5991
/proc/meminfo: memFree=30894316/32770624 swapFree=6824/688172
[pid=5982] ppid=5979 vsize=223212 CPUtime=522.16 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 189664 0 0 0 52201 15 0 0 20 0 1 0 24647263 228569088 49866 33554432000 4194304 5970956 140722639346816 140722639343640 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 55803 49866 850 434 0 49167 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 223212

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 5998
/proc/meminfo: memFree=30893428/32770624 swapFree=6824/688208
[pid=5982] ppid=5979 vsize=223356 CPUtime=582.15 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 190659 0 0 0 58200 15 0 0 20 0 1 0 24647263 228716544 49945 33554432000 4194304 5970956 140722639346816 140722639343688 5311659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 55839 49945 850 434 0 49203 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 223356


################
# More data... #
################


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6040
/proc/meminfo: memFree=30887084/32770624 swapFree=6824/688712
[pid=5982] ppid=5979 vsize=228824 CPUtime=1482.02 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 200988 0 0 0 148186 16 0 0 20 0 1 0 24647263 234315776 51356 33554432000 4194304 5970956 140722639346816 140722639343528 4930640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57206 51356 850 434 0 50570 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 228824

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6041
/proc/meminfo: memFree=30886780/32770624 swapFree=6824/688740
[pid=5982] ppid=5979 vsize=228968 CPUtime=1542.02 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 201665 0 0 0 154186 16 0 0 20 0 1 0 24647263 234463232 51384 33554432000 4194304 5970956 140722639346816 140722639343640 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57242 51384 850 434 0 50606 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 228968

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6042
/proc/meminfo: memFree=30886744/32770624 swapFree=6824/688768
[pid=5982] ppid=5979 vsize=228968 CPUtime=1602 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 202065 0 0 0 160184 16 0 0 20 0 1 0 24647263 234463232 51388 33554432000 4194304 5970956 140722639346816 140722639343640 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57242 51388 850 434 0 50606 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 228968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6043
/proc/meminfo: memFree=30886748/32770624 swapFree=6824/688800
[pid=5982] ppid=5979 vsize=228968 CPUtime=1661.99 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 202691 0 0 0 166183 16 0 0 20 0 1 0 24647263 234463232 51388 33554432000 4194304 5970956 140722639346816 140722639343640 5327380 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57242 51388 850 434 0 50606 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 228968

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6044
/proc/meminfo: memFree=30886460/32770624 swapFree=6824/688832
[pid=5982] ppid=5979 vsize=229244 CPUtime=1721.98 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 203271 0 0 0 172182 16 0 0 20 0 1 0 24647263 234745856 51392 33554432000 4194304 5970956 140722639346816 140722639343640 5327360 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57311 51392 850 434 0 50675 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 229244

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6050
/proc/meminfo: memFree=30885404/32770624 swapFree=6824/688872
[pid=5982] ppid=5979 vsize=230244 CPUtime=1781.98 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 204186 0 0 0 178182 16 0 0 20 0 1 0 24647263 235769856 51644 33554432000 4194304 5970956 140722639346816 140722639344376 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57561 51644 850 434 0 50925 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 230244

[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 6051
/proc/meminfo: memFree=30885024/32770624 swapFree=6824/688900
[pid=5982] ppid=5979 vsize=230812 CPUtime=1841.97 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 205108 0 0 0 184181 16 0 0 20 0 1 0 24647263 236351488 51775 33554432000 4194304 5970956 140722639346816 140722639334120 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57703 51775 850 434 0 51067 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 230812

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 6052
/proc/meminfo: memFree=30884312/32770624 swapFree=6824/688932
[pid=5982] ppid=5979 vsize=230812 CPUtime=1901.96 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 205588 0 0 0 190180 16 0 0 20 0 1 0 24647263 236351488 51824 33554432000 4194304 5970956 140722639346816 140722639334120 5311659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57703 51824 850 434 0 51067 0
Current children cumulated CPU time (s) 1901.96
Current children cumulated vsize (KiB) 230812

[startup+1962.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/191 6053
/proc/meminfo: memFree=30884376/32770624 swapFree=6824/688964
[pid=5982] ppid=5979 vsize=230812 CPUtime=1961.95 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 206006 0 0 0 196179 16 0 0 20 0 1 0 24647263 236351488 51824 33554432000 4194304 5970956 140722639346816 140722639334120 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57703 51824 850 434 0 51067 0
Current children cumulated CPU time (s) 1961.95
Current children cumulated vsize (KiB) 230812

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 6054
/proc/meminfo: memFree=30883976/32770624 swapFree=6824/688996
[pid=5982] ppid=5979 vsize=231232 CPUtime=2021.94 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 206989 0 0 0 202178 16 0 0 20 0 1 0 24647263 236781568 51917 33554432000 4194304 5970956 140722639346816 140722639344376 5069929 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 57808 51917 850 434 0 51172 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 231232

[startup+2082.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 6055
/proc/meminfo: memFree=30882404/32770624 swapFree=6824/689032
[pid=5982] ppid=5979 vsize=232104 CPUtime=2081.94 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 207776 0 0 0 208178 16 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 232104

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 6056
/proc/meminfo: memFree=30882624/32770624 swapFree=6824/689060
[pid=5982] ppid=5979 vsize=232104 CPUtime=2141.92 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 208205 0 0 0 214176 16 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2141.92
Current children cumulated vsize (KiB) 232104

[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 6057
/proc/meminfo: memFree=30882868/32770624 swapFree=6824/689088
[pid=5982] ppid=5979 vsize=232104 CPUtime=2201.92 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 208630 0 0 0 220176 16 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2201.92
Current children cumulated vsize (KiB) 232104

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 6058
/proc/meminfo: memFree=30883088/32770624 swapFree=6824/689116
[pid=5982] ppid=5979 vsize=232104 CPUtime=2261.91 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 209176 0 0 0 226175 16 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 4930665 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2261.91
Current children cumulated vsize (KiB) 232104

[startup+2322.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/191 6181
/proc/meminfo: memFree=30909596/32770624 swapFree=6824/689392
[pid=5982] ppid=5979 vsize=232104 CPUtime=2321.9 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 209603 0 0 0 232174 16 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2321.9
Current children cumulated vsize (KiB) 232104

[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/191 6187
/proc/meminfo: memFree=30908280/32770624 swapFree=6824/689444
[pid=5982] ppid=5979 vsize=232104 CPUtime=2381.9 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 210026 0 0 0 238173 17 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 5069920 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2381.9
Current children cumulated vsize (KiB) 232104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.01 2.01 2.04 3/191 6187
/proc/meminfo: memFree=30908280/32770624 swapFree=6824/689448
[pid=5982] ppid=5979 vsize=232104 CPUtime=2400 cores=1,3,5,7
/proc/5982/stat : 5982 (cosoco) R 5979 5982 4362 0 -1 4202496 210417 0 0 0 239983 17 0 0 20 0 1 0 24647263 237674496 52179 33554432000 4194304 5970956 140722639346816 140722639334120 4965178 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 34058240 140722639353025 140722639353155 140722639353155 140722639355854 0
/proc/5982/statm: 58026 52179 850 434 0 51390 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 232104

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 5982 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.01
CPU user time (s): 2399.83
CPU system time (s): 0.171976
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 232104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.83
system time used= 0.171976
maximum resident set size= 208760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210486
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= 106
involuntary context switches= 120879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22804 second user time and 9.00937 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml
MD5SUM	4997da7be544d89c7d7e917a89d7c5a2
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	941
Best CPU time to get the best result obtained on this benchmark	2519.6799
Satisfiable
(Un)Satisfiability was proved
Number of variables	4279
Number of constraints	2384
Number of domains	4
Minimum domain size	2
Maximum domain size	4233
Distribution of domain sizes	[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree	1
Maximum variable degree	47
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	48
Distribution of constraint arities	[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints	2112
Number of intensional constraints	221
Distribution of constraint types	[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4239950

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data