Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 1093 | 2520.1101 | 2520 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml |
MD5SUM | 22a404b8d6219eda7de384223800de36 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1093 |
Best CPU time to get the best result obtained on this benchmark | 2400.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4556 |
Number of constraints | 4488 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}] |
Minimum variable degree | 0 |
Maximum variable degree | 131 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 66 |
Distribution of constraint arities | [{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 66 |
Distribution of constraint types | [{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.09 c 280717 1.50/1.61 o 5240 1.50/1.61 o 5202 1.50/1.62 o 5179 1.50/1.63 o 5151 1.50/1.64 o 5112 1.60/1.71 o 5104 1.60/1.72 o 5082 1.60/1.75 o 5071 1.70/1.88 o 4954 1.70/1.88 o 4913 1.70/1.90 o 4912 1.80/1.90 o 4909 1.80/1.91 o 4892 1.80/1.92 o 4890 1.80/1.93 o 4888 1.80/1.95 o 4887 3.99/4.12 o 4843 3.99/4.13 o 4840 4.40/4.53 o 4807 4.49/4.69 o 4805 4.89/5.02 o 4804 4.89/5.02 o 4791 4.89/5.03 o 4789 4.89/5.04 o 4768 5.79/5.98 o 4668 6.19/6.31 o 4632 6.19/6.32 o 4604 6.19/6.32 o 4582 6.19/6.33 o 4576 6.19/6.35 o 4533 6.51/6.68 o 4493 6.51/6.69 o 4491 6.61/6.77 o 4477 6.61/6.78 o 4438 6.61/6.79 o 4432 6.61/6.79 o 4419 6.70/6.80 o 4410 6.70/6.81 o 4404 6.70/6.82 o 4369 6.70/6.87 o 4358 6.90/7.03 o 4352 6.90/7.04 o 4348 7.00/7.19 o 4345 7.30/7.44 o 4330 7.40/7.50 o 4327 7.40/7.51 o 4326 7.40/7.56 o 4325 7.61/7.75 o 4295 7.61/7.75 o 4289 7.61/7.76 o 4260 7.61/7.77 o 4244 7.61/7.78 o 4238 7.61/7.78 o 4126 7.61/7.79 o 4088 7.61/7.80 o 4053 7.61/7.80 o 4051 8.30/8.43 o 4044 8.40/8.58 o 4031 8.40/8.59 o 4030 8.50/8.60 o 4025 8.60/8.70 o 4024 8.60/8.71 o 4023 8.90/9.02 o 4019 9.20/9.33 o 3946 9.20/9.34 o 3935 9.20/9.37 o 3904 9.30/9.47 o 3887 9.30/9.47 o 3884 9.81/9.92 o 3849 9.81/9.94 o 3833 9.81/9.94 o 3825 10.30/10.46 o 3808 10.40/10.53 o 3789 10.50/10.63 o 3750 10.50/10.64 o 3748 10.50/10.64 o 3737 10.50/10.68 o 3729 10.60/10.73 o 3724 11.60/11.70 o 3570 12.01/12.12 o 3567 12.01/12.13 o 3566 12.40/12.51 o 3552 13.30/13.40 o 3528 13.30/13.40 o 3526 13.30/13.41 o 3428 13.30/13.42 o 3420 13.30/13.42 o 3417 13.30/13.43 o 3415 13.30/13.45 o 3412 13.30/13.46 o 3410 14.09/14.28 o 3353 14.09/14.29 o 3341 14.39/14.57 o 3302 14.99/15.12 o 3299 14.99/15.12 o 3203 14.99/15.13 o 3202 14.99/15.14 o 3201 14.99/15.15 o 3172 14.99/15.16 o 3160 15.09/15.21 o 3100 15.09/15.21 o 3099 15.09/15.22 o 3097 15.09/15.25 o 3096 15.09/15.26 o 3094 15.09/15.29 o 3087 15.30/15.48 o 3081 15.30/15.50 o 3072 15.40/15.58 o 3064 15.69/15.85 o 3041 15.69/15.85 o 3040 15.69/15.86 o 3006 15.89/16.06 o 2980 15.99/16.12 o 2977 16.09/16.27 o 2957 17.09/17.27 o 2952 17.09/17.28 o 2938 17.19/17.30 o 2921 17.19/17.31 o 2920 17.19/17.31 o 2919 17.19/17.33 o 2912 17.19/17.34 o 2908 17.39/17.50 o 2861 17.39/17.52 o 2853 17.39/17.56 o 2840 17.39/17.60 o 2837 17.60/17.78 o 2808 17.60/17.79 o 2805 17.69/17.80 o 2800 17.89/18.03 o 2795 18.09/18.24 o 2753 18.09/18.26 o 2742 18.39/18.52 o 2738 18.79/18.98 o 2737 19.39/19.51 o 2736 19.39/19.52 o 2679 19.39/19.53 o 2662 19.39/19.56 o 2661 19.39/19.57 o 2638 19.49/19.61 o 2637 19.49/19.62 o 2616 19.49/19.63 o 2606 19.80/19.92 o 2605 19.80/19.93 o 2600 19.89/20.09 o 2598 19.99/20.13 o 2590 19.99/20.14 o 2570 20.49/20.63 o 2569 21.29/21.46 o 2567 21.29/21.46 o 2535 21.29/21.47 o 2533 21.90/22.09 o 2532 21.90/22.10 o 2531 23.70/23.82 o 2529 24.10/24.28 o 2516 24.10/24.29 o 2500 24.20/24.31 o 2497 24.70/24.84 o 2495 24.90/25.09 o 2490 25.10/25.21 o 2472 25.10/25.22 o 2464 25.10/25.23 o 2459 25.10/25.24 o 2454 25.10/25.24 o 2452 25.10/25.25 o 2450 25.40/25.59 o 2448 25.50/25.60 o 2395 25.50/25.61 o 2374 25.50/25.65 o 2359 25.60/25.70 o 2357 25.70/25.82 o 2350 26.00/26.13 o 2349 26.00/26.14 o 2345 26.50/26.61 o 2329 26.50/26.62 o 2286 26.50/26.62 o 2243 26.60/26.72 o 2237 26.90/27.07 o 2235 26.90/27.07 o 2232 26.90/27.09 o 2229 26.90/27.10 o 2227 27.10/27.24 o 2183 27.60/27.74 o 2181 27.60/27.76 o 2175 27.60/27.77 o 2170 27.60/27.77 o 2141 27.60/27.78 o 2139 27.70/27.80 o 2137 27.90/28.08 o 2136 28.60/28.79 o 2135 28.80/28.99 o 2134 28.90/29.00 o 2133 28.90/29.01 o 2129 28.90/29.05 o 2128 29.30/29.43 o 2126 29.50/29.62 o 2120 29.50/29.63 o 2104 29.50/29.64 o 2101 29.50/29.64 o 2095 29.50/29.69 o 2079 29.60/29.71 o 2073 29.60/29.72 o 2056 29.60/29.73 o 2053 29.60/29.78 o 2052 29.90/30.03 o 2050 29.90/30.04 o 2039 29.90/30.05 o 2033 30.00/30.17 o 2020 30.00/30.19 o 1998 30.10/30.26 o 1982 30.40/30.53 o 1951 30.40/30.54 o 1921 30.40/30.57 o 1908 30.50/30.60 o 1885 30.60/30.74 o 1882 30.60/30.77 o 1880 31.30/31.49 o 1874 31.40/31.51 o 1845 31.50/31.69 o 1840 31.80/31.97 o 1785 32.00/32.16 o 1783 32.50/32.63 o 1772 32.80/32.98 o 1770 32.90/33.08 o 1757 32.90/33.09 o 1749 33.00/33.14 o 1744 33.10/33.25 o 1739 33.90/34.10 o 1738 33.90/34.10 o 1737 34.00/34.11 o 1735 34.00/34.12 o 1733 34.00/34.12 o 1730 34.80/34.93 o 1726 34.80/34.94 o 1725 34.80/34.95 o 1720 35.90/36.04 o 1713 35.90/36.07 o 1709 37.70/37.82 o 1707 38.30/38.47 o 1695 38.40/38.52 o 1693 40.20/40.38 o 1684 48.30/48.46 o 1682 49.90/50.05 o 1681 52.20/52.30 o 1670 54.50/54.67 o 1665 55.20/55.30 o 1663 58.10/58.23 o 1662 58.30/58.42 o 1615 58.60/58.72 o 1613 58.90/59.01 o 1605 59.30/59.47 o 1575 60.60/60.77 o 1562 61.40/61.55 o 1561 62.10/62.22 o 1558 62.20/62.38 o 1557 62.30/62.42 o 1556 62.70/62.81 o 1555 62.80/62.91 o 1551 63.00/63.17 o 1550 63.10/63.27 o 1545 64.00/64.14 o 1532 64.00/64.17 o 1527 64.10/64.20 o 1526 64.10/64.21 o 1508 64.10/64.23 o 1504 64.10/64.23 o 1493 64.20/64.34 o 1481 64.20/64.34 o 1480 64.20/64.35 o 1478 64.20/64.36 o 1477 64.20/64.37 o 1475 64.30/64.41 o 1471 64.80/64.97 o 1470 67.20/67.36 o 1435 67.20/67.37 o 1423 70.20/70.38 o 1417 70.30/70.48 o 1415 70.40/70.53 o 1412 71.70/71.81 o 1405 71.70/71.82 o 1401 72.50/72.61 o 1399 72.90/73.07 o 1392 74.40/74.59 o 1389 74.60/74.79 o 1384 76.10/76.29 o 1383 76.60/76.75 o 1379 81.00/81.11 o 1373 100.30/100.42 o 1361 101.60/101.79 o 1354 109.10/109.21 o 1344 110.70/110.83 o 1334 114.20/114.32 o 1330 115.10/115.28 o 1310 115.10/115.29 o 1304 115.20/115.30 o 1271 115.30/115.44 o 1267 121.40/121.51 o 1264 123.30/123.40 o 1261 126.10/126.21 o 1257 130.40/130.52 o 1255 137.10/137.23 o 1251 147.50/147.64 o 1248 150.90/151.09 o 1246 166.01/166.12 o 1242 166.01/166.13 o 1200 169.31/169.47 o 1199 179.91/180.04 o 1192 203.01/203.12 o 1190 209.41/209.55 o 1189 210.01/210.14 o 1188 213.01/213.19 o 1186 213.42/213.54 o 1180 216.41/216.55 o 1179 221.51/221.60 o 1178 223.41/223.57 o 1176 224.11/224.24 o 1174 225.91/226.09 o 1169 226.01/226.11 o 1163 226.11/226.23 o 1160 230.11/230.27 o 1159 232.61/232.71 o 1158 244.91/245.08 o 1157 257.01/257.12 o 1156 263.92/264.07 o 1151 266.91/267.00 o 1149 274.21/274.31 o 1147 288.62/288.79 o 1145 296.92/297.00 o 1144 323.42/323.51 o 1143 384.12/384.26 o 1141 469.13/469.21 o 1139 491.64/491.76 o 1134 582.44/582.59 o 1133 687.95/688.02 o 1130 716.45/716.54 o 1129 724.35/724.48 o 1128 736.45/736.57 o 1127 816.26/816.35 o 1126 833.96/834.07 o 1125 857.36/857.40 o 1124 939.47/939.51 o 1123 942.67/942.79 o 1119 1025.97/1026.07 o 1116 1048.67/1048.70 o 1114 1069.78/1069.84 o 1112 1090.78/1090.80 o 1111 1115.28/1115.33 o 1110 1122.68/1122.76 o 1104 1148.08/1148.16 o 1103 1172.18/1172.26 o 1102 1210.39/1210.48 o 1101 1237.19/1237.21 o 1100 1602.42/1602.40 o 1099 1760.63/1760.62 o 1098 2114.06/2114.04 o 1096 2121.36/2121.35 o 1095 2139.16/2139.19 o 1093 2520.09/2520.00 s SATISFIABLE 2520.09/2520.00 v <instantiation type="solution"> 2520.09/2520.00 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[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] 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[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] 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[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] 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[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] 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[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] 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[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] 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[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] 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[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] 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[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] 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[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] 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[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] 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[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] 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[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] 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[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] 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[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] 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[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] 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[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] 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[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] 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[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] 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[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] 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[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] 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[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] 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[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] 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[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] 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[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] 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[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] 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[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] 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[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] 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[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] 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[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] 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[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] 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[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] 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[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] 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[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] 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[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] 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[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] 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[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] 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[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] 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[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] 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[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] 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[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] 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[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] 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[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] 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[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] 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[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] 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[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] 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[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] 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[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] 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[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] 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[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] 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[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] 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[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] 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[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] 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[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] 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[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] 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[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] 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[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] 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[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] 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[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] 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[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] 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] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] 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] u[61] u[62] u[63] u[64] u[65] u[66] </list> 2520.09/2520.00 v <values> 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 27 12 10 15 23 49 46 44 94 73 72 93 40 99 39 8 23 20 69 81 90 60 63 54 97 35 87 18 61 54 18 94 68 75 45 54 83 97 25 79 97 72 27 93 83 13 93 19 42 95 33 77 97 66 59 55 34 56 18 34 68 82 99 76 92 100 </values> 2520.09/2520.00 v </instantiation>
OK 1093
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-4261229-1502357788/watcher-4261229-1502357788 -o /tmp/evaluation-result-4261229-1502357788/solver-4261229-1502357788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23274 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2046925477 HOME/instance-4261229-1502357788.xml pid=27041 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.05 2/185 27044 /proc/meminfo: memFree=31206036/32770624 swapFree=0/396676 [pid=27044] ppid=27041 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/27044/stat : 27044 (runsolver) D 27041 27044 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 83594020 24240128 108 18446744073709551615 4194304 4338465 140729821777120 140729821774760 139777355850455 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 9142272 140729821782154 140729821782601 140729821782601 140729821786058 0 /proc/27044/statm: 5918 108 54 36 0 2156 0 [startup+0.100195 s] /proc/loadavg: 2.00 2.03 2.05 2/185 27044 /proc/meminfo: memFree=31206036/32770624 swapFree=0/396676 [pid=27044] ppid=27041 vsize=29048 CPUtime=0.01 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 1008 0 0 0 1 0 0 0 20 0 1 0 83594020 29745152 826 18446744073709551615 4194304 7396336 140727656849264 140727656846264 140599471016933 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 7262 826 591 782 0 278 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 29048 [startup+0.20034 s] /proc/loadavg: 2.00 2.03 2.05 2/185 27044 /proc/meminfo: memFree=31206036/32770624 swapFree=0/396676 [pid=27044] ppid=27041 vsize=45620 CPUtime=0.1 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 5407 0 0 0 10 0 0 0 20 0 1 0 83594020 46714880 4992 18446744073709551615 4194304 7396336 140727656849264 140727656846264 4565880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 11405 4992 671 782 0 4421 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 45620 [startup+0.30038 s] /proc/loadavg: 2.00 2.03 2.05 2/185 27044 /proc/meminfo: memFree=31206036/32770624 swapFree=0/396676 [pid=27044] ppid=27041 vsize=49244 CPUtime=0.21 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 6357 0 0 0 20 1 0 0 20 0 1 0 83594020 50425856 5910 18446744073709551615 4194304 7396336 140727656849264 140727656846264 4565880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 12311 5910 681 782 0 5327 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 49244 [startup+0.700285 s] /proc/loadavg: 2.00 2.03 2.05 2/185 27044 /proc/meminfo: memFree=31206036/32770624 swapFree=0/396676 [pid=27044] ppid=27041 vsize=56248 CPUtime=0.6 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 8167 0 0 0 59 1 0 0 20 0 1 0 83594020 57597952 7692 18446744073709551615 4194304 7396336 140727656849264 140727656839864 6190170 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 14062 7692 704 782 0 7078 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 56248 [startup+1.50029 s] /proc/loadavg: 2.00 2.03 2.05 3/186 27045 /proc/meminfo: memFree=31175124/32770624 swapFree=0/396424 [pid=27044] ppid=27041 vsize=60712 CPUtime=1.4 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 9280 0 0 0 139 1 0 0 20 0 1 0 83594020 62169088 8814 18446744073709551615 4194304 7396336 140727656849264 140727656843832 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15178 8814 770 782 0 8194 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 60712 [startup+3.10023 s] /proc/loadavg: 2.00 2.02 2.05 3/186 27045 /proc/meminfo: memFree=31173636/32770624 swapFree=0/396424 [pid=27044] ppid=27041 vsize=61424 CPUtime=3 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 15320 0 0 0 299 1 0 0 20 0 1 0 83594020 62898176 9052 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4249698 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9052 779 782 0 8372 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 61424 [startup+6.30035 s] /proc/loadavg: 2.00 2.02 2.05 3/186 27045 /proc/meminfo: memFree=31171612/32770624 swapFree=0/396420 [pid=27044] ppid=27041 vsize=61424 CPUtime=6.19 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 18779 0 0 0 618 1 0 0 20 0 1 0 83594020 62898176 9055 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5572043 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9055 779 782 0 8372 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 61424 [startup+12.7004 s] /proc/loadavg: 2.00 2.02 2.05 3/186 27045 /proc/meminfo: memFree=31171736/32770624 swapFree=0/396416 [pid=27044] ppid=27041 vsize=61424 CPUtime=12.6 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 22254 0 0 0 1258 2 0 0 20 0 1 0 83594020 62898176 9055 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4543790 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9055 779 782 0 8372 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 61424 [startup+25.5004 s] /proc/loadavg: 2.00 2.02 2.05 3/186 27045 /proc/meminfo: memFree=31172092/32770624 swapFree=0/396404 [pid=27044] ppid=27041 vsize=61424 CPUtime=25.4 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 26250 0 0 0 2538 2 0 0 20 0 1 0 83594020 62898176 9083 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5586607 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9083 779 782 0 8372 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 61424 [startup+51.1004 s] /proc/loadavg: 2.00 2.02 2.05 3/186 27046 /proc/meminfo: memFree=31173004/32770624 swapFree=0/396392 [pid=27044] ppid=27041 vsize=61424 CPUtime=51 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 26807 0 0 0 5098 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5586600 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 61424 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 27049 /proc/meminfo: memFree=31173604/32770624 swapFree=0/396396 [pid=27044] ppid=27041 vsize=61424 CPUtime=102.21 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 27350 0 0 0 10219 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5165805 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 61424 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 27052 /proc/meminfo: memFree=31172432/32770624 swapFree=0/396400 [pid=27044] ppid=27041 vsize=61424 CPUtime=162.21 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 27893 0 0 0 16219 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771395 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 61424 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/185 27054 /proc/meminfo: memFree=31173136/32770624 swapFree=0/396420 [pid=27044] ppid=27041 vsize=61424 CPUtime=222.22 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 28432 0 0 0 22220 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5841263 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 61424 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 27056 /proc/meminfo: memFree=31173348/32770624 swapFree=0/396392 [pid=27044] ppid=27041 vsize=61424 CPUtime=282.22 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 28433 0 0 0 28220 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5165771 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 61424 [startup+342.3 s] /proc/loadavg: 2.04 2.03 2.05 3/186 27060 /proc/meminfo: memFree=31172928/32770624 swapFree=0/396404 [pid=27044] ppid=27041 vsize=61424 CPUtime=342.22 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 28975 0 0 0 34220 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5586450 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 61424 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.05 3/186 27062 /proc/meminfo: memFree=31172796/32770624 swapFree=0/396416 [pid=27044] ppid=27041 vsize=61424 CPUtime=402.22 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 28978 0 0 0 40220 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5575227 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 61424 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 27078 /proc/meminfo: memFree=31167892/32770624 swapFree=0/396440 [pid=27044] ppid=27041 vsize=61424 CPUtime=462.23 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 29505 0 0 0 46221 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4581760 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 61424 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 27081 /proc/meminfo: memFree=31169296/32770624 swapFree=0/396464 [pid=27044] ppid=27041 vsize=61424 CPUtime=522.23 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 29520 0 0 0 52221 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4249707 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 61424 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27084 /proc/meminfo: memFree=31172032/32770624 swapFree=0/396476 [pid=27044] ppid=27041 vsize=61424 CPUtime=582.24 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 30041 0 0 0 58222 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5165834 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 61424 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27138 /proc/meminfo: memFree=31171232/32770624 swapFree=0/396692 [pid=27044] ppid=27041 vsize=61424 CPUtime=1602.32 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 34341 0 0 0 160230 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5839021 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 61424 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 2.05 3/189 27154 /proc/meminfo: memFree=31167248/32770624 swapFree=0/396700 [pid=27044] ppid=27041 vsize=61424 CPUtime=1662.32 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 34879 0 0 0 166230 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4543814 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 61424 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.05 3/189 27157 /proc/meminfo: memFree=31167976/32770624 swapFree=0/396708 [pid=27044] ppid=27041 vsize=61424 CPUtime=1722.33 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 34882 0 0 0 172231 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771336 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 61424 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27159 /proc/meminfo: memFree=31170744/32770624 swapFree=0/396712 [pid=27044] ppid=27041 vsize=61424 CPUtime=1782.33 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 35423 0 0 0 178231 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771047 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 61424 [startup+1842.3 s] /proc/loadavg: 2.05 2.03 2.05 3/186 27161 /proc/meminfo: memFree=31171744/32770624 swapFree=0/396732 [pid=27044] ppid=27041 vsize=61424 CPUtime=1842.34 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 35424 0 0 0 184232 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771305 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1842.34 Current children cumulated vsize (KiB) 61424 [startup+1902.3 s] /proc/loadavg: 2.02 2.02 2.05 3/186 27163 /proc/meminfo: memFree=31172060/32770624 swapFree=0/396744 [pid=27044] ppid=27041 vsize=61424 CPUtime=1902.34 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 35940 0 0 0 190232 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4582531 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1902.34 Current children cumulated vsize (KiB) 61424 [startup+1962.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27166 /proc/meminfo: memFree=31171924/32770624 swapFree=0/396744 [pid=27044] ppid=27041 vsize=61424 CPUtime=1962.35 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 35950 0 0 0 196233 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771361 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 1962.35 Current children cumulated vsize (KiB) 61424 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27169 /proc/meminfo: memFree=31171884/32770624 swapFree=0/396764 [pid=27044] ppid=27041 vsize=61424 CPUtime=2022.35 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 36463 0 0 0 202233 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5575240 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2022.35 Current children cumulated vsize (KiB) 61424 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27171 /proc/meminfo: memFree=31171640/32770624 swapFree=0/396772 [pid=27044] ppid=27041 vsize=61424 CPUtime=2082.36 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 36464 0 0 0 208234 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5774399 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2082.36 Current children cumulated vsize (KiB) 61424 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27175 /proc/meminfo: memFree=31171672/32770624 swapFree=0/396780 [pid=27044] ppid=27041 vsize=61424 CPUtime=2142.36 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 37006 0 0 0 214234 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5165805 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2142.36 Current children cumulated vsize (KiB) 61424 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27177 /proc/meminfo: memFree=31171412/32770624 swapFree=0/396808 [pid=27044] ppid=27041 vsize=61424 CPUtime=2202.37 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 37006 0 0 0 220235 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4249707 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2202.37 Current children cumulated vsize (KiB) 61424 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 27193 /proc/meminfo: memFree=31165924/32770624 swapFree=0/396820 [pid=27044] ppid=27041 vsize=61424 CPUtime=2262.37 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 37525 0 0 0 226235 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4542547 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2262.37 Current children cumulated vsize (KiB) 61424 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/190 27535 /proc/meminfo: memFree=31171028/32770624 swapFree=0/396820 [pid=27044] ppid=27041 vsize=61424 CPUtime=2322.38 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 37526 0 0 0 232236 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771264 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2322.38 Current children cumulated vsize (KiB) 61424 [startup+2382.3 s] /proc/loadavg: 1.92 1.99 2.04 3/190 27719 /proc/meminfo: memFree=30655736/32770624 swapFree=0/396024 [pid=27044] ppid=27041 vsize=61424 CPUtime=2382.38 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 38046 0 0 0 238236 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5774448 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2382.38 Current children cumulated vsize (KiB) 61424 [startup+2442.3 s] /proc/loadavg: 1.97 1.99 2.04 3/187 27721 /proc/meminfo: memFree=30658780/32770624 swapFree=0/396036 [pid=27044] ppid=27041 vsize=61424 CPUtime=2442.39 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 38051 0 0 0 244237 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 4246632 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2442.39 Current children cumulated vsize (KiB) 61424 [startup+2502.3 s] /proc/loadavg: 1.99 1.99 2.04 3/188 27724 /proc/meminfo: memFree=30659196/32770624 swapFree=0/396044 [pid=27044] ppid=27041 vsize=61424 CPUtime=2502.39 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 38570 0 0 0 250237 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771305 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2502.39 Current children cumulated vsize (KiB) 61424 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 1.99 1.99 2.04 3/188 27725 /proc/meminfo: memFree=30659292/32770624 swapFree=0/396056 [pid=27044] ppid=27041 vsize=61424 CPUtime=2520.09 cores=0,2,4,6 /proc/27044/stat : 27044 (MistralXCSP) R 27041 27044 1774 0 -1 4202496 38570 0 0 0 252007 2 0 0 20 0 1 0 83594020 62898176 9085 18446744073709551615 4194304 7396336 140727656849264 140727656844280 5771377 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 39641088 140727656853938 140727656854088 140727656854088 140727656857545 0 /proc/27044/statm: 15356 9085 781 782 0 8372 0 Current children cumulated CPU time (s) 2520.09 Current children cumulated vsize (KiB) 61424 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 27044 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2520.11 CPU user time (s): 2520.08 CPU system time (s): 0.028002 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 61424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.08 system time used= 0.028002 maximum resident set size= 36360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38607 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= 20 involuntary context switches= 646 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.60775 second user time and 10.6516 second system time The end
Begin job on node133 at 2017-08-10 11:22:21 IDJOB=4261229 IDBENCH=124400 IDSOLVER=2649 FILE ID=node133/4261229-1502357788 RUNJOBID= node133-1502333976-23274 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.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-4261229-1502357788/watcher-4261229-1502357788 -o /tmp/evaluation-result-4261229-1502357788/solver-4261229-1502357788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23274 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2046925477 HOME/instance-4261229-1502357788.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 22a404b8d6219eda7de384223800de36 RANDOM SEED=2046925477 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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: 31206428 kB MemAvailable: 31971072 kB Buffers: 275620 kB Cached: 784660 kB SwapCached: 0 kB Active: 703076 kB Inactive: 429788 kB Active(anon): 72900 kB Inactive(anon): 33112 kB Active(file): 630176 kB Inactive(file): 396676 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5584 kB Writeback: 8 kB AnonPages: 72296 kB Mapped: 49988 kB Shmem: 33468 kB Slab: 134004 kB SReclaimable: 107256 kB SUnreclaim: 26748 kB KernelStack: 3296 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333840 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61988 MiB End job on node133 at 2017-08-10 12:04:21