0.00/0.00	c Mistral 01082018
2.69/2.78	o 29501
2.79/2.82	o 29487
2.89/2.92	o 29463
3.10/3.12	o 29440
3.29/3.33	o 29421
3.29/3.38	o 29393
4.10/4.17	o 29362
7.00/7.01	o 29321
7.00/7.06	o 29283
7.10/7.11	o 29230
7.10/7.15	o 29174
7.19/7.20	o 29129
8.10/8.17	o 29127
8.19/8.22	o 29125
8.29/8.39	o 29085
8.59/8.60	o 29055
10.89/10.97	o 29003
11.00/11.03	o 28999
11.19/11.22	o 28993
11.19/11.27	o 28973
11.29/11.34	o 28965
11.59/11.60	o 28963
11.59/11.69	o 28955
11.89/11.94	o 28941
15.29/15.38	o 28889
15.39/15.46	o 28807
15.49/15.51	o 28801
16.49/16.50	o 28755
16.58/16.69	o 28747
17.29/17.33	o 28733
17.29/17.38	o 28722
17.39/17.43	o 28706
17.49/17.53	o 28696
18.10/18.13	o 28687
18.39/18.44	o 28683
20.78/20.80	o 28615
20.78/20.88	o 28587
21.00/21.06	o 28585
24.69/24.76	o 28578
27.00/27.10	o 28542
32.89/32.96	o 28537
35.09/35.13	o 28535
35.18/35.24	o 28477
36.00/36.07	o 28363
36.09/36.12	o 28361
36.19/36.21	o 28305
44.48/44.55	o 28261
44.68/44.76	o 28253
45.38/45.44	o 28246
57.47/57.55	o 28166
57.47/57.59	o 28126
59.37/59.40	o 28105
59.57/59.64	o 28101
63.28/63.33	o 28080
73.77/73.84	o 28054
73.87/73.90	o 28009
74.47/74.51	o 28006
74.47/74.55	o 27986
76.87/76.92	o 27960
94.08/94.18	o 27930
94.17/94.27	o 27913
94.27/94.39	o 27877
94.37/94.46	o 27855
94.67/94.76	o 27809
94.77/94.85	o 27787
95.26/95.31	o 27778
95.26/95.39	o 27760
95.97/96.04	o 27747
97.26/97.33	o 27717
121.56/121.68	o 27707
121.76/121.80	o 27704
122.97/123.02	o 27670
127.36/127.42	o 27646
127.56/127.65	o 27631
158.46/158.50	o 27601
158.76/158.81	o 27555
159.36/159.44	o 27440
160.36/160.49	o 27438
160.66/160.74	o 27413
160.66/160.79	o 27403
164.36/164.44	o 27371
164.55/164.63	o 27358
196.86/196.92	o 27332
211.96/212.05	o 27308
221.96/222.04	o 27300
244.75/244.86	o 27265
266.45/266.57	o 27139
305.54/305.67	o 27137
347.65/347.76	o 27129
349.15/349.21	o 27121
349.15/349.25	o 27095
349.35/349.41	o 27077
349.35/349.50	o 27053
353.35/353.49	o 27045
353.45/353.53	o 26969
353.55/353.63	o 26935
395.05/395.16	o 26914
454.94/455.02	o 26870
794.21/794.31	o 26868
799.31/799.46	o 26862
799.61/799.80	o 26856
827.81/827.99	o 26822
827.92/828.06	o 26788
984.72/984.84	o 26744
990.22/990.37	o 26588
1021.22/1021.36	o 26581
1089.12/1089.25	o 26575
1297.32/1297.49	o 26569
1297.52/1297.67	o 26563
1297.62/1297.74	o 26544
1298.22/1298.38	o 26510
1334.52/1334.65	o 26496
1370.03/1370.15	o 26488
1370.82/1370.91	o 26480
2232.95/2233.03	o 26460
2519.95/2520.01	s SATISFIABLE
2519.95/2520.01	v <instantiation type="solution">
2519.95/2520.01	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] </list>
2519.95/2520.01	v   <values> 0 13 48 11 55 22 26 32 34 58 49 33 1 16 36 43 35 6 12 40 15 7 20 29 30 19 23 53 3 21 60 25 44 45 39 2 61 50 57 42 17 62 38 4 5 46 63 9 51 41 56 31 10 37 18 24 59 8 47 28 27 54 14 52 * 5 0 0 5 1 0 1 6 2 5 5 2 5 10 10 2 4 5 5 2 4 1 1 1 4 10 2 0 0 0 2 10 3 0 0 3 0 0 5 4 5 5 6 0 5 1 0 3 2 0 2 2 1 5 0 0 4 3 2 1 4 2 1 * * 1 5 2 0 0 0 2 5 5 5 0 5 0 5 10 2 2 0 2 5 10 5 0 5 5 0 1 4 1 3 2 0 5 0 2 0 5 10 5 1 1 2 0 0 0 2 10 0 0 0 1 0 0 2 0 5 4 2 2 4 0 1 * * * 5 5 1 1 1 0 0 0 2 5 5 1 5 5 2 10 2 10 0 10 2 2 5 5 3 5 0 2 2 1 1 0 2 0 1 2 4 0 10 0 1 1 5 1 5 6 0 0 5 2 5 5 0 0 1 0 5 0 0 0 1 * * * * 0 10 10 2 0 0 2 10 0 0 0 5 5 0 4 5 5 0 0 5 0 2 2 0 6 1 2 5 0 1 0 0 2 1 0 0 2 1 5 5 5 0 0 0 5 5 0 0 5 2 0 0 0 0 0 5 5 0 1 0 * * * * * 2 5 6 2 1 3 0 3 10 2 5 0 0 2 2 4 1 2 5 5 0 3 5 10 0 0 0 10 5 0 0 0 5 5 2 5 1 5 0 0 0 2 1 2 0 2 0 2 0 0 5 5 0 0 5 0 0 2 1 * * * * * * 6 5 5 2 5 0 2 0 5 3 1 6 5 2 10 4 5 3 2 6 1 2 0 3 0 10 0 2 10 2 1 5 0 0 0 0 0 0 2 1 2 4 10 0 2 5 2 0 0 2 0 5 0 5 2 5 5 1 * * * * * * * 5 1 2 2 0 0 0 1 0 6 2 1 0 2 0 5 5 5 0 1 0 5 2 5 0 1 5 5 5 0 0 5 10 1 2 4 3 2 0 0 0 5 0 1 0 5 5 2 1 0 1 4 2 0 2 5 5 * * * * * * * * 0 2 5 5 10 3 5 5 0 5 2 1 10 5 5 10 2 5 5 0 1 5 0 5 5 1 1 0 2 0 0 5 0 0 5 3 0 0 0 2 0 2 1 0 5 3 0 0 0 1 0 2 0 5 0 2 * * * * * * * * * 5 5 0 5 10 0 2 0 5 5 5 1 0 10 0 5 0 0 0 2 2 0 5 10 0 1 1 2 0 2 0 10 0 0 5 2 1 0 1 3 0 2 0 0 0 2 2 5 5 5 0 2 6 2 0 * * * * * * * * * * 6 2 10 5 3 5 1 10 10 0 4 0 10 5 1 1 10 6 0 0 2 2 2 0 2 0 10 2 0 1 0 1 1 0 0 0 0 2 5 1 0 1 5 10 2 0 3 1 0 1 0 0 0 2 * * * * * * * * * * * 2 5 5 10 5 0 3 1 1 0 2 1 0 0 1 2 1 1 0 0 5 0 2 1 0 1 5 6 10 1 2 0 0 4 5 0 0 2 5 0 1 2 1 2 3 1 2 1 2 0 0 2 2 * * * * * * * * * * * * 1 4 10 2 5 5 5 10 0 0 2 0 0 1 1 10 5 0 0 5 6 0 2 10 1 0 4 0 2 6 5 0 1 2 0 0 1 0 0 0 2 5 1 3 5 0 2 0 5 0 4 2 * * * * * * * * * * * * * 6 2 10 0 1 5 0 0 10 0 3 10 3 0 5 2 1 2 5 1 1 0 0 0 1 1 0 2 10 0 0 5 6 3 0 2 1 10 2 0 3 5 5 0 5 2 3 3 5 0 0 * * * * * * * * * * * * * * 5 5 1 0 2 5 6 2 10 5 1 0 0 5 2 0 2 10 1 0 2 2 5 0 1 2 2 1 5 4 2 4 5 2 2 0 1 4 1 10 6 10 5 3 1 4 0 0 3 4 * * * * * * * * * * * * * * * 3 0 4 1 0 2 1 1 0 0 1 2 1 5 10 2 3 2 0 1 1 0 2 5 0 0 1 5 5 5 0 0 2 0 5 5 0 2 5 0 5 6 3 2 3 3 5 2 0 * * * * * * * * * * * * * * * * 0 1 0 0 10 5 1 3 2 5 5 0 5 0 5 6 2 5 2 5 2 5 10 0 2 1 2 0 0 0 10 0 2 1 2 2 1 5 2 5 0 0 2 2 1 4 1 5 * * * * * * * * * * * * * * * * * 2 2 5 0 3 0 0 2 0 0 0 2 5 5 2 3 10 3 3 2 1 4 1 1 0 4 4 1 0 10 0 5 0 2 0 1 0 0 0 5 1 1 4 5 2 1 0 * * * * * * * * * * * * * * * * * * 0 5 10 2 3 0 5 5 1 6 4 2 0 5 10 0 2 5 5 0 2 1 0 5 10 0 0 0 1 0 2 0 10 5 5 0 0 2 5 1 0 2 0 10 0 2 * * * * * * * * * * * * * * * * * * * 10 2 2 1 1 10 3 0 1 5 5 0 0 5 5 0 1 0 2 10 0 0 0 0 0 5 5 10 3 6 10 0 2 2 3 0 5 0 5 1 2 10 2 2 1 * * * * * * * * * * * * * * * * * * * * 5 2 5 5 0 0 2 1 5 0 5 2 2 0 0 5 0 1 1 2 3 0 1 10 1 2 1 5 0 6 0 5 10 0 5 0 0 0 0 0 1 2 10 0 * * * * * * * * * * * * * * * * * * * * * 0 5 0 5 4 1 0 5 5 2 0 1 10 10 5 6 5 5 2 5 2 5 10 2 0 5 5 2 5 3 0 0 2 4 2 0 1 1 4 0 5 6 10 * * * * * * * * * * * * * * * * * * * * * * 5 2 0 0 2 0 3 5 2 5 0 0 2 2 5 10 10 0 0 4 2 2 0 5 2 2 2 2 3 5 6 2 10 0 0 0 5 0 1 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 10 1 5 10 5 0 5 0 0 2 5 2 0 1 0 4 0 1 1 1 4 1 5 4 0 0 2 1 0 10 3 0 3 0 2 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 5 2 5 5 0 6 0 10 0 2 0 2 6 4 3 4 6 0 5 10 0 0 0 5 3 5 2 1 0 1 0 5 2 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 5 5 5 1 5 0 0 0 10 0 10 0 0 5 5 0 0 0 0 0 0 2 5 10 0 0 2 0 4 0 0 1 0 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 5 0 2 0 10 10 4 0 5 5 2 0 2 4 0 5 2 2 0 2 0 10 0 2 0 2 1 0 6 0 10 0 1 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 10 10 1 2 5 2 5 5 0 5 1 5 1 5 0 5 2 2 5 5 2 5 1 5 5 0 4 4 0 5 5 3 0 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 3 1 1 0 0 5 3 5 4 3 2 0 1 6 4 5 1 5 2 0 10 10 10 0 0 5 0 0 5 5 5 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 0 0 4 1 5 1 2 0 2 2 5 0 2 10 10 0 5 10 1 2 2 0 10 5 0 1 0 1 10 0 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 1 0 2 1 10 5 5 5 2 5 0 2 2 0 0 0 1 2 4 1 0 0 1 2 0 10 10 5 0 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 5 0 10 0 5 10 1 0 0 2 2 2 1 0 0 10 0 10 1 0 0 0 0 1 5 1 0 1 4 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 6 1 2 0 10 0 2 5 5 0 5 0 5 2 0 5 0 5 2 0 5 1 2 0 1 2 6 0 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 2 0 5 6 5 2 1 0 2 1 3 10 2 5 0 0 2 0 4 1 10 5 0 3 1 0 0 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 10 0 2 2 5 0 5 3 0 2 0 5 2 0 10 2 2 0 0 5 1 1 5 2 5 4 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 5 5 3 5 5 0 10 5 4 1 0 0 1 5 0 3 10 2 3 2 10 2 10 2 10 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 10 0 0 5 0 5 1 0 0 2 5 5 5 0 0 1 0 5 2 2 0 6 5 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 2 2 4 5 10 1 5 1 1 0 1 2 1 3 5 5 0 2 1 1 10 2 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 6 0 5 5 2 2 10 5 0 5 0 0 0 5 6 2 1 0 0 0 2 4 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 5 1 5 2 5 0 10 5 0 2 0 0 0 0 10 2 10 5 5 0 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 0 5 10 0 6 0 6 0 0 10 0 6 0 2 0 2 1 5 10 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 4 5 6 0 2 5 1 2 5 1 2 1 1 10 5 0 3 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 5 0 5 10 5 5 2 0 0 1 5 3 10 0 0 0 1 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 5 5 3 2 0 2 0 4 10 0 1 0 0 4 0 5 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 1 5 1 0 10 0 0 2 5 4 2 3 10 5 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 4 5 2 1 2 5 5 2 1 1 2 5 1 5 2 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 1 0 2 5 0 5 2 0 0 0 0 2 1 5 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 10 3 2 1 4 5 0 0 0 0 5 0 10 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 2 0 5 10 5 0 0 5 0 5 0 5 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 4 10 0 0 0 10 1 4 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 0 1 10 1 10 2 0 5 3 0 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 0 0 5 2 2 1 1 0 0 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 4 0 4 1 5 2 6 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 2 5 2 4 0 10 0 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 2 0 2 0 1 10 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 2 10 5 5 3 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 2 0 2 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 10 5 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 10 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.95/2520.01	v </instantiation>

OK	26460

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (1766 MiB free)
  memory of node 1: 16384 MiB (605 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303701-1534008700/watcher-4303701-1534008700 -o /tmp/evaluation-result-4303701-1534008700/solver-4303701-1534008700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10242 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1434682381 HOME/instance-4303701-1534008700.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=11802, runsolver pid=11799

[startup+0.100169 s]*
/proc/loadavg: 1.93 2.02 2.04 3/188 11803
/proc/meminfo: memFree=2405436/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=57808 memory=32340 CPUtime=0.1 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 8322 0 0 0 10 0 0 0 20 0 1 0 218433207 59195392 8019 33554432000 4194304 7499544 140732815008864 140732815000568 140392098383776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 14452 8019 698 807 0 7443 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57808 KiB
Current children cumulated memory: 32340 KiB

[startup+0.209739 s]*
/proc/loadavg: 1.93 2.02 2.04 3/188 11803
/proc/meminfo: memFree=2331780/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=131404 memory=105732 CPUtime=0.21 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 26726 0 0 0 19 2 0 0 20 0 1 0 218433207 134557696 26433 33554432000 4194304 7499544 140732815008864 140732815000568 140392098335717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 32851 26433 698 807 0 25842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 131404 KiB
Current children cumulated memory: 105732 KiB

[startup+0.309683 s]*
/proc/loadavg: 1.93 2.02 2.04 3/188 11803
/proc/meminfo: memFree=2264820/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=198552 memory=173052 CPUtime=0.31 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 43500 0 0 0 27 4 0 0 20 0 1 0 218433207 203317248 43197 33554432000 4194304 7499544 140732815008864 140732815000568 140392098335717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 49638 43197 698 807 0 42629 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 198552 KiB
Current children cumulated memory: 173052 KiB

[startup+0.700373 s]
/proc/loadavg: 1.93 2.02 2.04 3/188 11803
/proc/meminfo: memFree=2130172/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=454512 memory=428868 CPUtime=0.69 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 107486 0 0 0 58 11 0 0 20 0 1 0 218433207 465420288 107217 33554432000 4194304 7499544 140732815008864 140732815000568 140392098335717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 113628 107217 698 807 0 106619 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 454512 KiB
Current children cumulated memory: 428868 KiB

[startup+1.50036 s]
/proc/loadavg: 1.93 2.02 2.04 3/188 11803
/proc/meminfo: memFree=1804316/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=882072 memory=856332 CPUtime=1.49 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 214333 0 0 0 123 26 0 0 20 0 1 0 218433207 903241728 214083 33554432000 4194304 7499544 140732815008864 140732815000568 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 220518 214083 733 807 0 213509 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 882072 KiB
Current children cumulated memory: 856332 KiB

[startup+3.10977 s]
/proc/loadavg: 1.93 2.02 2.04 3/188 11803
/proc/meminfo: memFree=1407532/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1047900 memory=1022432 CPUtime=3.1 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 263009 0 0 0 277 33 0 0 20 0 1 0 218433207 1073049600 255608 33554432000 4194304 7499544 140732815008864 140732815000568 5163883 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 261975 255608 748 807 0 254966 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1047900 KiB
Current children cumulated memory: 1022432 KiB

[startup+6.30038 s]
/proc/loadavg: 1.94 2.02 2.04 3/188 11803
/proc/meminfo: memFree=1400500/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1054500 memory=1029160 CPUtime=6.29 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 487210 0 0 0 585 44 0 0 20 0 1 0 218433207 1079808000 257290 33554432000 4194304 7499544 140732815008864 140732815003880 5791076 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 263625 257290 748 807 0 256616 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1054500 KiB
Current children cumulated memory: 1029160 KiB

[startup+12.7004 s]
/proc/loadavg: 1.94 2.02 2.04 3/188 11803
/proc/meminfo: memFree=1361812/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1093176 memory=1067788 CPUtime=12.69 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 752989 0 0 0 1212 57 0 0 20 0 1 0 218433207 1119412224 266947 33554432000 4194304 7499544 140732815008864 140732815003880 5770222 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 273294 266947 748 807 0 266285 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1093176 KiB
Current children cumulated memory: 1067788 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.02 2.04 3/188 11803
/proc/meminfo: memFree=1336508/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1117728 memory=1092292 CPUtime=25.49 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 1156283 0 0 0 2471 78 0 0 20 0 1 0 218433207 1144553472 273073 33554432000 4194304 7499544 140732815008864 140732815003880 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 279432 273073 748 807 0 272423 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1117728 KiB
Current children cumulated memory: 1092292 KiB

[startup+51.1097 s]
/proc/loadavg: 1.97 2.02 2.04 3/188 11803
/proc/meminfo: memFree=1321964/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1131588 memory=1106220 CPUtime=51.09 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 1717132 0 0 0 5003 106 0 0 20 0 1 0 218433207 1158746112 276555 33554432000 4194304 7499544 140732815008864 140732815003880 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 282897 276555 748 807 0 275888 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1131588 KiB
Current children cumulated memory: 1106220 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 11804
/proc/meminfo: memFree=1314020/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1138988 memory=1113528 CPUtime=102.27 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 2254764 0 0 0 10090 137 0 0 20 0 1 0 218433207 1166323712 278382 33554432000 4194304 7499544 140732815008864 140732815003880 5770222 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 284747 278382 748 807 0 277738 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1138988 KiB
Current children cumulated memory: 1113528 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 11805
/proc/meminfo: memFree=1311708/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1141100 memory=1115672 CPUtime=162.26 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 2564070 0 0 0 16071 155 0 0 20 0 1 0 218433207 1168486400 278918 33554432000 4194304 7499544 140732815008864 140732815003880 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285275 278918 748 807 0 278266 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1141100 KiB
Current children cumulated memory: 1115672 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 11806
/proc/meminfo: memFree=1311236/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1141760 memory=1116380 CPUtime=222.25 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 2717094 0 0 0 22061 164 0 0 20 0 1 0 218433207 1169162240 279095 33554432000 4194304 7499544 140732815008864 140732815003880 5773218 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285440 279095 748 807 0 278431 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 1141760 KiB
Current children cumulated memory: 1116380 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 11807
/proc/meminfo: memFree=1311288/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1142160 memory=1116700 CPUtime=282.25 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 2834854 0 0 0 28052 173 0 0 20 0 1 0 218433207 1169571840 279175 33554432000 4194304 7499544 140732815008864 140732815003880 5770261 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285540 279175 748 807 0 278531 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1142160 KiB
Current children cumulated memory: 1116700 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 11808
/proc/meminfo: memFree=1310844/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1142160 memory=1116704 CPUtime=342.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 2851088 0 0 0 34048 176 0 0 20 0 1 0 218433207 1169571840 279176 33554432000 4194304 7499544 140732815008864 140732815003880 5771824 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285540 279176 748 807 0 278531 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 1142160 KiB
Current children cumulated memory: 1116704 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 11809
/proc/meminfo: memFree=1309804/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1142424 memory=1117040 CPUtime=402.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 2942910 0 0 0 40041 183 0 0 20 0 1 0 218433207 1169842176 279260 33554432000 4194304 7499544 140732815008864 140732815003880 5771859 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285606 279260 748 807 0 278597 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 1142424 KiB
Current children cumulated memory: 1117040 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 11810
/proc/meminfo: memFree=1309436/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1142820 memory=1117424 CPUtime=462.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3005798 0 0 0 46032 191 0 0 20 0 1 0 218433207 1170247680 279356 33554432000 4194304 7499544 140732815008864 140732815003880 5771886 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285705 279356 748 807 0 278696 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 1142820 KiB
Current children cumulated memory: 1117424 KiB


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

/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 11941
/proc/meminfo: memFree=1364712/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=1782.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3057036 0 0 0 178026 197 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 11942
/proc/meminfo: memFree=1364588/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=1842.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3057747 0 0 0 184026 197 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 5770249 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+1902.3 s]
/proc/loadavg: 2.29 2.11 2.07 3/187 11943
/proc/meminfo: memFree=1364960/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=1902.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3058463 0 0 0 190026 197 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+1962.3 s]
/proc/loadavg: 2.34 2.18 2.10 3/187 11944
/proc/meminfo: memFree=1365080/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=1962.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3059175 0 0 0 196026 197 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+2022.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/187 11945
/proc/meminfo: memFree=1364920/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=2022.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3059887 0 0 0 202026 197 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/187 11946
/proc/meminfo: memFree=1365044/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=2082.23 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3060607 0 0 0 208026 197 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 4249968 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/187 11947
/proc/meminfo: memFree=1365292/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=2142.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3061319 0 0 0 214026 198 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 5770339 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 11948
/proc/meminfo: memFree=1365536/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143352 memory=1117992 CPUtime=2202.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3062034 0 0 0 220026 198 0 0 20 0 1 0 218433207 1170792448 279498 33554432000 4194304 7499544 140732815008864 140732815003880 5790987 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285838 279498 748 807 0 278829 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117992 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 11949
/proc/meminfo: memFree=1365032/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143484 memory=1118076 CPUtime=2262.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3063004 0 0 0 226026 198 0 0 20 0 1 0 218433207 1170927616 279519 33554432000 4194304 7499544 140732815008864 140732815003880 5773387 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285871 279519 748 807 0 278862 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118076 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 11958
/proc/meminfo: memFree=1364532/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143484 memory=1118076 CPUtime=2322.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3063738 0 0 0 232026 198 0 0 20 0 1 0 218433207 1170927616 279519 33554432000 4194304 7499544 140732815008864 140732815003880 4249664 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285871 279519 748 807 0 278862 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118076 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 11959
/proc/meminfo: memFree=1364532/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143484 memory=1118076 CPUtime=2382.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3064466 0 0 0 238026 198 0 0 20 0 1 0 218433207 1170927616 279519 33554432000 4194304 7499544 140732815008864 140732815003880 5771824 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285871 279519 748 807 0 278862 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118076 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 11960
/proc/meminfo: memFree=1364408/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143484 memory=1118076 CPUtime=2442.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3065198 0 0 0 244026 198 0 0 20 0 1 0 218433207 1170927616 279519 33554432000 4194304 7499544 140732815008864 140732815003880 5770249 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285871 279519 748 807 0 278862 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118076 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 11961
/proc/meminfo: memFree=1364656/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143484 memory=1118076 CPUtime=2502.24 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3065938 0 0 0 250026 198 0 0 20 0 1 0 218433207 1170927616 279519 33554432000 4194304 7499544 140732815008864 140732815003880 5770208 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285871 279519 748 807 0 278862 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118076 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 11961
/proc/meminfo: memFree=1364656/32770624 swapFree=67058152/67108860
[pid=11802] ppid=11799 vsize=1143484 memory=1118076 CPUtime=2519.95 cores=1,3,5,7
/proc/11802/stat : 11802 (MistralXCSP) R 11799 11802 10209 0 -1 4202496 3066065 0 0 0 251797 198 0 0 20 0 1 0 218433207 1170927616 279519 33554432000 4194304 7499544 140732815008864 140732815003880 5773383 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 19591168 140732815017069 140732815017219 140732815017219 140732815019977 0
/proc/11802/statm: 285871 279519 748 807 0 278862 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118076 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 11802 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.98 s, system=1.98903 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.97
CPU user time (s): 2517.98
CPU system time (s): 1.98903
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 1143484
Max. memory (cumulated for all children) (KiB): 1118076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.98
system time used= 1.98903
maximum resident set size= 1118096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3066136
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= 196
involuntary context switches= 892


# summary of solver processes directly reported to runsolver:
#   pid: 11802
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2517.98
#   total CPU system time (s): 1.98903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0948 second user time and 18.6072 second system time

The end

Begin job on node103 at 2018-08-11 19:31:40
IDJOB=4303701
IDBENCH=141250
IDSOLVER=2779
FILE ID=node103/4303701-1534008700
RUNJOBID= node103-1533993568-10242
PBS_JOBID= 21036954
Free space on /tmp= 34452 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko64_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303701-1534008700/watcher-4303701-1534008700 -o /tmp/evaluation-result-4303701-1534008700/solver-4303701-1534008700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10242 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1434682381 HOME/instance-4303701-1534008700.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539
RANDOM SEED=1434682381

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         2429432 kB
MemAvailable:   31881688 kB
Buffers:          103768 kB
Cached:         29273308 kB
SwapCached:         5736 kB
Active:         14412700 kB
Inactive:       15042692 kB
Active(anon):      70032 kB
Inactive(anon):    59456 kB
Active(file):   14342668 kB
Inactive(file): 14983236 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058152 kB
Dirty:              5824 kB
Writeback:             0 kB
AnonPages:         83360 kB
Mapped:            49960 kB
Shmem:             48516 kB
Slab:             583096 kB
SReclaimable:     554812 kB
SUnreclaim:        28284 kB
KernelStack:        3376 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     442536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34448 MiB
End job on node103 at 2018-08-11 20:13:40