0.00/0.00	c Mistral 16062018
2.48/2.57	o 29501
2.58/2.60	o 29487
2.68/2.70	o 29463
2.78/2.88	o 29440
3.00/3.07	o 29421
3.10/3.12	o 29393
3.78/3.84	o 29362
6.18/6.29	o 29321
6.28/6.34	o 29283
6.28/6.39	o 29230
6.38/6.42	o 29174
6.38/6.47	o 29129
7.29/7.36	o 29127
7.39/7.41	o 29125
7.49/7.57	o 29085
7.69/7.76	o 29055
9.78/9.81	o 29003
9.78/9.86	o 28999
9.99/10.04	o 28993
9.99/10.09	o 28973
10.09/10.15	o 28965
10.28/10.39	o 28963
10.38/10.48	o 28955
10.68/10.71	o 28941
13.68/13.75	o 28889
13.78/13.83	o 28807
13.78/13.87	o 28801
14.78/14.83	o 28755
14.99/15.01	o 28747
15.58/15.62	o 28733
15.58/15.67	o 28722
15.69/15.72	o 28706
15.78/15.82	o 28696
16.38/16.40	o 28687
16.58/16.69	o 28683
18.69/18.78	o 28615
18.79/18.85	o 28587
18.99/19.02	o 28585
22.48/22.56	o 28578
24.49/24.57	o 28542
30.09/30.11	o 28537
31.99/32.02	o 28535
32.09/32.13	o 28477
32.88/32.93	o 28363
32.88/32.97	o 28361
32.99/33.06	o 28305
40.78/40.88	o 28261
40.99/41.08	o 28253
41.68/41.73	o 28246
52.99/53.06	o 28166
52.99/53.10	o 28126
54.78/54.83	o 28105
54.98/55.06	o 28101
58.48/58.57	o 28080
68.38/68.45	o 28054
68.48/68.51	o 28009
68.99/69.09	o 28006
69.09/69.13	o 27986
71.38/71.41	o 27960
87.77/87.86	o 27930
87.87/87.95	o 27913
87.98/88.07	o 27877
88.08/88.14	o 27855
88.37/88.43	o 27809
88.47/88.51	o 27787
88.87/88.96	o 27778
88.98/89.03	o 27760
89.57/89.67	o 27747
90.87/90.94	o 27717
114.47/114.58	o 27707
114.57/114.69	o 27704
115.77/115.84	o 27670
119.87/120.00	o 27646
120.17/120.22	o 27631
149.17/149.29	o 27601
149.57/149.60	o 27555
150.17/150.21	o 27440
151.17/151.23	o 27438
151.37/151.47	o 27413
151.47/151.51	o 27403
154.98/155.05	o 27371
155.17/155.23	o 27358
186.46/186.55	o 27332
200.98/201.02	o 27308
210.66/210.71	o 27300
232.76/232.83	o 27265
253.75/253.82	o 27139
291.55/291.65	o 27137
332.45/332.52	o 27129
333.85/333.90	o 27121
333.85/333.94	o 27095
333.95/334.10	o 27077
334.05/334.18	o 27053
337.95/338.03	o 27045
337.95/338.07	o 26969
338.05/338.16	o 26935
377.96/378.06	o 26914
435.44/435.59	o 26870
755.93/756.01	o 26868
760.82/760.91	o 26862
761.12/761.23	o 26856
788.03/788.15	o 26822
788.12/788.23	o 26788
937.12/937.20	o 26744
942.32/942.40	o 26588
971.63/971.73	o 26581
1035.93/1036.08	o 26575
1232.73/1232.81	o 26569
1232.83/1232.99	o 26563
1232.94/1233.05	o 26544
1233.53/1233.68	o 26510
1268.73/1268.87	o 26496
1303.23/1303.37	o 26488
1303.94/1304.10	o 26480
2126.85/2126.90	o 26460
2400.06/2400.11	s SATISFIABLE
2400.06/2400.11	v <instantiation type="solution">
2400.06/2400.11	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>
2400.06/2400.11	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>
2400.06/2400.11	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 (14451 MiB free)
  memory of node 1: 16384 MiB (14319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289397-1532195326/watcher-4289397-1532195326 -o /tmp/evaluation-result-4289397-1532195326/solver-4289397-1532195326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532190500-22677 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1143073342 HOME/instance-4289397-1532195326.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23245, runsolver pid=23242
Current StackSize limit: 8192 KiB


[startup+0.100575 s]*
/proc/loadavg: 2.10 2.04 2.00 3/187 23246
/proc/meminfo: memFree=29438072/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=55444 memory=29956 CPUtime=0.1 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 7729 0 0 0 9 1 0 0 20 0 1 0 37095800 56774656 7423 33554432000 4194304 7498468 140720999106832 140720999097912 139863020047333 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 13861 7489 696 807 0 6852 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55444 KiB
Current children cumulated memory: 29956 KiB

[startup+0.209688 s]*
/proc/loadavg: 2.10 2.04 2.00 3/187 23246
/proc/meminfo: memFree=29368136/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=127796 memory=102292 CPUtime=0.2 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 25830 0 0 0 17 3 0 0 20 0 1 0 37095800 130863104 25573 33554432000 4194304 7498468 140720999106832 140720999097912 139863020047333 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 31949 25573 696 807 0 24940 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127796 KiB
Current children cumulated memory: 102292 KiB

[startup+0.309627 s]*
/proc/loadavg: 2.10 2.04 2.00 3/187 23246
/proc/meminfo: memFree=29301176/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=194528 memory=169084 CPUtime=0.3 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 42514 0 0 0 26 4 0 0 20 0 1 0 37095800 199196672 42271 33554432000 4194304 7498468 140720999106832 140720999097912 139863020095392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 48632 42271 696 807 0 41623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 194528 KiB
Current children cumulated memory: 169084 KiB

[startup+0.700378 s]
/proc/loadavg: 2.10 2.04 2.00 3/187 23246
/proc/meminfo: memFree=29167628/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=449796 memory=424108 CPUtime=0.68 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 106316 0 0 0 54 14 0 0 20 0 1 0 37095800 460591104 106027 33554432000 4194304 7498468 140720999106832 140720999097912 139863020095392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 112449 106027 696 807 0 105440 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 449796 KiB
Current children cumulated memory: 424108 KiB

[startup+1.50042 s]
/proc/loadavg: 2.10 2.04 2.00 3/187 23246
/proc/meminfo: memFree=28837664/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=890376 memory=864784 CPUtime=1.48 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 214886 0 0 0 121 27 0 0 20 0 1 0 37095800 911745024 216196 33554432000 4194304 7498468 140720999106832 140720999097912 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 222594 216196 729 807 0 215585 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 890376 KiB
Current children cumulated memory: 864784 KiB

[startup+3.10937 s]
/proc/loadavg: 2.09 2.04 2.00 3/187 23246
/proc/meminfo: memFree=28437936/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1047900 memory=1022400 CPUtime=3.1 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 275410 0 0 0 276 34 0 0 20 0 1 0 37095800 1073049600 255600 33554432000 4194304 7498468 140720999106832 140720999101848 5164344 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 261975 255600 740 807 0 254966 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1047900 KiB
Current children cumulated memory: 1022400 KiB

[startup+6.30041 s]
/proc/loadavg: 2.09 2.04 2.00 3/187 23246
/proc/meminfo: memFree=28404828/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1080900 memory=1055512 CPUtime=6.28 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 463186 0 0 0 585 43 0 0 20 0 1 0 37095800 1106841600 263878 33554432000 4194304 7498468 140720999106832 140720999101368 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 270225 263878 740 807 0 263216 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1080900 KiB
Current children cumulated memory: 1055512 KiB

[startup+12.7004 s]
/proc/loadavg: 2.08 2.04 2.00 3/187 23246
/proc/meminfo: memFree=28392964/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1093176 memory=1067756 CPUtime=12.68 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 682436 0 0 0 1213 55 0 0 20 0 1 0 37095800 1119412224 266939 33554432000 4194304 7498468 140720999106832 140720999101848 5791328 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 273294 266939 740 807 0 266285 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1093176 KiB
Current children cumulated memory: 1067756 KiB

[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 2.00 3/187 23246
/proc/meminfo: memFree=28363164/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1123008 memory=1097560 CPUtime=25.48 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 866939 0 0 0 2482 66 0 0 20 0 1 0 37095800 1149960192 274390 33554432000 4194304 7498468 140720999106832 140720999101848 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 280752 274390 740 807 0 273743 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1123008 KiB
Current children cumulated memory: 1097560 KiB

[startup+51.1096 s]
/proc/loadavg: 2.04 2.03 2.00 3/187 23246
/proc/meminfo: memFree=28353820/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1131588 memory=1106188 CPUtime=51.09 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1044300 0 0 0 5034 75 0 0 20 0 1 0 37095800 1158746112 276547 33554432000 4194304 7498468 140720999106832 140720999101848 5770767 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 282897 276547 740 807 0 275888 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1131588 KiB
Current children cumulated memory: 1106188 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/187 23254
/proc/meminfo: memFree=28345812/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1138988 memory=1113500 CPUtime=102.27 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1291303 0 0 0 10140 87 0 0 20 0 1 0 37095800 1166323712 278375 33554432000 4194304 7498468 140720999106832 140720999101848 5770520 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 284747 278375 741 807 0 277738 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1138988 KiB
Current children cumulated memory: 1113500 KiB

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/187 23255
/proc/meminfo: memFree=28343788/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1141100 memory=1115648 CPUtime=162.27 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1487226 0 0 0 16128 99 0 0 20 0 1 0 37095800 1168486400 278912 33554432000 4194304 7498468 140720999106832 140720999101848 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285275 278912 741 807 0 278266 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1141100 KiB
Current children cumulated memory: 1115648 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/187 23256
/proc/meminfo: memFree=28342740/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1141760 memory=1116352 CPUtime=222.26 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1545212 0 0 0 22123 103 0 0 20 0 1 0 37095800 1169162240 279088 33554432000 4194304 7498468 140720999106832 140720999101848 5772189 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285440 279088 741 807 0 278431 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1141760 KiB
Current children cumulated memory: 1116352 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/187 23257
/proc/meminfo: memFree=28342412/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1142160 memory=1116672 CPUtime=282.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1649581 0 0 0 28116 109 0 0 20 0 1 0 37095800 1169571840 279168 33554432000 4194304 7498468 140720999106832 140720999101848 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285540 279168 741 807 0 278531 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1142160 KiB
Current children cumulated memory: 1116672 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/187 23258
/proc/meminfo: memFree=28342008/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1142424 memory=1117012 CPUtime=342.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1747286 0 0 0 34111 114 0 0 20 0 1 0 37095800 1169842176 279253 33554432000 4194304 7498468 140720999106832 140720999101848 5773663 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285606 279253 741 807 0 278597 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1142424 KiB
Current children cumulated memory: 1117012 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/187 23260
/proc/meminfo: memFree=28342656/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1142424 memory=1117012 CPUtime=402.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1759473 0 0 0 40109 116 0 0 20 0 1 0 37095800 1169842176 279253 33554432000 4194304 7498468 140720999106832 140720999101848 5773775 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285606 279253 741 807 0 278597 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1142424 KiB
Current children cumulated memory: 1117012 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 23261
/proc/meminfo: memFree=28342256/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1142820 memory=1117396 CPUtime=462.24 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1829053 0 0 0 46105 119 0 0 20 0 1 0 37095800 1170247680 279349 33554432000 4194304 7498468 140720999106832 140720999101848 5772291 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285705 279349 741 807 0 278696 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 1142820 KiB
Current children cumulated memory: 1117396 KiB


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

/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 1662.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/187 23323
/proc/meminfo: memFree=28342132/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=1722.24 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1874494 0 0 0 172101 123 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 5791450 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/187 23324
/proc/meminfo: memFree=28342252/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=1782.24 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1875170 0 0 0 178101 123 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/187 23325
/proc/meminfo: memFree=28341384/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=1842.24 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1875843 0 0 0 184101 123 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 23333
/proc/meminfo: memFree=28340744/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=1902.24 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1876524 0 0 0 190101 123 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 5772291 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 23334
/proc/meminfo: memFree=28341044/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=1962.24 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1877204 0 0 0 196101 123 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 5773775 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 23335
/proc/meminfo: memFree=28340796/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=2022.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1877880 0 0 0 202101 124 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 5791419 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 23336
/proc/meminfo: memFree=28340788/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143352 memory=1117964 CPUtime=2082.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1878561 0 0 0 208101 124 0 0 20 0 1 0 37095800 1170792448 279491 33554432000 4194304 7498468 140720999106832 140720999101848 5791376 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285838 279491 741 807 0 278829 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 1143352 KiB
Current children cumulated memory: 1117964 KiB

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 23337
/proc/meminfo: memFree=28341128/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2142.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1879538 0 0 0 214101 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 5773824 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/187 23339
/proc/meminfo: memFree=28340884/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2202.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1880238 0 0 0 220101 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 5770737 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 23340
/proc/meminfo: memFree=28341176/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2262.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1880930 0 0 0 226101 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23341
/proc/meminfo: memFree=28341176/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2322.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1881622 0 0 0 232101 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23343
/proc/meminfo: memFree=28341280/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2382.25 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1882326 0 0 0 238101 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 5770753 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 23407
/proc/meminfo: memFree=28359328/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2400.06 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1882530 0 0 0 239882 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 5772256 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB

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

[startup+2400.11 s]
# the end of solver process 23245 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.83 s, system=1.25202 s

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

[startup+2400.11 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 23407
/proc/meminfo: memFree=28359328/32770624 swapFree=67108860/67108860
[pid=23245] ppid=23242 vsize=1143484 memory=1118048 CPUtime=2400.06 cores=1,3,5,7
/proc/23245/stat : 23245 (MistralXCSP) R 23242 23245 22644 0 -1 4202496 1882530 0 0 0 239882 124 0 0 20 0 1 0 37095800 1170927616 279512 33554432000 4194304 7498468 140720999106832 140720999101848 5772256 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17645568 140720999109741 140720999109891 140720999109891 140720999112649 0
/proc/23245/statm: 285871 279512 741 807 0 278862 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 1143484 KiB
Current children cumulated memory: 1118048 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.08
CPU user time (s): 2398.83
CPU system time (s): 1.25202
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 1143484
Max. memory (cumulated for all children) (KiB): 1118048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.83
system time used= 1.25202
maximum resident set size= 1118068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1882601
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= 169
involuntary context switches= 645


# summary of solver processes directly reported to runsolver:
#   pid: 23245
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2398.83
#   total CPU system time (s): 1.25202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8173 second user time and 14.9497 second system time

The end

Begin job on node149 at 2018-07-21 19:48:46
IDJOB=4289397
IDBENCH=141250
IDSOLVER=2741
FILE ID=node149/4289397-1532195326
RUNJOBID= node149-1532190500-22677
PBS_JOBID= 21018926
Free space on /tmp= 51880 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
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-4289397-1532195326/watcher-4289397-1532195326 -o /tmp/evaluation-result-4289397-1532195326/solver-4289397-1532195326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532190500-22677 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1143073342 HOME/instance-4289397-1532195326.xml

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

MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539
RANDOM SEED=1143073342

node149.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.60
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.60
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.60
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.60
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:        29461500 kB
MemAvailable:   31960872 kB
Buffers:           59944 kB
Cached:          2701724 kB
SwapCached:            0 kB
Active:          1409872 kB
Inactive:        1424724 kB
Active(anon):      19288 kB
Inactive(anon):    73112 kB
Active(file):    1390584 kB
Inactive(file):  1351612 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9100 kB
Writeback:             0 kB
AnonPages:         98772 kB
Mapped:            36044 kB
Shmem:             17032 kB
Slab:             173192 kB
SReclaimable:     146020 kB
SUnreclaim:        27172 kB
KernelStack:        3568 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     362540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51872 MiB
End job on node149 at 2018-07-21 20:28:46