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.49	2401.28

27.37/27.47	c SAT : Variables: 181857 -- Clauses: 331486023
27.37/27.48	c best=?? lower=0 upper=1764 
81.47/81.58	c
81.47/81.58	c This is cosoco 1.0 --  
81.47/81.58	c
81.47/81.58	c enable optimization
81.47/81.58	c ========================================[ Problem Statistics ]===========================================
81.47/81.58	c |                                                                                                       
81.47/81.58	c |  Parse time        :        24.44 s 
81.47/81.58	c |
81.47/81.58	c |               Variables: 3917
81.47/81.58	c |            Domain Sizes: 2..3873
81.47/81.58	c |
81.47/81.58	c |             Constraints: 2365
81.47/81.58	c |                   Arity: 1..46  -- Unary: 177  -- Binary: 212  -- Ternary: 168
81.47/81.58	c | 
81.47/81.58	c |                   Types: 
81.47/81.58	c |                          : 164
81.47/81.58	c |                          Extension: 1768  (nb tuples: 1..724) -- (shared: 1927)
81.47/81.58	c |                          Intension: 212
81.47/81.58	c |                          Sum: 45
81.47/81.58	c |                          Unary: 176
81.47/81.58	c |                          
81.47/81.58	c =========================================================================================================
81.47/81.58	o 0
81.47/81.58	c    1 calls to solver: best=0 lower=1 upper=1764 
82.66/82.73	o 3
87.25/87.34	o 4
87.25/87.34	c    3 calls to solver: best=4 lower=5 upper=1764 
89.46/89.55	o 18
98.75/98.85	o 21
98.75/98.85	c    5 calls to solver: best=21 lower=22 upper=1764 
105.96/106.10	o 27
107.55/107.69	o 28
107.55/107.69	c    7 calls to solver: best=28 lower=29 upper=1764 
246.42/246.54	o 39
332.29/332.49	o 42
332.29/332.49	c    9 calls to solver: best=42 lower=43 upper=1764 
390.07/390.23	o 47
450.85/451.04	o 52
450.85/451.04	c   11 calls to solver: best=52 lower=53 upper=1764 
452.25/452.44	o 53
453.35/453.50	o 54
453.35/453.50	c   13 calls to solver: best=54 lower=55 upper=1764 
472.04/472.27	o 55
473.24/473.47	o 58
473.24/473.47	c   15 calls to solver: best=58 lower=59 upper=1764 
474.53/474.71	o 65
482.53/482.72	o 123
482.53/482.72	c   17 calls to solver: best=123 lower=124 upper=1764 
497.43/497.69	o 128
521.72/521.90	o 205
521.72/521.90	c   19 calls to solver: best=205 lower=206 upper=1764 
567.01/567.22	o 230
597.80/598.05	o 231
597.80/598.05	c   21 calls to solver: best=231 lower=232 upper=1764 
1442.72/1443.26	o 232
2400.01/2400.80	
2400.01/2400.80	c *** INTERRUPTED ***
2400.01/2400.80	s SATISFIABLE
2400.01/2400.80	c Best value found: 232
2400.01/2400.80	
2400.01/2400.80	
2400.01/2400.80	v <instantiation type='solution' cost='232'>
2400.01/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2400.01/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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 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 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 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 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 1 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 1 1 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 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 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 1 1 1 1 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 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 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 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 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 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 1 0 1 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 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 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 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 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 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 1 1 1 1 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 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 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 2 2 2 1 1 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 2 2 1 0 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 2 2 2 2 2 2 2 2 2 1 1 1 0 0 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 0 1 1 2 2 2 2 2 1 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 1 1 0 1 0 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 1 1 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 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 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 1 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 0 0 0 0 1 1 2 2 1 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 1 1 1 1 2 2 2 2 2 2 2 2 2 1 1 2 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 2 2 2 2 1 0 1 1 2 2 2 1 1 0 1 1 1 2 2 2 2 1 1 2 2 1 0 0 1 2 1 1 2 0 1 0 0 0 0 1 1 0 0 1 0 2 1 1 1 0 0 2 2 2 2 2 1 1 2 1 1 2 2 2 0 1 1 0 2 1 0 0 1 2 2 2 2 2 0 0 1 0 0 2 2 1 1 0 1 0 1 0 0 0 0 2 2 2 2 2 2 2 2 1 1 2 2 1 1 0 0 1 1 2 1 1 2 2 2 2 2 2 1 1 0 0 0 1 2 2 1 1 0 1 0 0 0 0 1 1 2 2 2 2 2 2 2 1 1 2 2 2 0 0 0 1 0 1 2 2 2 2 2 2 2 2 2 0 1 0 1 1 2 2 2 0 1 0 0 0 1 1 1 2 2 2 2 1 1 2 2 1 1 2 2 1 1 0 0 0 0 1 1 2 2 1 2 2 2 2 2 2 1 2 1 2 2 2 2 2 0 0 0 0 1 1 1 2 2 2 1 0 1 1 2 1 1 2 2 2 1 0 1 0 0 0 2 2 1 1 0 1 2 1 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 1 1 1 2 1 0 0 1 1 1 1 2 2 2 1 0 0 0 0 0 1 2 1 0 0 1 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 2 0 0 0 0 0 1 2 2 2 2 2 2 2 1 1 0 0 1 0 1 0 0 1 0 1 2 2 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 0 1 0 0 2 2 2 2 2 2 2 2 2 1 1 2 1 0 0 0 0 0 0 2 2 2 2 2 0 1 0 0 0 2 1 1 0 0 0 1 1 1 1 0 1 0 0 1 1 2 1 1 2 2 1 2 1 2 1 1 1 1 0 0 0 0 1 1 1 2 1 0 1 0 1 0 0 1 2 0 0 2 0 0 2 0 0 1 0 1 0 0 2 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 2 2 0 1 0 2 1 1 0 0 1 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 2 2 2 2 1 2 2 2 0 0 1 0 0 0 2 1 1 0 0 0 1 1 2 1 1 2 1 1 0 0 1 1 2 2 1 1 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 2 2 1 0 0 0 0 1 2 2 2 2 1 2 0 0 0 1 2 2 2 2 1 1 0 0 1 0 1 2 2 2 2 2 2 2 2 1 1 0 0 2 2 2 2 2 2 1 1 0 0 1 2 2 2 1 1 0 2 0 1 1 2 2 2 2 2 0 0 1 0 1 1 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 1 0 0 2 2 2 2 1 0 0 0 2 1 2 2 2 2 2 2 1 1 0 1 0 1 2 2 2 2 2 2 2 1 0 0 0 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 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 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 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 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 0 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 1 0 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 1 0 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 2 2 2 2 2 1 1 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 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 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1

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-4239981-1500633980/watcher-4239981-1500633980 -o /tmp/evaluation-result-4239981-1500633980/solver-4239981-1500633980 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239981-1500633980.xml 

pid=11263
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: 2.02 2.05 2.08 3/186 11266
/proc/meminfo: memFree=31098328/32770624 swapFree=6312/27140
[pid=11266] ppid=11263 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 18145046 27770880 802 33554432000 4194304 5970956 140734524684416 140734524681064 140605588638693 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 6780 802 698 434 0 144 0

[startup+0.100115 s]
/proc/loadavg: 2.02 2.05 2.08 3/186 11266
/proc/meminfo: memFree=31098328/32770624 swapFree=6312/27140
[pid=11266] ppid=11263 vsize=36544 CPUtime=0.09 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3333 0 0 0 8 1 0 0 20 0 1 0 18145046 37421056 3116 33554432000 4194304 5970956 140734524684416 140734524681016 5390052 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 9136 3116 720 434 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36544

[startup+0.200356 s]
/proc/loadavg: 2.02 2.05 2.08 3/186 11266
/proc/meminfo: memFree=31098328/32770624 swapFree=6312/27140
[pid=11266] ppid=11263 vsize=66264 CPUtime=0.18 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 10850 0 0 0 17 1 0 0 20 0 1 0 18145046 67854336 10683 33554432000 4194304 5970956 140734524684416 140734524677944 140605598279886 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 16566 10683 792 434 0 9930 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 66264

[startup+0.30027 s]
/proc/loadavg: 2.02 2.05 2.08 3/186 11266
/proc/meminfo: memFree=31098328/32770624 swapFree=6312/27140
[pid=11266] ppid=11263 vsize=69092 CPUtime=0.29 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 11569 0 0 0 27 2 0 0 20 0 1 0 18145046 70750208 11354 33554432000 4194304 5970956 140734524684416 140734524678248 140605598063136 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 17273 11354 792 434 0 10637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69092

[startup+0.700264 s]
/proc/loadavg: 2.02 2.05 2.08 3/186 11266
/proc/meminfo: memFree=31098328/32770624 swapFree=6312/27140
[pid=11266] ppid=11263 vsize=265312 CPUtime=0.69 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 40311 0 0 0 62 7 0 0 20 0 1 0 18145046 271679488 53407 33554432000 4194304 5970956 140734524684416 140734524681240 140605589481923 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 66328 53407 839 434 0 59692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 265312

[startup+1.50024 s]
/proc/loadavg: 2.02 2.05 2.08 3/187 11267
/proc/meminfo: memFree=30694796/32770624 swapFree=6312/26908
[pid=11266] ppid=11263 vsize=772160 CPUtime=1.49 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 89566 0 0 0 133 16 0 0 20 0 1 0 18145046 790691840 149680 33554432000 4194304 5970956 140734524684416 140734524681832 5251805 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 193040 149680 839 434 0 186404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 772160

[startup+3.10024 s]
/proc/loadavg: 2.02 2.05 2.08 3/187 11267
/proc/meminfo: memFree=30166880/32770624 swapFree=6312/26924
[pid=11266] ppid=11263 vsize=1453904 CPUtime=3.08 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 186640 0 0 0 272 36 0 0 20 0 1 0 18145046 1488797696 341252 33554432000 4194304 5970956 140734524684416 140734524681240 5251805 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 363476 341252 839 434 0 356840 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1453904

[startup+6.30026 s]
/proc/loadavg: 2.02 2.05 2.08 3/187 11267
/proc/meminfo: memFree=28597532/32770624 swapFree=6312/26924
[pid=11266] ppid=11263 vsize=3327972 CPUtime=6.28 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 383080 0 0 0 556 72 0 0 20 0 1 0 18145046 3407843328 720442 33554432000 4194304 5970956 140734524684416 140734524681240 5279707 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 831993 720442 839 434 0 825357 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3327972

[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.08 4/187 11267
/proc/meminfo: memFree=25503020/32770624 swapFree=6312/26936
[pid=11266] ppid=11263 vsize=6171656 CPUtime=12.68 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 749252 0 0 0 1125 143 0 0 20 0 1 0 18145046 6319775744 1466633 33554432000 4194304 5970956 140734524684416 140734524681240 5251805 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 1542914 1466633 839 434 0 1536278 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6171656

[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.08 3/187 11267
/proc/meminfo: memFree=19443696/32770624 swapFree=6312/26948
[pid=11266] ppid=11263 vsize=14015340 CPUtime=25.48 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1468298 0 0 0 2266 282 0 0 20 0 1 0 18145046 14351708160 2932271 33554432000 4194304 5970956 140734524684416 140734524681240 5251852 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3503835 2932271 839 434 0 3497199 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14015340

[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.08 3/187 11267
/proc/meminfo: memFree=18403208/32770624 swapFree=6312/26960
[pid=11266] ppid=11263 vsize=14513248 CPUtime=51.07 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1602904 0 0 0 4802 305 0 0 20 0 1 0 18145046 14861565952 3168263 33554432000 4194304 5970956 140734524684416 140734524681752 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3628312 3168263 855 434 0 3621676 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14513248

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 11268
/proc/meminfo: memFree=18360360/32770624 swapFree=6312/27012
[pid=11266] ppid=11263 vsize=14554964 CPUtime=102.26 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1704888 0 0 0 9914 312 0 0 20 0 1 0 18145046 14904283136 3178940 33554432000 4194304 5970956 140734524684416 140734524681288 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3638741 3178940 857 434 0 3632105 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14554964

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 11269
/proc/meminfo: memFree=18354732/32770624 swapFree=6312/27048
[pid=11266] ppid=11263 vsize=14558456 CPUtime=162.24 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1742302 0 0 0 15908 316 0 0 20 0 1 0 18145046 14907858944 3180302 33554432000 4194304 5970956 140734524684416 140734524681752 5321971 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3639614 3180302 857 434 0 3632978 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14558456

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.06 3/187 11277
/proc/meminfo: memFree=18346820/32770624 swapFree=6312/27084
[pid=11266] ppid=11263 vsize=14561932 CPUtime=222.22 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1832572 0 0 0 21902 320 0 0 20 0 1 0 18145046 14911418368 3181676 33554432000 4194304 5970956 140734524684416 140734524681752 5039152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3640483 3181676 857 434 0 3633847 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 14561932

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11278
/proc/meminfo: memFree=18340604/32770624 swapFree=6312/27128
[pid=11266] ppid=11263 vsize=14568072 CPUtime=282.21 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1894311 0 0 0 27897 324 0 0 20 0 1 0 18145046 14917705728 3183682 33554432000 4194304 5970956 140734524684416 140734524681752 5038188 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3642018 3183682 857 434 0 3635382 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 14568072

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11279
/proc/meminfo: memFree=18333604/32770624 swapFree=6312/27168
[pid=11266] ppid=11263 vsize=14571292 CPUtime=342.2 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 1987723 0 0 0 33891 329 0 0 20 0 1 0 18145046 14921003008 3185483 33554432000 4194304 5970956 140734524684416 140734524681128 5040432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3642823 3185483 857 434 0 3636187 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 14571292

[startup+402.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/187 11280
/proc/meminfo: memFree=18326964/32770624 swapFree=6312/27212
[pid=11266] ppid=11263 vsize=14574152 CPUtime=402.16 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 2081801 0 0 0 39883 333 0 0 20 0 1 0 18145046 14923931648 3186710 33554432000 4194304 5970956 140734524684416 140734524681752 5039258 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3643538 3186710 857 434 0 3636902 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 14574152

[startup+462.3 s]
/proc/loadavg: 2.09 2.06 2.06 3/187 11281
/proc/meminfo: memFree=18316340/32770624 swapFree=6312/27244
[pid=11266] ppid=11263 vsize=14577236 CPUtime=462.14 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 2168616 0 0 0 45876 338 0 0 20 0 1 0 18145046 14927089664 3189165 33554432000 4194304 5970956 140734524684416 140734524681144 5327380 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3644309 3189165 857 434 0 3637673 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 14577236

[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 11283
/proc/meminfo: memFree=18305020/32770624 swapFree=6312/27308
[pid=11266] ppid=11263 vsize=14581000 CPUtime=522.12 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 2315474 0 0 0 51866 346 0 0 20 0 1 0 18145046 14930944000 3191806 33554432000 4194304 5970956 140734524684416 140734524671720 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645250 3191806 857 434 0 3638614 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 14581000

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 11284
/proc/meminfo: memFree=18299832/32770624 swapFree=6312/27336
[pid=11266] ppid=11263 vsize=14582380 CPUtime=582.1 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 2396581 0 0 0 57860 350 0 0 20 0 1 0 18145046 14932357120 3193287 33554432000 4194304 5970956 140734524684416 140734524681976 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645595 3193287 857 434 0 3638959 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 14582380


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11399
/proc/meminfo: memFree=19108968/32770624 swapFree=6312/27948
[pid=11266] ppid=11263 vsize=14583668 CPUtime=1541.79 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 2989384 0 0 0 153794 385 0 0 20 0 1 0 18145046 14933676032 3215822 33554432000 4194304 5970956 140734524684416 140734524681976 5040388 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645917 3215822 857 434 0 3639281 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 14583668

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11400
/proc/meminfo: memFree=19104592/32770624 swapFree=6312/28008
[pid=11266] ppid=11263 vsize=14583668 CPUtime=1601.77 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3040224 0 0 0 159789 388 0 0 20 0 1 0 18145046 14933676032 3217243 33554432000 4194304 5970956 140734524684416 140734524681976 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645917 3217243 857 434 0 3639281 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 14583668

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11401
/proc/meminfo: memFree=19099608/32770624 swapFree=6312/28020
[pid=11266] ppid=11263 vsize=14583780 CPUtime=1661.74 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3089206 0 0 0 165784 390 0 0 20 0 1 0 18145046 14933790720 3218472 33554432000 4194304 5970956 140734524684416 140734524681752 4930640 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645945 3218472 857 434 0 3639309 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 14583780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11402
/proc/meminfo: memFree=19093992/32770624 swapFree=6312/28060
[pid=11266] ppid=11263 vsize=14583780 CPUtime=1721.72 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3135077 0 0 0 171780 392 0 0 20 0 1 0 18145046 14933790720 3219886 33554432000 4194304 5970956 140734524684416 140734524681752 4930654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645945 3219886 857 434 0 3639309 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 14583780

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11403
/proc/meminfo: memFree=19087952/32770624 swapFree=6312/28092
[pid=11266] ppid=11263 vsize=14583780 CPUtime=1781.71 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3159787 0 0 0 177777 394 0 0 20 0 1 0 18145046 14933790720 3221351 33554432000 4194304 5970956 140734524684416 140734524681752 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645945 3221351 857 434 0 3639309 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 14583780

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11403
/proc/meminfo: memFree=19082820/32770624 swapFree=6312/28128
[pid=11266] ppid=11263 vsize=14583780 CPUtime=1841.69 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3193358 0 0 0 183774 395 0 0 20 0 1 0 18145046 14933790720 3222656 33554432000 4194304 5970956 140734524684416 140734524681752 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645945 3222656 857 434 0 3639309 0
Current children cumulated CPU time (s) 1841.69
Current children cumulated vsize (KiB) 14583780

[startup+1902.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/187 11405
/proc/meminfo: memFree=19075116/32770624 swapFree=6312/28164
[pid=11266] ppid=11263 vsize=14583780 CPUtime=1901.67 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3280336 0 0 0 189768 399 0 0 20 0 1 0 18145046 14933790720 3224519 33554432000 4194304 5970956 140734524684416 140734524681752 4930600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645945 3224519 857 434 0 3639309 0
Current children cumulated CPU time (s) 1901.67
Current children cumulated vsize (KiB) 14583780

[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 11405
/proc/meminfo: memFree=19068780/32770624 swapFree=6312/28196
[pid=11266] ppid=11263 vsize=14583916 CPUtime=1961.64 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3329565 0 0 0 195763 401 0 0 20 0 1 0 18145046 14933929984 3226043 33554432000 4194304 5970956 140734524684416 140734524681272 4930544 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645979 3226043 857 434 0 3639343 0
Current children cumulated CPU time (s) 1961.64
Current children cumulated vsize (KiB) 14583916

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 11414
/proc/meminfo: memFree=19062464/32770624 swapFree=6312/28232
[pid=11266] ppid=11263 vsize=14583916 CPUtime=2021.63 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3338192 0 0 0 201761 402 0 0 20 0 1 0 18145046 14933929984 3227432 33554432000 4194304 5970956 140734524684416 140734524681272 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3645979 3227432 857 434 0 3639343 0
Current children cumulated CPU time (s) 2021.63
Current children cumulated vsize (KiB) 14583916

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 11415
/proc/meminfo: memFree=19057616/32770624 swapFree=6312/28276
[pid=11266] ppid=11263 vsize=14584008 CPUtime=2081.61 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3358002 0 0 0 207758 403 0 0 20 0 1 0 18145046 14934024192 3228756 33554432000 4194304 5970956 140734524684416 140734524681752 5322040 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646002 3228756 857 434 0 3639366 0
Current children cumulated CPU time (s) 2081.61
Current children cumulated vsize (KiB) 14584008

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11415
/proc/meminfo: memFree=19050184/32770624 swapFree=6312/28304
[pid=11266] ppid=11263 vsize=14584152 CPUtime=2141.59 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3412942 0 0 0 213753 406 0 0 20 0 1 0 18145046 14934171648 3230322 33554432000 4194304 5970956 140734524684416 140734524681240 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646038 3230322 857 434 0 3639402 0
Current children cumulated CPU time (s) 2141.59
Current children cumulated vsize (KiB) 14584152

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11417
/proc/meminfo: memFree=19045388/32770624 swapFree=6312/28336
[pid=11266] ppid=11263 vsize=14584152 CPUtime=2201.57 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3447188 0 0 0 219749 408 0 0 20 0 1 0 18145046 14934171648 3231706 33554432000 4194304 5970956 140734524684416 140734524681240 4930654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646038 3231706 857 434 0 3639402 0
Current children cumulated CPU time (s) 2201.57
Current children cumulated vsize (KiB) 14584152

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11417
/proc/meminfo: memFree=19040472/32770624 swapFree=6312/28376
[pid=11266] ppid=11263 vsize=14584152 CPUtime=2261.55 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3473535 0 0 0 225746 409 0 0 20 0 1 0 18145046 14934171648 3233027 33554432000 4194304 5970956 140734524684416 140734524681240 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646038 3233027 857 434 0 3639402 0
Current children cumulated CPU time (s) 2261.55
Current children cumulated vsize (KiB) 14584152

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11420
/proc/meminfo: memFree=19033860/32770624 swapFree=6312/28416
[pid=11266] ppid=11263 vsize=14584152 CPUtime=2321.53 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3481859 0 0 0 231743 410 0 0 20 0 1 0 18145046 14934171648 3234583 33554432000 4194304 5970956 140734524684416 140734524681240 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646038 3234583 857 434 0 3639402 0
Current children cumulated CPU time (s) 2321.53
Current children cumulated vsize (KiB) 14584152

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11420
/proc/meminfo: memFree=19028684/32770624 swapFree=6312/28456
[pid=11266] ppid=11263 vsize=14584152 CPUtime=2381.51 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3502662 0 0 0 237740 411 0 0 20 0 1 0 18145046 14934171648 3235945 33554432000 4194304 5970956 140734524684416 140734524681240 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646038 3235945 857 434 0 3639402 0
Current children cumulated CPU time (s) 2381.51
Current children cumulated vsize (KiB) 14584152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 11421
/proc/meminfo: memFree=19027040/32770624 swapFree=6312/28480
[pid=11266] ppid=11263 vsize=14584252 CPUtime=2400.01 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202496 3521071 0 0 0 239588 413 0 0 20 0 1 0 18145046 14934274048 3236455 33554432000 4194304 5970956 140734524684416 140734524681752 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 26583040 140734524687548 140734524687683 140734524687683 140734524690382 0
/proc/11266/statm: 3646063 3236455 857 434 0 3639427 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 14584252

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

[startup+2401.2 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 11421
/proc/meminfo: memFree=19027040/32770624 swapFree=6312/28480
[pid=11266] ppid=11263 vsize=0 CPUtime=2400.41 cores=0,2,4,6
/proc/11266/stat : 11266 (cosoco) R 11263 11266 5313 0 -1 4202500 3521101 0 0 0 239588 453 0 0 20 0 1 0 18145046 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/11266/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.41
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2401.28
CPU time (s): 2400.49
CPU user time (s): 2395.88
CPU system time (s): 4.61057
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 14584252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.88
system time used= 4.61057
maximum resident set size= 12945860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3521101
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= 99
involuntary context switches= 122685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15341 second user time and 9.45682 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml
MD5SUM	f0ae775e0a261424aab5dff09c8fa0c4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	857
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	3917
Number of constraints	2192
Number of domains	4
Minimum domain size	2
Maximum domain size	3873
Distribution of domain sizes	[{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}]
Minimum variable degree	1
Maximum variable degree	45
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	46
Distribution of constraint arities	[{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}]
Number of extensional constraints	1932
Number of intensional constraints	211
Distribution of constraint types	[{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4239981

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