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-sat 1.1	No Cert.		2400.57	2401.3

30.76/30.83	c SAT : Variables: 194270 -- Clauses: 370869896
30.76/30.83	c best=?? lower=0 upper=1849 
86.73/86.90	c
86.73/86.90	c This is cosoco 1.0 --  
86.73/86.90	c
86.73/86.90	c enable optimization
86.73/86.90	c ========================================[ Problem Statistics ]===========================================
86.73/86.90	c |                                                                                                       
86.73/86.90	c |  Parse time        :        27.43 s 
86.73/86.90	c |
86.73/86.90	c |               Variables: 4096
86.73/86.90	c |            Domain Sizes: 2..4051
86.73/86.90	c |
86.73/86.90	c |             Constraints: 2464
86.73/86.90	c |                   Arity: 1..47  -- Unary: 181  -- Binary: 217  -- Ternary: 172
86.73/86.90	c | 
86.73/86.90	c |                   Types: 
86.73/86.90	c |                          : 168
86.73/86.90	c |                          Extension: 1853  (nb tuples: 1..724) -- (shared: 2016)
86.73/86.90	c |                          Intension: 217
86.73/86.90	c |                          Sum: 46
86.73/86.90	c |                          Unary: 180
86.73/86.90	c |                          
86.73/86.90	c =========================================================================================================
86.73/86.90	o 26
86.73/86.90	c    1 calls to solver: best=26 lower=27 upper=1849 
126.11/126.22	o 30
143.31/143.41	o 31
143.31/143.41	c    3 calls to solver: best=31 lower=32 upper=1849 
148.42/148.54	o 32
171.30/171.49	o 33
171.30/171.49	c    5 calls to solver: best=33 lower=34 upper=1849 
177.70/177.81	o 35
449.43/449.63	o 136
449.43/449.63	c    7 calls to solver: best=136 lower=137 upper=1849 
456.12/456.34	o 147
460.92/461.12	o 155
460.92/461.12	c    9 calls to solver: best=155 lower=156 upper=1849 
616.77/617.03	o 157
896.69/897.07	o 160
896.69/897.07	c   11 calls to solver: best=160 lower=161 upper=1849 
1304.90/1305.36	o 267
1846.93/1847.50	o 268
1846.93/1847.50	c   13 calls to solver: best=268 lower=269 upper=1849 
2400.09/2400.80	
2400.09/2400.80	c *** INTERRUPTED ***
2400.09/2400.80	s SATISFIABLE
2400.09/2400.80	c Best value found: 268
2400.09/2400.80	
2400.09/2400.80	
2400.09/2400.80	v <instantiation type='solution' cost='268'>
2400.09/2400.80	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2400.09/2400.80	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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 1 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 1 1 0 0 0 0 1 0 1 1 0 1 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 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 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 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 1 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 1 0 1 0 0 1 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 1 1 0 1 0 0 0 1 1 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 1 0 0 1 1 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 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 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 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 0 0 2 2 1 1 1 2 1 2 2 2 1 1 2 1 1 2 2 2 0 1 0 0 0 0 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 1 1 2 1 0 1 0 1 0 2 0 0 0 0 0 0 1 2 1 0 0 0 0 1 0 0 0 1 0 2 2 1 1 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 1 0 0 0 0 1 0 0 2 0 0 0 0 1 2 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 0 0 0 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 2 2 2 2 1 0 0 0 1 1 2 2 2 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 1 0 2 2 2 1 1 0 0 0 1 2 2 2 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 2 1 2 1 1 2 2 2 2 1 1 1 2 1 0 0 2 2 1 1 2 1 1 2 1 1 2 1 2 2 2 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 0 0 0 0 0 0 0 0 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 1 1 2 2 1 0 0 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 1 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 1 0 1 1 0 1 1 0 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 1 1 2 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 0 0 1 1 1 2 1 1 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 0 0 0 0 0 1 0 0 1 0 0 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 2 2 2 2 2 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 1 2 2 1 1 2 1 1 1 1 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 1 1 2 2 1 0 1 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 0 0 0 1 2 2 0 0

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-4239984-1500634142/watcher-4239984-1500634142 -o /tmp/evaluation-result-4239984-1500634142/solver-4239984-1500634142 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4668 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239984-1500634142.xml 

pid=6195
running on 4 cores: 0,2,4,6

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: 3.94 4.30 3.42 3/188 6198
/proc/meminfo: memFree=31785244/32770624 swapFree=6644/12216
[pid=6198] ppid=6195 vsize=26912 CPUtime=0 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4194304 510 0 1 0 0 0 0 0 20 0 1 0 18046198 27557888 355 33554432000 4194304 5970956 140720615467024 140720615463672 139782925179824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 6728 355 317 434 0 60 0

[startup+0.100118 s]
/proc/loadavg: 3.94 4.30 3.42 3/188 6198
/proc/meminfo: memFree=31785244/32770624 swapFree=6644/12216
[pid=6198] ppid=6195 vsize=37068 CPUtime=0.08 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3468 0 1 0 8 0 0 0 20 0 1 0 18046198 37957632 3283 33554432000 4194304 5970956 140720615467024 140720615463624 139782909181284 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 9267 3283 720 434 0 2631 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37068

[startup+0.200337 s]
/proc/loadavg: 3.94 4.30 3.42 3/188 6198
/proc/meminfo: memFree=31785244/32770624 swapFree=6644/12216
[pid=6198] ppid=6195 vsize=69184 CPUtime=0.19 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 11596 0 1 0 17 2 0 0 20 0 1 0 18046198 70844416 11413 33554432000 4194304 5970956 140720615467024 140720615460456 5219166 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 17296 11413 792 434 0 10660 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69184

[startup+0.30027 s]
/proc/loadavg: 3.94 4.30 3.42 3/188 6198
/proc/meminfo: memFree=31785244/32770624 swapFree=6644/12216
[pid=6198] ppid=6195 vsize=72252 CPUtime=0.28 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 12345 0 1 0 26 2 0 0 20 0 1 0 18046198 73986048 12139 33554432000 4194304 5970956 140720615467024 140720615460456 139782909133424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 18063 12139 792 434 0 11427 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 72252

[startup+0.700284 s]
/proc/loadavg: 3.94 4.30 3.42 3/188 6198
/proc/meminfo: memFree=31785244/32770624 swapFree=6644/12216
[pid=6198] ppid=6195 vsize=267620 CPUtime=0.69 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 42401 0 1 0 62 7 0 0 20 0 1 0 18046198 274042880 52911 33554432000 4194304 5970956 140720615467024 140720615463848 5251805 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 66905 52911 839 434 0 60269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 267620

[startup+1.50023 s]
/proc/loadavg: 3.94 4.30 3.42 3/189 6199
/proc/meminfo: memFree=31393844/32770624 swapFree=6644/12760
[pid=6198] ppid=6195 vsize=627968 CPUtime=1.49 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 89682 0 1 0 133 16 0 0 20 0 1 0 18046198 643039232 147220 33554432000 4194304 5970956 140720615467024 140720615463848 5279679 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 157030 147220 839 434 0 150394 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 627968

[startup+3.10025 s]
/proc/loadavg: 3.94 4.30 3.42 3/189 6199
/proc/meminfo: memFree=30873532/32770624 swapFree=6644/12760
[pid=6198] ppid=6195 vsize=1419092 CPUtime=3.08 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 181908 0 1 0 274 34 0 0 20 0 1 0 18046198 1453150208 333568 33554432000 4194304 5970956 140720615467024 140720615464152 5279748 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 354773 333568 839 434 0 348137 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1419092

[startup+6.30025 s]
/proc/loadavg: 3.79 4.26 3.41 3/189 6199
/proc/meminfo: memFree=29325048/32770624 swapFree=6644/12804
[pid=6198] ppid=6195 vsize=3253972 CPUtime=6.28 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 367228 0 1 0 554 74 0 0 20 0 1 0 18046198 3332067328 708032 33554432000 4194304 5970956 140720615467024 140720615463848 5251805 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 813531 708032 839 434 0 806895 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3253972

[startup+12.7002 s]
/proc/loadavg: 3.64 4.22 3.40 3/189 6199
/proc/meminfo: memFree=26257328/32770624 swapFree=6644/12808
[pid=6198] ppid=6195 vsize=6034028 CPUtime=12.67 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 726936 0 1 0 1126 141 0 0 20 0 1 0 18046198 6178844672 1447495 33554432000 4194304 5970956 140720615467024 140720615463848 5251805 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 1508507 1447495 839 434 0 1501871 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 6034028

[startup+25.5003 s]
/proc/loadavg: 3.28 4.11 3.38 3/189 6199
/proc/meminfo: memFree=20251516/32770624 swapFree=6644/12820
[pid=6198] ppid=6195 vsize=13742008 CPUtime=25.46 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1438995 0 1 0 2264 282 0 0 20 0 1 0 18046198 14071816192 2901341 33554432000 4194304 5970956 140720615467024 140720615463848 139782909205035 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3435502 2901341 839 434 0 3428866 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13742008

[startup+51.1003 s]
/proc/loadavg: 2.91 3.96 3.35 3/189 6199
/proc/meminfo: memFree=17730412/32770624 swapFree=6644/12840
[pid=6198] ppid=6195 vsize=14962244 CPUtime=51.04 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1747627 0 1 0 4765 339 0 0 20 0 1 0 18046198 15321337856 3509074 33554432000 4194304 5970956 140720615467024 140720615464360 5327360 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3740561 3509074 855 434 0 3733925 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 14962244

[startup+102.3 s]
/proc/loadavg: 2.50 3.69 3.29 3/190 6208
/proc/meminfo: memFree=17670424/32770624 swapFree=6644/13224
[pid=6198] ppid=6195 vsize=15013352 CPUtime=102.23 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1819119 0 1 0 9879 344 0 0 20 0 1 0 18046198 15373672448 3522505 33554432000 4194304 5970956 140720615467024 140720615463848 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3753338 3522505 857 434 0 3746702 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 15013352

[startup+162.3 s]
/proc/loadavg: 2.18 3.38 3.21 3/189 6209
/proc/meminfo: memFree=17655772/32770624 swapFree=6644/13272
[pid=6198] ppid=6195 vsize=15023688 CPUtime=162.21 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1901149 0 1 0 15871 350 0 0 20 0 1 0 18046198 15384256512 3526247 33554432000 4194304 5970956 140720615467024 140720615464360 4961194 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3755922 3526247 857 434 0 3749286 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 15023688

[startup+222.306 s]
/proc/loadavg: 2.07 3.13 3.13 3/189 6210
/proc/meminfo: memFree=17648820/32770624 swapFree=6644/13320
[pid=6198] ppid=6195 vsize=15026060 CPUtime=222.2 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1928676 0 1 0 21867 353 0 0 20 0 1 0 18046198 15386685440 3527984 33554432000 4194304 5970956 140720615467024 140720615464360 5039204 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3756515 3527984 857 434 0 3749879 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 15026060

[startup+282.3 s]
/proc/loadavg: 2.02 2.92 3.06 3/189 6211
/proc/meminfo: memFree=17641572/32770624 swapFree=6644/13368
[pid=6198] ppid=6195 vsize=15028732 CPUtime=282.17 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1959880 0 1 0 27863 354 0 0 20 0 1 0 18046198 15389421568 3530366 33554432000 4194304 5970956 140720615467024 140720615464360 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3757183 3530366 857 434 0 3750547 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 15028732

[startup+342.3 s]
/proc/loadavg: 2.04 2.77 3.00 3/188 6212
/proc/meminfo: memFree=17632216/32770624 swapFree=6644/13400
[pid=6198] ppid=6195 vsize=15031256 CPUtime=342.16 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 1994126 0 1 0 33858 358 0 0 20 0 1 0 18046198 15392006144 3532203 33554432000 4194304 5970956 140720615467024 140720615464360 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3757814 3532203 857 434 0 3751178 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 15031256

[startup+402.3 s]
/proc/loadavg: 2.02 2.63 2.94 3/187 6214
/proc/meminfo: memFree=17621744/32770624 swapFree=6644/13436
[pid=6198] ppid=6195 vsize=15034672 CPUtime=402.13 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 2060317 0 1 0 39852 361 0 0 20 0 1 0 18046198 15395504128 3534663 33554432000 4194304 5970956 140720615467024 140720615463896 5039186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3758668 3534663 857 434 0 3752032 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 15034672

[startup+462.3 s]
/proc/loadavg: 2.01 2.52 2.88 3/187 6215
/proc/meminfo: memFree=17610672/32770624 swapFree=6644/13472
[pid=6198] ppid=6195 vsize=15041500 CPUtime=462.12 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 2151642 0 1 0 45846 366 0 0 20 0 1 0 18046198 15402496000 3537515 33554432000 4194304 5970956 140720615467024 140720615463848 4908985 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3760375 3537515 857 434 0 3753739 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 15041500

[startup+522.3 s]
/proc/loadavg: 2.08 2.44 2.83 3/187 6216
/proc/meminfo: memFree=17601552/32770624 swapFree=6644/13520
[pid=6198] ppid=6195 vsize=15043248 CPUtime=522.1 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 2235796 0 1 0 51840 370 0 0 20 0 1 0 18046198 15404285952 3539689 33554432000 4194304 5970956 140720615467024 140720615464360 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3760812 3539689 857 434 0 3754176 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 15043248

[startup+582.3 s]
/proc/loadavg: 2.03 2.36 2.78 3/187 6218
/proc/meminfo: memFree=17598240/32770624 swapFree=6644/13556
[pid=6198] ppid=6195 vsize=15043360 CPUtime=582.08 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 2277377 0 1 0 57836 372 0 0 20 0 1 0 18046198 15404400640 3540408 33554432000 4194304 5970956 140720615467024 140720615464360 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3760840 3540408 857 434 0 3754204 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 15043360


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.04 2.30 3/187 6395
/proc/meminfo: memFree=17629656/32770624 swapFree=6644/14908
[pid=6198] ppid=6195 vsize=15048780 CPUtime=1541.83 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 2971929 0 1 0 153771 412 0 0 20 0 1 0 18046198 15409950720 3555162 33554432000 4194304 5970956 140720615467024 140720615464584 4934323 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762195 3555162 857 434 0 3755559 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 15048780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.28 3/187 6396
/proc/meminfo: memFree=17626292/32770624 swapFree=6644/14924
[pid=6198] ppid=6195 vsize=15048780 CPUtime=1601.79 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 2999976 0 1 0 159765 414 0 0 20 0 1 0 18046198 15409950720 3555928 33554432000 4194304 5970956 140720615467024 140720615464584 4930600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762195 3555928 857 434 0 3755559 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 15048780

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.26 3/187 6397
/proc/meminfo: memFree=17620804/32770624 swapFree=6644/14968
[pid=6198] ppid=6195 vsize=15048864 CPUtime=1661.77 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3024225 0 1 0 165761 416 0 0 20 0 1 0 18046198 15410036736 3557323 33554432000 4194304 5970956 140720615467024 140720615464360 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762216 3557323 857 434 0 3755580 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 15048864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.24 3/187 6398
/proc/meminfo: memFree=17618296/32770624 swapFree=6644/14992
[pid=6198] ppid=6195 vsize=15048864 CPUtime=1721.75 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3040965 0 1 0 171758 417 0 0 20 0 1 0 18046198 15410036736 3557970 33554432000 4194304 5970956 140720615467024 140720615464360 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762216 3557970 857 434 0 3755580 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 15048864

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.23 3/187 6399
/proc/meminfo: memFree=17614632/32770624 swapFree=6644/15040
[pid=6198] ppid=6195 vsize=15048864 CPUtime=1781.74 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3060350 0 1 0 177755 419 0 0 20 0 1 0 18046198 15410036736 3558845 33554432000 4194304 5970956 140720615467024 140720615464360 5039162 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762216 3558845 857 434 0 3755580 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 15048864

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/187 6400
/proc/meminfo: memFree=17610852/32770624 swapFree=6644/15068
[pid=6198] ppid=6195 vsize=15048864 CPUtime=1841.73 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3125550 0 1 0 183751 422 0 0 20 0 1 0 18046198 15410036736 3559629 33554432000 4194304 5970956 140720615467024 140720615464360 4964366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762216 3559629 857 434 0 3755580 0
Current children cumulated CPU time (s) 1841.73
Current children cumulated vsize (KiB) 15048864

[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.21 3/187 6408
/proc/meminfo: memFree=17608272/32770624 swapFree=6644/15124
[pid=6198] ppid=6195 vsize=15049124 CPUtime=1901.72 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3159771 0 1 0 189748 424 0 0 20 0 1 0 18046198 15410302976 3560337 33554432000 4194304 5970956 140720615467024 140720615464360 5327374 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3560337 857 434 0 3755645 0
Current children cumulated CPU time (s) 1901.72
Current children cumulated vsize (KiB) 15049124

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.20 3/187 6409
/proc/meminfo: memFree=17604732/32770624 swapFree=6644/15140
[pid=6198] ppid=6195 vsize=15049124 CPUtime=1961.7 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3165343 0 1 0 195746 424 0 0 20 0 1 0 18046198 15410302976 3561205 33554432000 4194304 5970956 140720615467024 140720615464360 5039162 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3561205 857 434 0 3755645 0
Current children cumulated CPU time (s) 1961.7
Current children cumulated vsize (KiB) 15049124

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.18 3/187 6410
/proc/meminfo: memFree=17600828/32770624 swapFree=6644/15188
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2021.69 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3192172 0 1 0 201743 426 0 0 20 0 1 0 18046198 15410302976 3562064 33554432000 4194304 5970956 140720615467024 140720615464360 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3562064 857 434 0 3755645 0
Current children cumulated CPU time (s) 2021.69
Current children cumulated vsize (KiB) 15049124

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.18 3/187 6411
/proc/meminfo: memFree=17598136/32770624 swapFree=6644/15228
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2081.67 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3220963 0 1 0 207738 429 0 0 20 0 1 0 18046198 15410302976 3562735 33554432000 4194304 5970956 140720615467024 140720615464360 4923017 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3562735 857 434 0 3755645 0
Current children cumulated CPU time (s) 2081.67
Current children cumulated vsize (KiB) 15049124

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.17 3/187 6412
/proc/meminfo: memFree=17594968/32770624 swapFree=6644/15264
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2141.65 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3226250 0 1 0 213735 430 0 0 20 0 1 0 18046198 15410302976 3563527 33554432000 4194304 5970956 140720615467024 140720615464360 4933072 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3563527 857 434 0 3755645 0
Current children cumulated CPU time (s) 2141.65
Current children cumulated vsize (KiB) 15049124

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.15 3/187 6414
/proc/meminfo: memFree=17591424/32770624 swapFree=6644/15300
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2201.64 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3253387 0 1 0 219732 432 0 0 20 0 1 0 18046198 15410302976 3564364 33554432000 4194304 5970956 140720615467024 140720615464360 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3564364 857 434 0 3755645 0
Current children cumulated CPU time (s) 2201.64
Current children cumulated vsize (KiB) 15049124

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/187 6415
/proc/meminfo: memFree=17588752/32770624 swapFree=6644/15332
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2261.62 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3267335 0 1 0 225729 433 0 0 20 0 1 0 18046198 15410302976 3565087 33554432000 4194304 5970956 140720615467024 140720615464360 5337513 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3565087 857 434 0 3755645 0
Current children cumulated CPU time (s) 2261.62
Current children cumulated vsize (KiB) 15049124

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/187 6416
/proc/meminfo: memFree=17585328/32770624 swapFree=6644/15372
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2321.61 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3277051 0 1 0 231726 435 0 0 20 0 1 0 18046198 15410302976 3565942 33554432000 4194304 5970956 140720615467024 140720615464360 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3565942 857 434 0 3755645 0
Current children cumulated CPU time (s) 2321.61
Current children cumulated vsize (KiB) 15049124

[startup+2382.3 s]
/proc/loadavg: 2.12 2.04 2.14 3/187 6418
/proc/meminfo: memFree=17582536/32770624 swapFree=6644/15396
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2381.59 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3298397 0 1 0 237722 437 0 0 20 0 1 0 18046198 15410302976 3566686 33554432000 4194304 5970956 140720615467024 140720615464360 4961194 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3566686 857 434 0 3755645 0
Current children cumulated CPU time (s) 2381.59
Current children cumulated vsize (KiB) 15049124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.09 2.04 2.14 3/187 6418
/proc/meminfo: memFree=17581124/32770624 swapFree=6644/15416
[pid=6198] ppid=6195 vsize=15049124 CPUtime=2400.09 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202496 3299023 0 1 0 239572 437 0 0 20 0 1 0 18046198 15410302976 3567014 33554432000 4194304 5970956 140720615467024 140720615464360 4930665 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19607552 140720615474364 140720615474499 140720615474499 140720615477198 0
/proc/6198/statm: 3762281 3567014 857 434 0 3755645 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 15049124

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

[startup+2401.2 s]
/proc/loadavg: 2.09 2.04 2.14 3/187 6418
/proc/meminfo: memFree=17581124/32770624 swapFree=6644/15416
[pid=6198] ppid=6195 vsize=0 CPUtime=2400.49 cores=0,2,4,6
/proc/6198/stat : 6198 (cosoco) R 6195 6198 4637 0 -1 4202500 3299057 0 1 0 239572 477 0 0 20 0 1 0 18046198 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6198/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.49
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2401.3
CPU time (s): 2400.57
CPU user time (s): 2395.72
CPU system time (s): 4.84971
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 15049124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.72
system time used= 4.84971
maximum resident set size= 14268096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3299057
page faults= 1
swaps= 0
block input operations= 944
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 123063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00497 second user time and 9.20123 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml
MD5SUM	2bbdfe474604d495dd31c09972612e7d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	911
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	4096
Number of constraints	2287
Number of domains	4
Minimum domain size	2
Maximum domain size	4051
Distribution of domain sizes	[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree	1
Maximum variable degree	46
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	47
Distribution of constraint arities	[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints	2021
Number of intensional constraints	216
Distribution of constraint types	[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4239984

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