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
cosoco 1.12	SAT (TO)	238	2520.05	2520

0.32/0.43	c best=?? lower=0 upper=1849 
20.52/20.66	c
20.52/20.66	c This is cosoco 1.12 --  
20.52/20.66	c
20.52/20.66	c command line: cosoco -lc -model -restarts HOME/instance-4267868-1502506899.xml 
20.52/20.66	c enable optimization
20.52/20.66	c ========================================[ Problem Statistics ]===========================================
20.52/20.66	c |                                                                                                       
20.52/20.66	c |  Parse time        :         0.34 s 
20.52/20.66	c |
20.52/20.66	c |               Variables: 4096
20.52/20.66	c |            Domain Sizes: 2..4051
20.52/20.66	c |
20.52/20.66	c |             Constraints: 2464
20.52/20.66	c |                   Arity: 1..47  -- Unary: 181  -- Binary: 217  -- Ternary: 172
20.52/20.66	c | 
20.52/20.66	c |                   Types: 
20.52/20.66	c |                          Extension: 2021  (nb tuples: 1..724) -- (shared: 2016)
20.52/20.66	c |                          Intension: 217
20.52/20.66	c |                          Sum: 46
20.52/20.66	c |                          Unary: 180
20.52/20.66	c |                          
20.52/20.66	c =========================================================================================================
20.52/20.66	o 47
20.52/20.66	c    1 calls to solver: best=47 lower=48 upper=1849 
32.23/32.34	o 64
35.23/35.39	o 65
35.23/35.39	c    3 calls to solver: best=65 lower=66 upper=1849 
40.12/40.21	o 89
44.72/44.88	o 111
44.72/44.88	c    5 calls to solver: best=111 lower=112 upper=1849 
64.43/64.57	o 123
84.03/84.14	o 126
84.03/84.14	c    7 calls to solver: best=126 lower=127 upper=1849 
578.89/579.08	o 127
676.70/676.83	o 191
676.70/676.83	c    9 calls to solver: best=191 lower=192 upper=1849 
2176.61/2176.61	o 238
2520.04/2520.00	
2520.04/2520.00	c *** INTERRUPTED ***
2520.04/2520.00	c restarts              : 79          
2520.04/2520.00	c conflicts             : 1830434      (726 /sec)
2520.04/2520.00	c decisions             : 18864605     (7486 /sec)
2520.04/2520.00	c propagations          : 791960291   (314289 /sec)
2520.04/2520.00	c root propagations     : 94296       
2520.04/2520.00	c filter calls          : 521587743      (206992 /sec)
2520.04/2520.00	c useless filter calls  : 369086073      (70 %)
2520.04/2520.00	c Memory used           : 212.06 MB
2520.04/2520.00	c CPU time              : 2519.84 s
2520.04/2520.00	
2520.04/2520.00	c nb Solutions = 10
2520.04/2520.00	s SATISFIABLE
2520.04/2520.00	c Best value found: 238
2520.04/2520.00	
2520.04/2520.00	
2520.04/2520.00	v <instantiation type='solution' cost='238'>
2520.04/2520.00	v <list>w[0][0] 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][1] 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][2] 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][3] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] 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][1] 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][2] 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][3] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] 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][1] 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][2] 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][3] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] 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][1] 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][2] 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][3] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] 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][1] 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][2] 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][3] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] 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][1] 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][2] 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][3] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] 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][1] 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][2] 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][3] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] 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][1] 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][2] 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][3] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] 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][1] 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][2] 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][3] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] 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][1] 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][2] 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][3] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] 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][1] 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][2] 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][3] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] 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][1] 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][2] 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][3] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] 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][1] 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][2] 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][3] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] 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][1] 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][2] 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][3] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] 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][1] 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][2] 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][3] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] 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][1] 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][2] 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][3] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] 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][1] 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][2] 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][3] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] 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][1] 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][2] 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][3] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] 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][1] 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][2] 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][3] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] 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][1] 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][2] 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][3] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] 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][1] 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][2] 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][3] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] 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][1] 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][2] 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][3] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] 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][1] 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][2] 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][3] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[30][0] 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][1] 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][2] 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][3] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[31][0] 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][1] 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][2] 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][3] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[32][0] 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][1] 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][2] 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][3] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[33][0] 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][1] 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][2] 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][3] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[34][0] 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][1] 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][2] 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][3] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[35][0] 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][1] 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][2] 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][3] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[36][0] 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][1] 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][2] 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][3] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[37][0] 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][1] 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][2] 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][3] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[38][0] 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][1] 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][2] 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][3] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[39][0] 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][1] 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][2] 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][3] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[3][0] 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][1] 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][2] 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][3] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[40][0] 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][1] 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][2] 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][3] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[41][0] 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][1] 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][2] 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][3] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[42][0] 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][1] 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][2] 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][3] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[43][0] 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][1] 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][2] 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][3] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[44][0] 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][1] 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][2] 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][3] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[4][0] 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][1] 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][2] 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][3] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] 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][1] 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][2] 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][3] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] 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][1] 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][2] 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][3] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] 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][1] 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][2] 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][3] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] 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][1] 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][2] 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][3] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] 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][1] 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][2] 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][3] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[3] ws[40] ws[41] ws[42] ws[43] ws[44] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] 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][1] 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][2] 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][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] 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][1] 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][2] 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][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] 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][1] 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][2] 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][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] 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][1] 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][2] 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][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] 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][1] 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][2] 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][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] 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][1] 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][2] 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][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] 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][1] 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][2] 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][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] 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][1] 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][2] 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][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] 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][1] 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][2] 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][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] 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][1] 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][2] 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][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] 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][1] 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][2] 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][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] 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][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] 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][1] 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][2] 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][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] 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][1] 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][2] 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][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] 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][1] 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][2] 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][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] 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][1] 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][2] 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][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] 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][1] 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][2] 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][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] 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][1] 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][2] 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][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] 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][1] 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][2] 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][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] 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][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] 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][1] 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][2] 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][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] 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][1] 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][2] 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][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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][2] 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][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] 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][1] 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][2] 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][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] 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][1] 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][2] 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][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] 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][1] 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][2] 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][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] 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][1] 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][2] 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][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] 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][1] 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][2] 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][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] 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][1] 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][2] 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][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] 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][1] 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][2] 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][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] 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][1] 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][2] 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][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] 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][1] 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][2] 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][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] 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][1] 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][2] 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][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] 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][1] 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][2] 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][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] 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][1] 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][2] 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][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] 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][1] 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][2] 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][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] 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][1] 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][2] 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][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] 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][1] 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][2] 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][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] 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][1] 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][2] 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][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[4][0] 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][1] 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][2] 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][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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][2] 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][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] 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][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] 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][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] 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][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] 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][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list>
2520.04/2520.00	v <values>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 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 2 2 2 1 1 1 0 0 0 0 0 1 0 1 1 2 0 2 2 2 2 1 1 1 2 1 1 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 2 2 2 2 2 0 0 0 1 0 0 0 0 1 0 0 2 1 2 2 2 2 1 0 0 1 2 0 0 1 1 0 1 0 1 1 2 0 0 0 0 0 1 0 0 2 2 1 2 0 0 0 0 0 1 0 0 1 0 0 1 1 0 2 2 1 1 1 0 1 1 1 1 0 0 0 0 0 2 0 2 0 1 0 0 0 0 0 0 1 1 1 1 0 2 0 2 0 1 0 2 0 0 1 1 1 2 1 2 1 1 0 0 1 1 1 2 0 1 0 0 0 0 0 2 0 0 0 1 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 2 0 0 0 1 2 2 2 0 2 1 0 1 0 2 0 1 0 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 1 0 2 1 1 2 1 1 0 1 1 2 1 1 2 1 2 1 2 0 1 1 0 1 1 1 2 1 1 2 1 2 2 2 2 2 0 1 0 2 2 2 2 1 1 0 0 1 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 2 0 0 0 1 0 2 0 1 0 2 2 1 2 2 2 2 2 2 1 2 2 2 1 2 2 1 1 0 1 2 2 2 2 1 2 2 2 2 2 2 1 0 0 0 2 0 0 0 0 0 2 2 1 2 2 2 0 2 2 2 2 1 1 2 2 2 2 0 2 2 2 1 1 2 2 2 2 2 0 2 2 2 2 2 2 2 0 0 0 0 1 0 0 0 1 2 2 2 2 2 2 0 2 2 2 1 0 0 0 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 0 1 0 0 1 0 1 0 0 0 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 1 0 2 1 1 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 0 0 0 0 1 1 0 1 0 0 2 2 2 2 2 1 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 2 0 1 0 1 2 2 1 1 1 1 2 2 2 2 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 1 2 2 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 1 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 2 1 2 2 2 2 2 2 1 1 0 0 0 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 2 1 2 2 2 1 2 2 2 2 2 2 1 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 1 0 2 1 1 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 2 1 1 2 2 2 2 2 2 1 0 2 0 2 2 2 1 2 1 1 2 2 2 1 2 2 2 2 2 2 1 0 0 1 2 2 2 1 1 2 2 1 2 1 0 2 0 2 2 2 2 2 2 2 2 0 1 0 1 2 2 1 1 1 0 1 2 2 1 2 2 2 2 2 2 1 0 0 1 2 2 1 0 1 1 1 1 0 1 0 1 1 1 2 2 2 2 2 2 1 1 1 0 1 2 2 1 0 0 1 1 2 2 1 2 1 2 2 2 2 2 1 1 2 2 1 1 0 0 2 1 0 0 0 1 1 0 2 2 2 2 2 2 2 2 0 0 0 2 2 2 1 1 1 1 2 2 2 1 1 1 0 1 2 2 2 2 1 0 2 1 0 0 0 2 2 1 1 0 0 2 2 2 2 2 2 2 2 2 0 0 1 0 1 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 0 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 0 0 1 0 2 2 0 1 0 2 0 0 0 1 1 2 2 1 1 0 2 1 2 2 2 2 2 2 0 2 0 2 1 1 2 2 1 2 2 2 2 2 2 1 2 1 1 0 1 1 1 1 0 1 2 1 2 1 1 2 2 2 2 0 0 2 1 1 1 2 2 2 0 2 0 2 2 1 2 2 2 1 2 2 2 2 2 2 1 2 2 1 0 0 2 2 0 0 1 2 2 2 2 2 2 2 2 2 0 0 2 0 0 0 1 2 1 0 0 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 1 0 1 1 1 1 0 1 2 2 2 2 2 2 2 2 1 1 0 2 0 0 0 1 2 1 0 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 0 0 0 1 2 2 2 2 2 2 2 1 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 1 0 1 1 2 1 1 2 2 2 2 2 1 1 0 2 0 1 0 1 1 2 2 2 2 2 2 1 0 1 1 1 2 2 2 2 1 2 2 2 2 2 2 1 2 1 0 0 2 1 0 0 1 2 0 2 2 1 0 0 0 2 0 1 1 1 0 2 1 1 2 0 1 0 0 1 1 2 2 2 2 1 0 2 2 2 2 2 0 2 2 0 0 1 1 0 0 1 2 0 2 2 2 1 1 2 2 2 1 0 0 1 0 0 1 0 1 0 1 1 2 0 2 2 2 2 1 1 1 2 2 2 2 0 2 0 1 0 0 1 0 0 2 2 0 1 2 1 1 2 2 2 2 2 0 0 0 0 0 0 1 0 0 0 2 2 1 2 2 2 2 1 0 2 2 2 1 1 41 684 715 745 777 804 855 911 974 1038 1098 124 1161 1232 1312 1399 1487 1575 1663 1751 1839 1927 205 2015 2100 2179 2256 2334 2408 2471 2526 2585 2643 285 2699 2761 2823 2885 2918 366 442 506 554 604 650 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 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 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 238 </values>
2520.04/2520.00	v </instantiation>
2520.04/2520.00

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-4267868-1502506899/watcher-4267868-1502506899 -o /tmp/evaluation-result-4267868-1502506899/solver-4267868-1502506899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267868-1502506899.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 1.85 1.98 1.88 2/185 430
/proc/meminfo: memFree=31058188/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/430/stat : 430 (runsolver) D 427 430 28313 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98505154 24240128 107 18446744073709551615 4194304 4338465 140730240901712 140730240899352 139759430861527 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 20246528 140730240909505 140730240909897 140730240909897 140730240913354 0
/proc/430/statm: 5918 107 54 36 0 2156 0

[startup+0.100205 s]
/proc/loadavg: 1.85 1.98 1.88 2/185 430
/proc/meminfo: memFree=31058188/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=36940 CPUtime=0.02 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 3450 0 0 0 2 0 0 0 20 0 1 0 98505154 37826560 3290 18446744073709551615 4194304 5972588 140721897902208 140721897898856 5418902 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 9235 3290 730 435 0 2598 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 36940

[startup+0.200386 s]
/proc/loadavg: 1.85 1.98 1.88 2/185 430
/proc/meminfo: memFree=31058188/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=69020 CPUtime=0.12 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 11548 0 0 0 11 1 0 0 20 0 1 0 98505154 70676480 11342 18446744073709551615 4194304 5972588 140721897902208 140721897898776 139762261042848 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 17255 11342 797 435 0 10618 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 69020

[startup+0.300382 s]
/proc/loadavg: 1.85 1.98 1.88 2/185 430
/proc/meminfo: memFree=31058188/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=72124 CPUtime=0.22 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 12324 0 0 0 21 1 0 0 20 0 1 0 98505154 73854976 12109 18446744073709551615 4194304 5972588 140721897902208 140721897898776 139762251519904 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 18031 12109 797 435 0 11394 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 72124

[startup+0.700322 s]
/proc/loadavg: 1.85 1.98 1.88 2/185 430
/proc/meminfo: memFree=31058188/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=96628 CPUtime=0.62 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 18497 0 0 0 60 2 0 0 20 0 1 0 98505154 98947072 18312 18446744073709551615 4194304 5972588 140721897902208 140721897889416 139762251471845 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 24157 18312 854 435 0 17520 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 96628

[startup+1.50033 s]
/proc/loadavg: 1.86 1.98 1.88 3/186 431
/proc/meminfo: memFree=30932728/32770624 swapFree=0/447308
[pid=430] ppid=427 vsize=114768 CPUtime=1.42 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 23018 0 0 0 139 3 0 0 20 0 1 0 98505154 117522432 22838 18446744073709551615 4194304 5972588 140721897902208 140721897889416 5040154 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 28692 22838 854 435 0 22055 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 114768

[startup+3.1003 s]
/proc/loadavg: 1.86 1.98 1.88 3/186 431
/proc/meminfo: memFree=30927388/32770624 swapFree=0/447300
[pid=430] ppid=427 vsize=115308 CPUtime=3.02 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 34432 0 0 0 299 3 0 0 20 0 1 0 98505154 118075392 23005 18446744073709551615 4194304 5972588 140721897902208 140721897889416 5094144 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 28827 23005 854 435 0 22190 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 115308

[startup+6.30031 s]
/proc/loadavg: 1.87 1.99 1.88 3/186 431
/proc/meminfo: memFree=30919396/32770624 swapFree=0/447300
[pid=430] ppid=427 vsize=118792 CPUtime=6.22 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 47710 0 0 0 619 3 0 0 20 0 1 0 98505154 121643008 23881 18446744073709551615 4194304 5972588 140721897902208 140721897898808 5099653 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 29698 23881 854 435 0 23061 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 118792

[startup+12.7003 s]
/proc/loadavg: 1.88 1.99 1.89 3/186 431
/proc/meminfo: memFree=30845368/32770624 swapFree=0/447300
[pid=430] ppid=427 vsize=156668 CPUtime=12.62 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 75100 0 0 0 1257 5 0 0 20 0 1 0 98505154 160428032 33206 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4931784 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 39167 33206 854 435 0 32530 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 156668

[startup+25.5004 s]
/proc/loadavg: 1.90 1.99 1.89 3/186 431
/proc/meminfo: memFree=30792176/32770624 swapFree=0/447300
[pid=430] ppid=427 vsize=186448 CPUtime=25.42 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 124863 0 0 0 2534 8 0 0 20 0 1 0 98505154 190922752 40472 18446744073709551615 4194304 5972588 140721897902208 140721897898968 5099651 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 46612 40472 855 435 0 39975 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 186448

[startup+51.1004 s]
/proc/loadavg: 1.94 1.99 1.89 3/186 431
/proc/meminfo: memFree=30769524/32770624 swapFree=0/447300
[pid=430] ppid=427 vsize=200708 CPUtime=51.02 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 172709 0 0 0 5090 12 0 0 20 0 1 0 98505154 205524992 43884 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 50177 43884 855 435 0 43540 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 200708

[startup+102.3 s]
/proc/loadavg: 2.05 2.00 1.90 3/185 433
/proc/meminfo: memFree=30755160/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=206340 CPUtime=102.23 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 209680 0 0 0 10208 15 0 0 20 0 1 0 98505154 211292160 45251 18446744073709551615 4194304 5972588 140721897902208 140721897898808 5040138 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 51585 45251 855 435 0 44948 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 206340

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/189 451
/proc/meminfo: memFree=30740800/32770624 swapFree=0/447316
[pid=430] ppid=427 vsize=207868 CPUtime=162.2 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 240790 0 0 0 16202 18 0 0 20 0 1 0 98505154 212856832 45635 18446744073709551615 4194304 5972588 140721897902208 140721897898920 4935502 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 51967 45635 855 435 0 45330 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 207868

[startup+222.306 s]
/proc/loadavg: 2.01 2.00 1.91 3/189 454
/proc/meminfo: memFree=30736564/32770624 swapFree=0/447324
[pid=430] ppid=427 vsize=208692 CPUtime=222.18 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 250187 0 0 0 22199 19 0 0 20 0 1 0 98505154 213700608 46244 18446744073709551615 4194304 5972588 140721897902208 140721897898808 5338173 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 52173 46244 855 435 0 45536 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 208692

[startup+282.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/186 456
/proc/meminfo: memFree=30740324/32770624 swapFree=0/447336
[pid=430] ppid=427 vsize=208968 CPUtime=282.17 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 250622 0 0 0 28198 19 0 0 20 0 1 0 98505154 213983232 46372 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 52242 46372 855 435 0 45605 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 208968

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/186 458
/proc/meminfo: memFree=30740412/32770624 swapFree=0/447348
[pid=430] ppid=427 vsize=209112 CPUtime=342.18 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 250670 0 0 0 34199 19 0 0 20 0 1 0 98505154 214130688 46401 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 52278 46401 855 435 0 45641 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 209112

[startup+402.3 s]
/proc/loadavg: 2.08 2.05 1.95 3/186 460
/proc/meminfo: memFree=30739852/32770624 swapFree=0/447360
[pid=430] ppid=427 vsize=209244 CPUtime=402.18 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 251071 0 0 0 40199 19 0 0 20 0 1 0 98505154 214265856 46450 18446744073709551615 4194304 5972588 140721897902208 140721897898968 4923600 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 52311 46450 855 435 0 45674 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 209244

[startup+462.3 s]
/proc/loadavg: 2.09 2.05 1.96 3/186 466
/proc/meminfo: memFree=30738860/32770624 swapFree=0/447368
[pid=430] ppid=427 vsize=210100 CPUtime=462.19 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 251315 0 0 0 46200 19 0 0 20 0 1 0 98505154 215142400 46624 18446744073709551615 4194304 5972588 140721897902208 140721897898824 4931766 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 52525 46624 855 435 0 45888 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 210100

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 1.96 3/186 468
/proc/meminfo: memFree=30736500/32770624 swapFree=0/447372
[pid=430] ppid=427 vsize=210800 CPUtime=522.19 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 251770 0 0 0 52200 19 0 0 20 0 1 0 98505154 215859200 46831 18446744073709551615 4194304 5972588 140721897902208 140721897898920 5328036 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 52700 46831 855 435 0 46063 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 210800

[startup+582.3 s]
/proc/loadavg: 2.09 2.05 1.97 3/186 470
/proc/meminfo: memFree=30733632/32770624 swapFree=0/447384
[pid=430] ppid=427 vsize=213892 CPUtime=582.19 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 252498 0 0 0 58200 19 0 0 20 0 1 0 98505154 219025408 47540 18446744073709551615 4194304 5972588 140721897902208 140721897899656 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53473 47540 855 435 0 46836 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 213892


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 572
/proc/meminfo: memFree=30730344/32770624 swapFree=0/447644
[pid=430] ppid=427 vsize=215720 CPUtime=1602.27 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 256781 0 0 0 160207 20 0 0 20 0 1 0 98505154 220897280 48108 18446744073709551615 4194304 5972588 140721897902208 140721897898968 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53930 48108 855 435 0 47293 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 215720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 574
/proc/meminfo: memFree=30731068/32770624 swapFree=0/447660
[pid=430] ppid=427 vsize=215720 CPUtime=1662.28 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 256785 0 0 0 166208 20 0 0 20 0 1 0 98505154 220897280 48108 18446744073709551615 4194304 5972588 140721897902208 140721897898968 4965365 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53930 48108 855 435 0 47293 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 215720

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 576
/proc/meminfo: memFree=30731164/32770624 swapFree=0/447668
[pid=430] ppid=427 vsize=215720 CPUtime=1722.28 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 256890 0 0 0 172208 20 0 0 20 0 1 0 98505154 220897280 48112 18446744073709551615 4194304 5972588 140721897902208 140721897898968 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53930 48112 855 435 0 47293 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 215720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 578
/proc/meminfo: memFree=30730796/32770624 swapFree=0/447680
[pid=430] ppid=427 vsize=215860 CPUtime=1782.28 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 256953 0 0 0 178208 20 0 0 20 0 1 0 98505154 221040640 48112 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4965365 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48112 855 435 0 47328 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 215860

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 584
/proc/meminfo: memFree=30730752/32770624 swapFree=0/447692
[pid=430] ppid=427 vsize=215860 CPUtime=1842.29 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257052 0 0 0 184209 20 0 0 20 0 1 0 98505154 221040640 48116 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4931696 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48116 855 435 0 47328 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 215860

[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/186 586
/proc/meminfo: memFree=30730880/32770624 swapFree=0/447708
[pid=430] ppid=427 vsize=215860 CPUtime=1902.29 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257052 0 0 0 190209 20 0 0 20 0 1 0 98505154 221040640 48116 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48116 855 435 0 47328 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 215860

[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/188 614
/proc/meminfo: memFree=30728976/32770624 swapFree=0/447728
[pid=430] ppid=427 vsize=215860 CPUtime=1962.3 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257242 0 0 0 196210 20 0 0 20 0 1 0 98505154 221040640 48116 18446744073709551615 4194304 5972588 140721897902208 140721897898808 5328039 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48116 855 435 0 47328 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 215860

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/189 618
/proc/meminfo: memFree=30727384/32770624 swapFree=0/447736
[pid=430] ppid=427 vsize=215860 CPUtime=2022.3 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257273 0 0 0 202210 20 0 0 20 0 1 0 98505154 221040640 48116 18446744073709551615 4194304 5972588 140721897902208 140721897898808 5040572 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48116 855 435 0 47328 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 215860

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/185 620
/proc/meminfo: memFree=30729776/32770624 swapFree=0/447752
[pid=430] ppid=427 vsize=215860 CPUtime=2082.31 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257436 0 0 0 208211 20 0 0 20 0 1 0 98505154 221040640 48120 18446744073709551615 4194304 5972588 140721897902208 140721897898808 4935490 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48120 855 435 0 47328 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 215860

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/186 624
/proc/meminfo: memFree=30730376/32770624 swapFree=0/447768
[pid=430] ppid=427 vsize=215860 CPUtime=2142.31 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257446 0 0 0 214211 20 0 0 20 0 1 0 98505154 221040640 48120 18446744073709551615 4194304 5972588 140721897902208 140721897898808 5039259 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 53965 48120 855 435 0 47328 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 215860

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.99 3/186 626
/proc/meminfo: memFree=30728976/32770624 swapFree=0/447780
[pid=430] ppid=427 vsize=217148 CPUtime=2202.32 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257925 0 0 0 220212 20 0 0 20 0 1 0 98505154 222359552 48419 18446744073709551615 4194304 5972588 140721897902208 140721897899656 5039256 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48419 855 435 0 47650 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 217148

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/186 629
/proc/meminfo: memFree=30728836/32770624 swapFree=0/447796
[pid=430] ppid=427 vsize=217148 CPUtime=2262.32 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 257925 0 0 0 226212 20 0 0 20 0 1 0 98505154 222359552 48419 18446744073709551615 4194304 5972588 140721897902208 140721897899656 5039463 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48419 855 435 0 47650 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 217148

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/186 631
/proc/meminfo: memFree=30727572/32770624 swapFree=0/447820
[pid=430] ppid=427 vsize=217148 CPUtime=2322.32 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 258244 0 0 0 232212 20 0 0 20 0 1 0 98505154 222359552 48419 18446744073709551615 4194304 5972588 140721897902208 140721897899656 5322680 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48419 855 435 0 47650 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 217148

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/186 639
/proc/meminfo: memFree=30727196/32770624 swapFree=0/447832
[pid=430] ppid=427 vsize=217148 CPUtime=2382.33 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 258255 0 0 0 238213 20 0 0 20 0 1 0 98505154 222359552 48419 18446744073709551615 4194304 5972588 140721897902208 140721897899656 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48419 855 435 0 47650 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 217148

[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/185 644
/proc/meminfo: memFree=30726676/32770624 swapFree=0/447848
[pid=430] ppid=427 vsize=217148 CPUtime=2442.33 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 258431 0 0 0 244213 20 0 0 20 0 1 0 98505154 222359552 48433 18446744073709551615 4194304 5972588 140721897902208 140721897899656 5039364 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48433 855 435 0 47650 0
Current children cumulated CPU time (s) 2442.33
Current children cumulated vsize (KiB) 217148

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/185 646
/proc/meminfo: memFree=30726756/32770624 swapFree=0/447852
[pid=430] ppid=427 vsize=217148 CPUtime=2502.34 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 258641 0 0 0 250214 20 0 0 20 0 1 0 98505154 222359552 48433 18446744073709551615 4194304 5972588 140721897902208 140721897899656 5338173 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48433 855 435 0 47650 0
Current children cumulated CPU time (s) 2502.34
Current children cumulated vsize (KiB) 217148



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.02 1.99 3/186 647
/proc/meminfo: memFree=30726988/32770624 swapFree=0/447844
[pid=430] ppid=427 vsize=217148 CPUtime=2520.04 cores=0,2,4,6
/proc/430/stat : 430 (cosoco) R 427 430 28313 0 -1 4202496 258785 0 0 0 251984 20 0 0 20 0 1 0 98505154 222359552 48433 18446744073709551615 4194304 5972588 140721897902208 140721897899656 4931747 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 27209728 140721897910766 140721897910861 140721897910861 140721897914318 0
/proc/430/statm: 54287 48433 855 435 0 47650 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 217148

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

Child status: 1
Real time (s): 2520
CPU time (s): 2520.05
CPU user time (s): 2519.84
CPU system time (s): 0.205015
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 217148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.205015
maximum resident set size= 193800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258835
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= 90
involuntary context switches= 1786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07902 second user time and 9.98695 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 4267868

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