0.00/0.01	c Mistral-2017-06-28
1.08/1.18	o 4468
1.08/1.18	o 4366
1.08/1.19	o 4338
1.08/1.19	o 4325
1.08/1.20	o 4288
1.18/1.21	o 4280
1.18/1.25	o 4257
1.27/1.37	o 4255
1.27/1.38	o 4250
1.27/1.39	o 4243
1.27/1.39	o 4238
1.47/1.50	o 4228
1.47/1.51	o 4181
1.57/1.60	o 4180
1.57/1.61	o 4176
1.57/1.64	o 4157
1.57/1.64	o 4155
1.57/1.65	o 4154
2.38/2.40	o 4139
2.38/2.41	o 4133
2.38/2.42	o 4119
2.38/2.42	o 4093
2.38/2.43	o 4077
2.38/2.44	o 4070
2.38/2.44	o 4042
2.38/2.46	o 4020
2.38/2.46	o 4015
2.38/2.47	o 3986
2.38/2.49	o 3977
2.48/2.53	o 3957
2.48/2.58	o 3956
2.58/2.69	o 3949
2.58/2.69	o 3931
3.29/3.35	o 3924
3.29/3.35	o 3825
3.29/3.36	o 3819
3.29/3.38	o 3789
3.39/3.44	o 3775
3.58/3.68	o 3765
3.58/3.68	o 3732
4.18/4.23	o 3716
4.18/4.23	o 3709
4.18/4.24	o 3703
4.18/4.28	o 3694
4.28/4.35	o 3685
4.28/4.35	o 3667
4.28/4.38	o 3666
4.28/4.38	o 3631
4.28/4.39	o 3625
4.39/4.45	o 3623
4.58/4.61	o 3597
4.58/4.62	o 3505
4.58/4.62	o 3495
4.58/4.64	o 3491
4.88/4.99	o 3485
4.98/5.08	o 3467
4.98/5.09	o 3459
5.08/5.14	o 3448
5.08/5.15	o 3447
5.08/5.17	o 3433
5.08/5.17	o 3430
5.28/5.39	o 3426
5.38/5.42	o 3423
5.59/5.65	o 3422
5.59/5.66	o 3418
5.78/5.80	o 3413
5.98/6.02	o 3391
6.08/6.15	o 3370
6.08/6.16	o 3364
6.08/6.16	o 3360
6.08/6.17	o 3340
6.08/6.17	o 3339
6.08/6.18	o 3332
6.08/6.19	o 3331
6.18/6.26	o 3319
6.18/6.29	o 3309
6.28/6.30	o 3239
6.38/6.48	o 3234
6.38/6.49	o 3231
6.48/6.51	o 3207
6.48/6.52	o 3205
6.48/6.53	o 3203
6.59/6.68	o 3192
7.18/7.25	o 3187
7.18/7.25	o 3180
7.18/7.26	o 3177
7.18/7.27	o 3176
7.18/7.28	o 3162
7.18/7.29	o 3152
7.18/7.29	o 3131
7.28/7.33	o 3116
7.28/7.34	o 3114
7.28/7.37	o 3097
7.48/7.50	o 3096
7.88/7.92	o 3092
7.88/7.92	o 3050
7.88/7.93	o 3032
7.88/7.93	o 2998
7.88/7.94	o 2996
7.88/7.95	o 2978
7.88/7.96	o 2962
7.88/7.98	o 2943
7.98/8.00	o 2935
7.98/8.01	o 2934
7.98/8.02	o 2932
7.98/8.06	o 2931
7.98/8.09	o 2929
8.08/8.18	o 2925
8.08/8.19	o 2919
8.08/8.19	o 2918
8.48/8.51	o 2904
9.08/9.19	o 2889
9.18/9.20	o 2882
9.18/9.20	o 2876
9.18/9.21	o 2861
9.18/9.22	o 2853
9.18/9.22	o 2842
9.28/9.38	o 2840
9.38/9.48	o 2835
9.38/9.49	o 2820
9.68/9.70	o 2813
9.68/9.71	o 2803
9.99/10.07	o 2801
10.18/10.24	o 2783
10.38/10.40	o 2756
10.48/10.54	o 2755
10.48/10.59	o 2749
10.68/10.79	o 2721
10.88/10.90	o 2712
10.88/10.95	o 2705
10.98/11.08	o 2700
10.98/11.09	o 2681
11.08/11.11	o 2664
11.08/11.17	o 2660
11.78/11.86	o 2652
11.78/11.87	o 2634
11.78/11.87	o 2633
11.78/11.87	o 2624
12.28/12.38	o 2618
12.88/12.90	o 2603
12.88/12.91	o 2577
12.88/12.92	o 2566
12.88/12.93	o 2544
12.88/12.93	o 2534
12.88/12.95	o 2499
12.98/13.06	o 2492
12.98/13.07	o 2477
12.98/13.08	o 2476
12.98/13.09	o 2475
13.08/13.14	o 2470
13.08/13.14	o 2461
13.18/13.22	o 2456
13.28/13.34	o 2455
13.28/13.35	o 2429
13.28/13.35	o 2427
13.37/13.40	o 2416
13.47/13.54	o 2383
14.38/14.41	o 2380
14.38/14.41	o 2377
14.38/14.42	o 2339
14.57/14.66	o 2330
14.67/14.78	o 2316
14.67/14.78	o 2305
14.97/15.03	o 2280
15.27/15.36	o 2273
16.67/16.74	o 2268
17.07/17.15	o 2244
17.47/17.50	o 2242
18.87/18.97	o 2233
19.47/19.57	o 2224
20.17/20.21	o 2223
20.77/20.87	o 2209
20.77/20.87	o 2189
20.77/20.88	o 2185
20.77/20.88	o 2168
20.77/20.90	o 2096
20.88/20.92	o 2085
20.88/20.93	o 2082
20.88/20.93	o 2078
20.88/20.94	o 2059
20.88/20.95	o 2044
21.77/21.82	o 2033
21.77/21.87	o 2020
21.77/21.87	o 2016
21.98/22.00	o 1998
21.98/22.01	o 1996
21.98/22.02	o 1984
22.47/22.55	o 1979
22.77/22.80	o 1972
23.08/23.19	o 1964
23.08/23.20	o 1958
23.18/23.22	o 1953
23.27/23.39	o 1951
23.37/23.45	o 1947
23.57/23.69	o 1943
23.77/23.85	o 1942
23.97/24.00	o 1931
23.97/24.01	o 1914
23.97/24.01	o 1891
23.97/24.02	o 1881
23.97/24.05	o 1879
24.18/24.29	o 1832
24.47/24.54	o 1814
25.38/25.44	o 1807
25.97/26.09	o 1790
26.77/26.82	o 1783
27.48/27.52	o 1773
28.58/28.69	o 1768
28.68/28.71	o 1767
29.07/29.11	o 1763
29.07/29.18	o 1761
29.07/29.18	o 1712
29.17/29.20	o 1704
29.27/29.37	o 1683
29.27/29.37	o 1672
29.37/29.46	o 1660
29.47/29.53	o 1658
29.47/29.53	o 1657
29.57/29.68	o 1656
29.68/29.76	o 1646
30.88/30.93	o 1644
40.67/40.76	o 1608
41.46/41.51	o 1604
44.26/44.31	o 1587
45.17/45.25	o 1564
45.86/45.94	o 1550
45.96/46.02	o 1549
49.76/49.88	o 1545
49.86/49.91	o 1544
50.06/50.14	o 1543
51.77/51.88	o 1533
51.77/51.88	o 1532
52.06/52.11	o 1530
52.36/52.49	o 1519
52.36/52.49	o 1516
52.47/52.50	o 1515
53.97/54.09	o 1512
54.06/54.10	o 1501
57.36/57.46	o 1500
57.36/57.47	o 1499
57.96/58.08	o 1498
58.37/58.44	o 1497
60.66/60.79	o 1488
60.66/60.79	o 1487
60.76/60.83	o 1474
61.86/61.94	o 1473
62.56/62.68	o 1472
63.76/63.82	o 1464
65.55/65.61	o 1463
65.55/65.68	o 1446
65.96/66.03	o 1437
66.25/66.30	o 1435
66.25/66.30	o 1430
73.55/73.68	o 1428
74.35/74.42	o 1421
74.35/74.48	o 1418
93.15/93.23	o 1417
96.35/96.42	o 1413
97.35/97.44	o 1407
104.45/104.52	o 1395
107.34/107.42	o 1382
111.44/111.51	o 1376
114.35/114.44	o 1363
122.05/122.19	o 1359
127.74/127.84	o 1345
130.54/130.69	o 1343
148.33/148.49	o 1338
184.93/185.07	o 1336
184.93/185.08	o 1334
185.03/185.19	o 1331
185.73/185.86	o 1327
185.73/185.87	o 1322
200.82/200.99	o 1320
203.02/203.18	o 1318
203.62/203.79	o 1312
207.02/207.16	o 1301
217.62/217.73	o 1295
258.01/258.20	o 1294
258.71/258.87	o 1293
271.81/271.94	o 1271
274.61/274.77	o 1248
294.90/295.03	o 1242
303.70/303.83	o 1223
310.00/310.16	o 1222
376.59/376.75	o 1215
383.39/383.58	o 1214
390.89/391.09	o 1207
411.68/411.88	o 1204
436.58/436.70	o 1200
454.37/454.53	o 1199
469.27/469.45	o 1198
478.66/478.90	o 1196
494.87/495.01	o 1193
515.26/515.44	o 1186
526.76/526.91	o 1184
543.65/543.80	o 1182
543.65/543.81	o 1179
569.85/570.06	o 1175
636.23/636.40	o 1172
854.19/854.42	o 1171
999.06/999.35	o 1167
1022.15/1022.42	o 1164
1022.15/1022.42	o 1159
1194.82/1195.12	o 1150
1223.51/1223.88	o 1147
2400.08/2400.60	s SATISFIABLE
2400.08/2400.60	v <instantiation type="solution">
2400.08/2400.60	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] </list>
2400.08/2400.60	v   <values> 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 70 57 93 6 31 66 46 63 97 25 47 48 14 20 81 41 98 60 18 80 95 40 22 19 9 24 97 20 85 65 94 58 78 25 100 74 21 97 2 100 94 69 43 86 40 34 92 51 39 21 13 76 80 56 98 66 60 93 9 35 </values>
2400.08/2400.60	v </instantiation>

OK	1147

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240897-1500648176/watcher-4240897-1500648176 -o /tmp/evaluation-result-4240897-1500648176/solver-4240897-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500648174-9883 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240897-1500648176.xml 

pid=9906
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.03 0.07 4/247 9914
/proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824
[pid=9914] ppid=9906 vsize=28672 CPUtime=0 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) D 9906 9914 9851 0 -1 4202496 831 0 2 0 0 0 0 0 20 0 1 0 84775 29360128 605 33554432000 4194304 7402444 140728986930720 140728986925072 139782045707121 0 0 4096 0 18446744071580431491 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 7168 605 484 784 0 182 0

[startup+0.100107 s]
/proc/loadavg: 0.00 0.03 0.07 4/247 9914
/proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824
[pid=9914] ppid=9906 vsize=40080 CPUtime=0.08 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 4037 0 2 0 7 1 0 0 20 0 1 0 84775 41041920 3695 33554432000 4194304 7402444 140728986930720 140728986920728 4774875 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 10020 3695 677 784 0 3034 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40080

[startup+0.200322 s]
/proc/loadavg: 0.00 0.03 0.07 4/247 9914
/proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824
[pid=9914] ppid=9906 vsize=45228 CPUtime=0.18 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 5449 0 2 0 17 1 0 0 20 0 1 0 84775 46313472 4931 33554432000 4194304 7402444 140728986930720 140728986921320 4731480 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 11307 4931 687 784 0 4321 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45228

[startup+0.300341 s]
/proc/loadavg: 0.00 0.03 0.07 4/247 9914
/proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824
[pid=9914] ppid=9906 vsize=47772 CPUtime=0.28 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 6059 0 2 0 27 1 0 0 20 0 1 0 84775 48918528 5591 33554432000 4194304 7402444 140728986930720 140728986921320 4731480 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 11943 5591 687 784 0 4957 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47772

[startup+0.700212 s]
/proc/loadavg: 0.00 0.03 0.07 4/247 9914
/proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824
[pid=9914] ppid=9906 vsize=52320 CPUtime=0.68 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 7276 0 2 0 67 1 0 0 20 0 1 0 84775 53575680 6779 33554432000 4194304 7402444 140728986930720 140728986921864 5910860 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 13080 6779 742 784 0 6094 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52320

[startup+1.50033 s]
/proc/loadavg: 0.00 0.03 0.07 4/249 9916
/proc/meminfo: memFree=32035536/32770624 swapFree=5956/170136
[pid=9914] ppid=9906 vsize=56436 CPUtime=1.47 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 8322 0 2 0 146 1 0 0 20 0 1 0 84775 57790464 7835 33554432000 4194304 7402444 140728986930720 140728986925736 4463864 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7835 773 784 0 7123 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 56436

[startup+3.10035 s]
/proc/loadavg: 0.00 0.03 0.07 4/249 9916
/proc/meminfo: memFree=32034920/32770624 swapFree=5956/170144
[pid=9914] ppid=9906 vsize=56436 CPUtime=3.08 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 13245 0 2 0 306 2 0 0 20 0 1 0 84775 57790464 7864 33554432000 4194304 7402444 140728986930720 140728986925736 4709390 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7864 785 784 0 7123 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56436

[startup+6.30035 s]
/proc/loadavg: 0.08 0.05 0.08 4/249 9916
/proc/meminfo: memFree=32035276/32770624 swapFree=5956/170632
[pid=9914] ppid=9906 vsize=56436 CPUtime=6.28 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 18178 0 2 0 626 2 0 0 20 0 1 0 84775 57790464 7864 33554432000 4194304 7402444 140728986930720 140728986925736 5753458 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7864 785 784 0 7123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56436

[startup+12.7003 s]
/proc/loadavg: 0.24 0.08 0.09 4/249 9916
/proc/meminfo: memFree=32035292/32770624 swapFree=5956/170640
[pid=9914] ppid=9906 vsize=56436 CPUtime=12.68 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 23115 0 2 0 1266 2 0 0 20 0 1 0 84775 57790464 7864 33554432000 4194304 7402444 140728986930720 140728986925736 4708116 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7864 785 784 0 7123 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56436

[startup+25.5004 s]
/proc/loadavg: 0.63 0.18 0.12 4/249 9916
/proc/meminfo: memFree=32036076/32770624 swapFree=5956/170660
[pid=9914] ppid=9906 vsize=56436 CPUtime=25.47 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 32982 0 2 0 2545 2 0 0 20 0 1 0 84775 57790464 7864 33554432000 4194304 7402444 140728986930720 140728986925736 4463745 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7864 785 784 0 7123 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 56436

[startup+51.1005 s]
/proc/loadavg: 1.10 0.32 0.17 4/249 9916
/proc/meminfo: memFree=32036240/32770624 swapFree=5956/170684
[pid=9914] ppid=9906 vsize=56436 CPUtime=51.06 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 37925 0 2 0 5104 2 0 0 20 0 1 0 84775 57790464 7864 33554432000 4194304 7402444 140728986930720 140728986925736 4342254 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7864 785 784 0 7123 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56436

[startup+102.3 s]
/proc/loadavg: 1.61 0.58 0.26 4/250 9920
/proc/meminfo: memFree=32030608/32770624 swapFree=5956/174636
[pid=9914] ppid=9906 vsize=56436 CPUtime=102.25 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38045 0 2 0 10222 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463806 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 56436

[startup+162.3 s]
/proc/loadavg: 1.89 0.85 0.38 4/249 9921
/proc/meminfo: memFree=32032504/32770624 swapFree=5956/174684
[pid=9914] ppid=9906 vsize=56436 CPUtime=162.23 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38133 0 2 0 16220 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5750706 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 56436

[startup+222.308 s]
/proc/loadavg: 1.96 1.06 0.48 4/249 9922
/proc/meminfo: memFree=32033272/32770624 swapFree=5956/174740
[pid=9914] ppid=9906 vsize=56436 CPUtime=222.23 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38220 0 2 0 22220 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5750746 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 56436

[startup+282.3 s]
/proc/loadavg: 1.99 1.23 0.57 4/249 9923
/proc/meminfo: memFree=32034260/32770624 swapFree=5956/174784
[pid=9914] ppid=9906 vsize=56436 CPUtime=282.21 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38307 0 2 0 28218 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463845 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56436

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.66 4/248 9925
/proc/meminfo: memFree=32033604/32770624 swapFree=5956/174840
[pid=9914] ppid=9906 vsize=56436 CPUtime=342.19 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38394 0 2 0 34216 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4465443 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 56436

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.75 4/247 9926
/proc/meminfo: memFree=32033668/32770624 swapFree=5956/174900
[pid=9914] ppid=9906 vsize=56436 CPUtime=402.18 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38480 0 2 0 40215 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463792 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 56436

[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.82 4/248 9935
/proc/meminfo: memFree=32033544/32770624 swapFree=5956/174964
[pid=9914] ppid=9906 vsize=56436 CPUtime=462.17 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38567 0 2 0 46214 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5327213 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56436

[startup+522.3 s]
/proc/loadavg: 2.07 1.68 0.91 4/248 9936
/proc/meminfo: memFree=32033872/32770624 swapFree=5956/175016
[pid=9914] ppid=9906 vsize=56436 CPUtime=522.15 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38655 0 2 0 52212 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463889 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 56436

[startup+582.3 s]
/proc/loadavg: 2.03 1.74 0.98 4/248 9937
/proc/meminfo: memFree=32033768/32770624 swapFree=5956/175064
[pid=9914] ppid=9906 vsize=56436 CPUtime=582.14 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 38742 0 2 0 58211 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4465470 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 56436


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


[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 1.63 4/246 9985
/proc/meminfo: memFree=32030252/32770624 swapFree=5956/175576
[pid=9914] ppid=9906 vsize=56436 CPUtime=1481.96 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 39973 0 2 0 148193 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5750720 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 56436

[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 1.65 4/246 9986
/proc/meminfo: memFree=32030764/32770624 swapFree=5956/175600
[pid=9914] ppid=9906 vsize=56436 CPUtime=1541.96 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40054 0 2 0 154193 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463814 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 56436

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.68 4/246 9987
/proc/meminfo: memFree=32030072/32770624 swapFree=5956/175636
[pid=9914] ppid=9906 vsize=56436 CPUtime=1601.94 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40126 0 2 0 160191 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5750489 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 56436

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.70 4/248 9997
/proc/meminfo: memFree=32028928/32770624 swapFree=5956/175668
[pid=9914] ppid=9906 vsize=56436 CPUtime=1661.93 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40197 0 2 0 166190 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463845 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 56436

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 4/248 9998
/proc/meminfo: memFree=32030644/32770624 swapFree=5956/175696
[pid=9914] ppid=9906 vsize=56436 CPUtime=1721.92 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40272 0 2 0 172189 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4466967 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 56436

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.73 4/248 9999
/proc/meminfo: memFree=32029852/32770624 swapFree=5956/175724
[pid=9914] ppid=9906 vsize=56436 CPUtime=1781.91 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40349 0 2 0 178188 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4465408 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 56436

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 4/249 10001
/proc/meminfo: memFree=32030680/32770624 swapFree=5956/175752
[pid=9914] ppid=9906 vsize=56436 CPUtime=1841.89 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40424 0 2 0 184186 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4249086 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1841.89
Current children cumulated vsize (KiB) 56436

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.77 4/249 10002
/proc/meminfo: memFree=32030536/32770624 swapFree=5956/175784
[pid=9914] ppid=9906 vsize=56436 CPUtime=1901.88 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40499 0 2 0 190185 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4465470 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1901.88
Current children cumulated vsize (KiB) 56436

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 4/247 10003
/proc/meminfo: memFree=32030604/32770624 swapFree=5956/175812
[pid=9914] ppid=9906 vsize=56436 CPUtime=1961.87 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40585 0 2 0 196184 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4747191 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 1961.87
Current children cumulated vsize (KiB) 56436

[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 1.80 4/247 10004
/proc/meminfo: memFree=32030696/32770624 swapFree=5956/175844
[pid=9914] ppid=9906 vsize=56436 CPUtime=2021.86 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40660 0 2 0 202183 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4465479 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2021.86
Current children cumulated vsize (KiB) 56436

[startup+2082.3 s]
/proc/loadavg: 2.03 2.04 1.81 4/247 10005
/proc/meminfo: memFree=32030164/32770624 swapFree=5956/175864
[pid=9914] ppid=9906 vsize=56436 CPUtime=2081.85 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40741 0 2 0 208182 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5750735 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2081.85
Current children cumulated vsize (KiB) 56436

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 1.83 4/246 10006
/proc/meminfo: memFree=32030072/32770624 swapFree=5956/175888
[pid=9914] ppid=9906 vsize=56436 CPUtime=2141.83 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40816 0 2 0 214180 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4312625 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2141.83
Current children cumulated vsize (KiB) 56436

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 1.84 4/247 10008
/proc/meminfo: memFree=32030292/32770624 swapFree=5956/175924
[pid=9914] ppid=9906 vsize=56436 CPUtime=2201.83 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40897 0 2 0 220180 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5871010 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2201.83
Current children cumulated vsize (KiB) 56436

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.85 4/247 10016
/proc/meminfo: memFree=32028516/32770624 swapFree=5956/175956
[pid=9914] ppid=9906 vsize=56436 CPUtime=2261.81 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 40977 0 2 0 226178 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4249135 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2261.81
Current children cumulated vsize (KiB) 56436

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/247 10017
/proc/meminfo: memFree=32030160/32770624 swapFree=5956/175984
[pid=9914] ppid=9906 vsize=56436 CPUtime=2321.79 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 41053 0 2 0 232176 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 5750704 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2321.79
Current children cumulated vsize (KiB) 56436

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/247 10018
/proc/meminfo: memFree=32029972/32770624 swapFree=5956/176008
[pid=9914] ppid=9906 vsize=56436 CPUtime=2381.78 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 41133 0 2 0 238175 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4342315 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2381.78
Current children cumulated vsize (KiB) 56436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 1.87 4/247 10018
/proc/meminfo: memFree=32029840/32770624 swapFree=5956/176016
[pid=9914] ppid=9906 vsize=56436 CPUtime=2400.08 cores=0-3,8-11
/proc/9914/stat : 9914 (MistralXCSP) R 9906 9914 9851 0 -1 4202496 41205 0 2 0 240005 3 0 0 20 0 1 0 84775 57790464 7867 33554432000 4194304 7402444 140728986930720 140728986925736 4463845 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 41828352 140728986932393 140728986932542 140728986932542 140728986935241 0
/proc/9914/statm: 14109 7867 787 784 0 7123 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 56436

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9914 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2400.6
CPU time (s): 2400.09
CPU user time (s): 2400.05
CPU system time (s): 0.035992
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 56436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.035992
maximum resident set size= 31492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41243
page faults= 2
swaps= 0
block input operations= 2136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 120685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61823 second user time and 12.451 second system time

The end

Begin job on node132 at 2017-07-21 16:42:56
IDJOB=4240897
IDBENCH=124394
IDSOLVER=2622
FILE ID=node132/4240897-1500648176
RUNJOBID= node132-1500648174-9883
PBS_JOBID= 20623288
Free space on /tmp= 61768 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.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-4240897-1500648176/watcher-4240897-1500648176 -o /tmp/evaluation-result-4240897-1500648176/solver-4240897-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500648174-9883 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240897-1500648176.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=195319193

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32078268 kB
MemAvailable:   32029776 kB
Buffers:           27484 kB
Cached:           233960 kB
SwapCached:            0 kB
Active:           138620 kB
Inactive:         176528 kB
Active(anon):      55684 kB
Inactive(anon):     8560 kB
Active(file):      82936 kB
Inactive(file):   167968 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11768 kB
Writeback:             0 kB
AnonPages:         58684 kB
Mapped:            29072 kB
Shmem:              8872 kB
Slab:              64356 kB
SReclaimable:      32876 kB
SUnreclaim:        31480 kB
KernelStack:        4128 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61756 MiB
End job on node132 at 2017-07-21 17:22:57