0.00/0.00	c Mistral 01082018
1.49/1.54	o 21138
1.49/1.60	o 21124
1.69/1.72	o 21116
1.69/1.78	o 21104
1.79/1.82	o 21058
2.29/2.30	o 20976
2.29/2.34	o 20972
2.49/2.57	o 20953
3.79/3.86	o 20831
4.49/4.57	o 20801
8.39/8.47	o 20789
8.39/8.50	o 20699
8.49/8.54	o 20673
8.49/8.58	o 20665
8.59/8.60	o 20663
8.69/8.70	o 20625
8.69/8.73	o 20607
8.69/8.78	o 20513
11.49/11.59	o 20504
11.58/11.63	o 20472
11.58/11.65	o 20447
11.58/11.68	o 20438
11.78/11.81	o 20434
11.78/11.84	o 20308
11.78/11.87	o 20277
11.88/11.94	o 20264
11.88/12.00	o 20260
12.28/12.38	o 20222
12.48/12.55	o 20200
12.58/12.67	o 20143
13.88/13.91	o 20119
15.39/15.44	o 20099
15.49/15.51	o 20065
15.59/15.68	o 20063
20.59/20.60	o 20055
20.59/20.63	o 20021
20.59/20.66	o 20005
20.59/20.69	o 19994
21.99/22.06	o 19969
25.99/26.02	o 19962
25.99/26.05	o 19908
26.09/26.18	o 19897
26.18/26.21	o 19894
26.38/26.45	o 19870
26.68/26.72	o 19832
27.88/27.98	o 19791
27.88/28.00	o 19779
27.99/28.03	o 19777
34.18/34.28	o 19771
35.09/35.13	o 19768
35.09/35.16	o 19716
35.18/35.26	o 19708
42.98/43.01	o 19689
42.98/43.05	o 19687
43.17/43.28	o 19618
43.57/43.68	o 19611
43.67/43.73	o 19577
43.67/43.77	o 19552
43.87/43.96	o 19550
46.67/46.71	o 19490
52.47/52.54	o 19484
55.87/55.90	o 19469
55.87/55.98	o 19448
56.87/56.99	o 19444
65.47/65.51	o 19426
68.47/68.59	o 19424
72.27/72.37	o 19419
72.57/72.61	o 19402
94.47/94.56	o 19367
98.17/98.22	o 19354
124.85/124.95	o 19310
124.85/124.99	o 19237
161.34/161.48	o 19233
161.44/161.51	o 19149
205.94/206.01	o 19145
206.04/206.14	o 19133
251.94/252.00	s SATISFIABLE
251.94/252.00	v <instantiation type="solution">
251.94/252.00	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
251.94/252.01	v   <values> 0 3 52 26 9 48 1 18 15 45 47 4 33 10 11 5 31 2 21 19 6 51 43 20 46 27 44 49 7 29 41 30 28 40 16 23 54 8 12 36 42 25 39 50 13 32 55 53 38 14 22 34 35 17 24 37 * 4 1 5 0 5 1 0 5 2 10 0 0 0 1 3 5 0 0 5 5 2 1 4 5 10 5 10 2 1 1 0 5 2 2 0 1 4 0 10 2 1 5 0 0 2 1 0 4 1 0 0 5 2 0 0 * * 10 1 5 0 5 2 5 10 5 5 5 0 5 4 5 1 1 10 10 2 0 2 0 0 4 0 4 2 2 0 6 2 0 0 10 3 0 1 0 0 0 0 0 1 5 1 1 10 2 2 5 2 10 0 * * * 10 2 4 0 2 3 0 0 0 6 2 5 2 4 0 10 5 0 2 0 4 0 0 5 6 5 0 5 1 3 0 1 5 1 0 1 5 0 3 5 2 10 5 0 1 0 0 0 1 10 1 1 10 * * * * 3 10 10 5 10 1 0 5 1 5 10 2 5 2 5 10 0 5 5 0 6 0 10 2 0 1 0 1 3 6 10 2 2 5 5 5 5 5 0 0 4 2 0 0 6 0 1 0 5 0 0 0 * * * * * 6 5 0 0 2 1 0 3 0 2 0 0 0 3 10 2 6 5 1 2 0 2 10 0 2 2 0 3 0 1 0 1 4 5 0 0 2 10 5 0 5 0 2 5 5 0 5 10 0 0 0 * * * * * * 0 6 2 1 0 0 0 10 0 5 0 10 5 0 1 0 0 1 3 5 0 0 0 6 6 0 1 2 2 1 0 0 0 0 1 0 5 5 10 5 5 0 2 2 0 0 1 5 0 0 * * * * * * * 0 2 6 2 0 0 5 10 10 0 0 0 0 0 0 1 2 3 5 5 0 5 10 1 1 0 0 0 1 0 10 0 2 1 2 1 0 0 3 5 0 2 1 2 0 1 5 1 5 * * * * * * * * 0 0 0 5 5 1 1 5 0 2 5 2 1 2 1 0 5 0 1 1 5 0 2 1 0 0 5 4 5 1 1 0 0 2 1 2 1 5 1 10 2 0 0 10 0 6 1 0 * * * * * * * * * 4 2 2 2 0 0 0 3 1 2 5 6 1 5 10 5 1 0 5 4 0 1 2 0 0 0 2 5 2 0 0 2 4 0 2 2 4 5 1 0 0 2 0 1 0 5 1 * * * * * * * * * * 2 2 10 1 3 10 5 5 0 0 0 0 5 5 5 1 10 5 3 0 0 0 0 5 6 2 1 1 1 0 5 5 2 6 2 2 2 5 2 10 0 0 0 0 5 0 * * * * * * * * * * * 10 10 1 10 0 5 0 0 5 0 5 1 0 2 0 2 2 5 0 2 0 5 5 10 2 0 0 4 0 0 0 2 2 2 6 0 5 5 0 5 2 0 5 2 0 * * * * * * * * * * * * 10 10 5 1 10 5 1 10 1 5 5 0 5 6 5 5 1 2 0 5 10 4 0 1 3 2 2 2 0 2 5 5 5 10 10 2 2 5 2 1 2 5 2 2 * * * * * * * * * * * * * 0 2 0 2 0 5 5 6 0 3 1 5 1 0 6 0 5 3 3 0 5 0 0 4 1 6 10 2 4 0 2 0 0 0 1 5 0 2 5 0 0 5 0 * * * * * * * * * * * * * * 0 2 5 0 10 1 10 0 5 10 0 0 2 5 10 10 1 0 4 1 0 0 4 0 1 10 2 2 2 1 5 0 5 1 0 0 4 1 5 5 0 0 * * * * * * * * * * * * * * * 2 1 6 1 5 2 1 0 2 1 3 5 5 5 1 5 5 0 5 1 0 5 5 10 6 0 0 0 2 10 5 5 0 5 3 0 2 0 5 1 1 * * * * * * * * * * * * * * * * 2 0 10 10 1 1 1 5 0 5 10 0 1 0 2 2 5 1 1 10 10 0 0 5 1 10 2 0 0 1 1 5 0 0 1 1 5 0 2 10 * * * * * * * * * * * * * * * * * 10 5 10 2 0 2 0 0 10 1 5 0 10 2 1 0 0 0 0 5 0 2 0 2 1 0 1 0 4 0 1 2 2 1 5 5 6 4 2 * * * * * * * * * * * * * * * * * * 1 0 0 5 5 2 5 5 0 0 0 10 5 2 0 3 1 2 10 2 1 0 0 3 0 2 0 0 2 0 1 1 1 0 0 0 1 5 * * * * * * * * * * * * * * * * * * * 2 2 10 0 0 0 5 10 5 5 5 0 5 2 5 5 2 2 0 0 0 5 0 0 1 2 5 2 0 0 5 10 0 0 0 4 4 * * * * * * * * * * * * * * * * * * * * 4 5 0 1 5 0 4 5 5 5 0 0 10 0 10 0 1 2 1 4 0 10 2 0 1 0 0 0 1 0 0 5 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * 10 5 4 2 0 2 0 6 2 0 6 10 2 0 5 0 2 10 4 1 1 2 2 2 2 0 0 0 4 5 0 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * 10 0 2 0 0 5 4 3 2 0 5 0 0 2 5 5 0 5 0 1 10 5 5 1 5 0 4 0 5 2 1 1 3 0 * * * * * * * * * * * * * * * * * * * * * * * 1 2 5 0 0 5 0 5 10 10 5 1 2 2 5 10 0 0 0 5 0 5 0 2 0 0 0 0 4 5 10 5 1 * * * * * * * * * * * * * * * * * * * * * * * * 0 5 3 0 2 1 1 5 0 0 1 3 2 0 5 5 0 5 0 2 2 0 5 3 0 2 2 0 2 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 2 2 0 2 5 10 5 1 0 1 0 0 5 4 0 0 0 5 5 1 0 2 0 1 5 2 10 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 5 1 0 5 5 5 10 2 2 1 5 2 5 6 0 10 0 5 0 0 5 6 0 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 0 0 10 0 2 5 2 0 0 0 5 10 0 2 1 0 0 10 3 2 0 2 6 4 1 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 2 3 1 5 0 10 5 10 0 2 2 2 2 6 0 5 3 0 2 1 1 0 1 0 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 1 2 3 0 5 5 5 0 5 1 0 1 0 0 0 10 5 1 2 2 0 5 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 10 0 5 2 1 10 4 4 0 1 0 2 0 5 5 1 1 0 10 0 2 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 5 3 2 5 10 5 3 0 0 0 2 5 5 10 2 0 4 2 1 3 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 5 1 0 1 0 5 10 0 2 0 4 2 0 1 0 5 0 2 5 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 2 3 1 2 10 3 5 0 5 2 10 1 2 3 2 10 10 10 0 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 1 1 2 0 2 2 5 10 10 0 0 3 3 1 1 0 1 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 0 0 2 1 1 5 2 10 0 4 0 2 5 10 10 1 3 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 5 0 2 10 0 0 10 5 5 10 0 2 10 0 3 2 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 2 10 2 0 2 5 1 5 1 5 1 4 5 0 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 1 10 6 5 10 5 0 3 0 5 2 5 2 10 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 10 2 1 2 10 0 0 0 2 5 5 10 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 0 5 3 1 1 2 3 2 2 0 1 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 1 0 10 3 2 0 0 0 4 2 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 2 2 2 2 5 6 5 0 2 4 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 0 2 5 5 5 5 0 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 2 4 0 0 10 1 10 1 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 5 0 1 2 5 10 2 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 2 0 5 1 1 3 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 2 4 5 2 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 1 5 0 10 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 5 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 2 10 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 10 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
251.94/252.01	v </instantiation>

OK	19133

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 (10323 MiB free)
  memory of node 1: 16384 MiB (13193 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312564-1534699515/watcher-4312564-1534699515 -o /tmp/evaluation-result-4312564-1534699515/solver-4312564-1534699515 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534699009-13164 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1441536169 HOME/instance-4312564-1534699515.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13456, runsolver pid=13453
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 2.00 1.63 0.87 3/187 13457
/proc/meminfo: memFree=24045516/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=69996 memory=44488 CPUtime=0.1 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 11360 0 0 0 9 1 0 0 20 0 1 0 287514376 71675904 11122 33554432000 4194304 7499544 140729015286512 140729015283512 140323633354656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 17499 11122 698 807 0 10490 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69996 KiB
Current children cumulated memory: 44488 KiB

[startup+0.20959 s]*
/proc/loadavg: 2.00 1.63 0.87 3/187 13457
/proc/meminfo: memFree=23967396/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=148020 memory=122368 CPUtime=0.21 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 30824 0 0 0 16 5 0 0 20 0 1 0 287514376 151572480 30592 33554432000 4194304 7499544 140729015286512 140729015283512 140323633354656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 37005 30592 698 807 0 29996 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 148020 KiB
Current children cumulated memory: 122368 KiB

[startup+0.309532 s]*
/proc/loadavg: 2.00 1.63 0.87 3/187 13457
/proc/meminfo: memFree=23895660/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=219284 memory=193912 CPUtime=0.31 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 48686 0 0 0 24 7 0 0 20 0 1 0 287514376 224546816 48478 33554432000 4194304 7499544 140729015286512 140729015283512 140323633354656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 54821 48478 698 807 0 47812 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 219284 KiB
Current children cumulated memory: 193912 KiB

[startup+0.700387 s]
/proc/loadavg: 2.00 1.63 0.87 3/187 13457
/proc/meminfo: memFree=23751696/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=494020 memory=468472 CPUtime=0.69 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 117346 0 0 0 53 16 0 0 20 0 1 0 287514376 505876480 117118 33554432000 4194304 7499544 140729015286512 140729015277976 140323633306597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 123505 117118 698 807 0 116496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 494020 KiB
Current children cumulated memory: 468472 KiB

[startup+1.50041 s]
/proc/loadavg: 2.00 1.63 0.87 3/187 13457
/proc/meminfo: memFree=23503368/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=664072 memory=638644 CPUtime=1.49 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 152761 0 0 0 129 20 0 0 20 0 1 0 287514376 680009728 159661 33554432000 4194304 7499544 140729015286512 140729015281512 5791022 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 166018 159661 740 807 0 159009 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 664072 KiB
Current children cumulated memory: 638644 KiB

[startup+3.10948 s]
/proc/loadavg: 2.00 1.64 0.87 3/187 13457
/proc/meminfo: memFree=23442204/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=664072 memory=638860 CPUtime=3.09 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 171907 0 0 0 288 21 0 0 20 0 1 0 287514376 680009728 159715 33554432000 4194304 7499544 140729015286512 140729015281528 4545490 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 166018 159715 748 807 0 159009 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 664072 KiB
Current children cumulated memory: 638860 KiB

[startup+6.30039 s]
/proc/loadavg: 2.00 1.64 0.87 3/187 13457
/proc/meminfo: memFree=23410540/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=695488 memory=670344 CPUtime=6.29 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 365800 0 0 0 597 32 0 0 20 0 1 0 287514376 712179712 167586 33554432000 4194304 7499544 140729015286512 140729015281048 5771839 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 173872 167586 748 807 0 166863 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 695488 KiB
Current children cumulated memory: 670344 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 1.65 0.88 3/187 13457
/proc/meminfo: memFree=23396388/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=709744 memory=684552 CPUtime=12.68 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 535483 0 0 0 1227 41 0 0 20 0 1 0 287514376 726777856 171138 33554432000 4194304 7499544 140729015286512 140729015281528 5773363 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 177436 171138 748 807 0 170427 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 709744 KiB
Current children cumulated memory: 684552 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 1.66 0.90 3/187 13457
/proc/meminfo: memFree=23387428/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=719248 memory=694084 CPUtime=25.48 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 696389 0 0 0 2499 49 0 0 20 0 1 0 287514376 736509952 173521 33554432000 4194304 7499544 140729015286512 140729015281528 5790971 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 179812 173521 748 807 0 172803 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 719248 KiB
Current children cumulated memory: 694084 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 1.69 0.92 3/187 13457
/proc/meminfo: memFree=23379088/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=728092 memory=702948 CPUtime=51.08 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 815274 0 0 0 5052 56 0 0 20 0 1 0 287514376 745566208 175737 33554432000 4194304 7499544 140729015286512 140729015281528 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 182023 175737 748 807 0 175014 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 728092 KiB
Current children cumulated memory: 702948 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 1.74 0.99 3/187 13458
/proc/meminfo: memFree=23376576/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=730600 memory=705416 CPUtime=102.27 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 971562 0 0 0 10162 65 0 0 20 0 1 0 287514376 748134400 176354 33554432000 4194304 7499544 140729015286512 140729015281528 5773383 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 182650 176354 748 807 0 175641 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 730600 KiB
Current children cumulated memory: 705416 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.79 1.05 3/187 13459
/proc/meminfo: memFree=23375696/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=731788 memory=706568 CPUtime=162.24 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 1056247 0 0 0 16155 69 0 0 20 0 1 0 287514376 749350912 176642 33554432000 4194304 7499544 140729015286512 140729015281528 5773343 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 182947 176642 748 807 0 175938 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 731788 KiB
Current children cumulated memory: 706568 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.83 1.11 3/187 13461
/proc/meminfo: memFree=23374524/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=732448 memory=707308 CPUtime=222.23 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 1119727 0 0 0 22150 73 0 0 20 0 1 0 287514376 750026752 176827 33554432000 4194304 7499544 140729015286512 140729015281528 5790971 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 183112 176827 748 807 0 176103 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 732448 KiB
Current children cumulated memory: 707308 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.84 1.14 2/185 13462
/proc/meminfo: memFree=23381636/32770624 swapFree=67108688/67108860
[pid=13456] ppid=13453 vsize=732448 memory=707308 CPUtime=251.94 cores=1,3,5,7
/proc/13456/stat : 13456 (MistralXCSP) R 13453 13456 13132 0 -1 4202496 1122856 0 0 0 25120 74 0 0 20 0 1 0 287514376 750026752 176827 33554432000 4194304 7499544 140729015286512 140729015281528 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 36376576 140729015288946 140729015289096 140729015289096 140729015291849 0
/proc/13456/statm: 183112 176827 748 807 0 176103 0
Current children cumulated CPU time: 251.94 s
Current children cumulated vsize: 732448 KiB
Current children cumulated memory: 707308 KiB

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

[startup+252.03 s]
# the end of solver process 13456 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.204 s, system=0.760934 s

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

Child status: 0
Real time (s): 252.03
CPU time (s): 251.965
CPU user time (s): 251.204
CPU system time (s): 0.760934
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 732448
Max. memory (cumulated for all children) (KiB): 707308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.204
system time used= 0.760934
maximum resident set size= 707328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1122928
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= 105
involuntary context switches= 103


# summary of solver processes directly reported to runsolver:
#   pid: 13456
#   total CPU time (s): 251.965
#   total CPU user time (s): 251.204
#   total CPU system time (s): 0.760934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.952699 second user time and 1.97662 second system time

The end

Begin job on node106 at 2018-08-19 19:25:15
IDJOB=4312564
IDBENCH=141242
IDSOLVER=2801
FILE ID=node106/4312564-1534699515
RUNJOBID= node106-1534699009-13164
PBS_JOBID= 21038723
Free space on /tmp= 59528 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko56_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-4312564-1534699515/watcher-4312564-1534699515 -o /tmp/evaluation-result-4312564-1534699515/solver-4312564-1534699515 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534699009-13164 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1441536169 HOME/instance-4312564-1534699515.xml

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

MD5SUM BENCH= 870d89fd5d4ada0d2442065415f88ba8
RANDOM SEED=1441536169

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        24081464 kB
MemAvailable:   31892952 kB
Buffers:          239752 kB
Cached:          7857428 kB
SwapCached:            0 kB
Active:          4172388 kB
Inactive:        3989440 kB
Active(anon):      36100 kB
Inactive(anon):    96872 kB
Active(file):    4136288 kB
Inactive(file):  3892568 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             11808 kB
Writeback:            20 kB
AnonPages:        100560 kB
Mapped:            23208 kB
Shmem:             66016 kB
Slab:             225676 kB
SReclaimable:     196932 kB
SUnreclaim:        28744 kB
KernelStack:        3488 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     400584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59524 MiB
End job on node106 at 2018-08-19 19:29:27