Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco-sat 1.1 | No Cert. | 2400.09 | 2401.2 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml |
MD5SUM | 7967f0a5d6026ea184db99fec624e08d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 47363 |
Best CPU time to get the best result obtained on this benchmark | 2520.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6642 |
Number of constraints | 3241 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 81 |
Distribution of domain sizes | [{"size":8,"count":3240},{"size":81,"count":81}] |
Minimum variable degree | 0 |
Maximum variable degree | 81 |
Distribution of variable degrees | [{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 81 |
Distribution of constraint arities | [{"arity":3,"count":3240},{"arity":81,"count":1}] |
Number of extensional constraints | 3240 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3240},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.48/0.50 c SAT : Variables: 59049 -- Clauses: 452790 0.48/0.51 c best=?? lower=0 upper=194400 2.69/2.75 c 2.69/2.75 c This is cosoco 1.0 -- 2.69/2.75 c 2.69/2.75 c enable optimization 2.69/2.75 c ========================================[ Problem Statistics ]=========================================== 2.69/2.75 c | 2.69/2.75 c | Parse time : 0.42 s 2.69/2.75 c | 2.69/2.75 c | Variables: 6642 2.69/2.75 c | Domain Sizes: 8..81 2.69/2.75 c | 2.69/2.75 c | Constraints: 3242 2.69/2.75 c | Arity: 3..3240 -- Ternary: 3240 2.69/2.75 c | 2.69/2.75 c | Types: 2.69/2.75 c | All Different: 1 2.69/2.75 c | Extension: 3240 (nb tuples: 6480..6480) -- (shared: 3239) 2.69/2.75 c | Sum: 1 2.69/2.75 c | 2.69/2.75 c ========================================================================================================= 2.69/2.75 conflict 159lvl : 3241 bt3241-112:0(7142)X1863729 12.09/12.12 o 53885 12.09/12.12 c 1 calls to solver: best=53885 lower=0 upper=53884 20.78/20.81 o 53834 25.57/25.63 conflict 159lvl : 82 bt82-877:0(4212)X1919039 38.77/38.85 conflict 159lvl : 3210 bt3210-3674:0(8260)X1929530 41.17/41.24 conflict 159lvl : 79 bt79-5413:0(4208)X1994194 42.77/42.90 conflict 159lvl : 82 bt82-241:0(4214)X1995361 54.56/54.64 conflict 159lvl : 391 bt391-2348:0(7882)X2033020 54.76/54.85 conflict 159lvl : 392 bt392-6395:0(8189)X2033182 73.75/73.88 conflict 236lvl : 89 bt89-723:0(4270)X2046669 76.74/76.84 conflict 316lvl : 3241 bt3241246:0(7372)X2048288 76.94/77.05 conflict 236lvl : 3241 bt3241-101:0(8390)X2048607 111.13/111.27 conflict 159lvl : 82 bt82-3337:0(4211)X2123067 114.12/114.24 conflict 159lvl : 3241 bt3241-157:0(7298)X2124620 123.51/123.65 conflict 159lvl : 3241 bt3241-134:0(7142)X2163192 153.10/153.29 conflict 159lvl : 126 bt126-3538:0(4309)X2223466 155.10/155.26 conflict 159lvl : 79 bt79-5417:0(4238)X2224754 158.00/158.11 conflict 159lvl : 3241 bt3241-113:0(8000)X2226186 158.20/158.32 conflict 236lvl : 3241 bt3241-138:0(7376)X2226348 158.50/158.67 conflict 237lvl : 3240 bt3240246:0(7110)X2226587 160.19/160.36 conflict 159lvl : 80 bt80-1235:0(4210)X2246285 163.10/163.21 conflict 235lvl : 3241 bt3241-69:0(7142)X2247728 172.39/172.53 o 53702 172.39/172.53 c 3 calls to solver: best=53702 lower=0 upper=53701 174.99/175.17 conflict 159lvl : 3241 bt3241-150:0(7095)X2283650 185.68/185.81 conflict 159lvl : 85 bt85-3978:0(4214)X2312183 187.08/187.27 conflict 159lvl : 127 bt127-3069:0(4325)X2312627 197.88/198.02 conflict 159lvl : 85 bt85-1259:0(4218)X2322172 200.77/200.90 conflict 159lvl : 3241 bt3241-150:0(7095)X2323670 202.47/202.60 conflict 236lvl : 80 bt80-311:0(4209)X2359516 205.27/205.42 conflict 235lvl : 3241 bt3241-68:0(7093)X2361036 215.66/215.88 conflict 159lvl : 87 bt87-3339:0(4238)X2405753 218.56/218.77 conflict 394lvl : 3241 bt3241166:0(7096)X2407341 220.27/220.46 conflict 159lvl : 79 bt79-1250:0(4208)X2443422 223.16/223.30 conflict 159lvl : 3241 bt3241-166:0(7094)X2444854 233.56/233.72 conflict 159lvl : 85 bt85-5543:0(4213)X2493422 236.36/236.55 conflict 546lvl : 3241 bt3241246:0(7083)X2494920 246.75/246.97 conflict 159lvl : 86 bt86-557:0(4215)X2522299 278.83/279.04 conflict 159lvl : 88 bt88-1551:0(4239)X2596140 289.83/290.04 conflict 236lvl : 87 bt87-1002:0(4215)X2609620 306.12/306.36 conflict 159lvl : 87 bt87-647:0(4221)X2659166 315.32/315.53 o 53628 319.62/319.83 conflict 159lvl : 87 bt87-2474:0(4216)X2673886 321.12/321.31 conflict 159lvl : 130 bt130-3411:0(4321)X2674235 321.12/321.34 conflict 236lvl : 131 bt131-5554:0(4195)X2674397 321.12/321.35 conflict 159lvl : 130 bt130-6188:0(4300)X2674636 321.12/321.38 conflict 159lvl : 130 bt130-6175:0(4284)X2674798 321.22/321.40 conflict 159lvl : 130 bt130-6188:0(4263)X2674960 321.22/321.42 conflict 236lvl : 130 bt130-6431:0(4257)X2675122 321.32/321.51 conflict 159lvl : 133 bt133-6220:0(4233)X2675361 323.22/323.45 conflict 159lvl : 116 bt116-1876:0(4475)X2676813 323.32/323.54 conflict 159lvl : 119 bt116-5106:0(4479)X2676975 331.91/332.13 o 53468 331.91/332.13 c 5 calls to solver: best=53468 lower=0 upper=53467 363.09/363.34 o 53227 376.19/376.46 conflict 159lvl : 91 bt91-715:0(4231)X2770449 391.49/391.78 conflict 236lvl : 232 bt232-2606:0(4502)X2820243 393.38/393.61 conflict 159lvl : 86 bt86-6108:0(4245)X2822630 416.17/416.45 conflict 236lvl : 91 bt91-5254:0(4218)X2902794 434.46/434.79 conflict 236lvl : 90 bt90-4937:0(4220)X2924937 436.47/436.79 conflict 312lvl : 87 bt87-5425:0(4246)X2926834 441.06/441.38 conflict 314lvl : 98 bt98-5869:0(4235)X2964414 451.86/452.16 conflict 159lvl : 109 bt109-2045:0(4335)X2973397 451.96/452.25 conflict 159lvl : 112 bt109-667:0(4424)X2973559 453.85/454.18 conflict 159lvl : 99 bt99-28:0(4280)X2976338 453.95/454.22 conflict 159lvl : 102 bt99-395:0(4296)X2976500 477.65/477.96 conflict 312lvl : 100 bt100-5182:0(4261)X3002601 479.75/480.05 conflict 159lvl : 89 bt89-5337:0(4259)X3005964 493.75/494.02 o 53211 493.75/494.02 c 7 calls to solver: best=53211 lower=0 upper=53210 497.94/498.30 conflict 159lvl : 95 bt95-1888:0(4235)X3043364 512.23/512.55 conflict 159lvl : 136 bt136-506:0(4311)X3092895 512.63/512.98 conflict 159lvl : 165 bt163-2582:0(6599)X3093057 512.73/513.01 conflict 237lvl : 162 bt1625439:0(6207)X3093219 514.43/514.80 conflict 159lvl : 90 bt90-1047:0(4260)X3094565 535.22/535.52 conflict 236lvl : 88 bt88-1592:0(4216)X3147807 539.22/539.51 conflict 159lvl : 159 bt153-2605:0(5138)X3151000 551.11/551.49 conflict 159lvl : 140 bt140-5459:0(4332)X3165019 551.21/551.52 conflict 236lvl : 141 bt141-388:0(4212)X3165181 551.21/551.54 conflict 314lvl : 140 bt140-5615:0(4352)X3165420 551.21/551.57 conflict 159lvl : 140 bt140-5650:0(4354)X3165737 551.31/551.60 conflict 159lvl : 140 bt140-5661:0(4320)X3165899 551.31/551.63 conflict 159lvl : 140 bt140-396:0(4294)X3166061 551.41/551.72 conflict 159lvl : 143 bt143-371:0(4243)X3166223 553.31/553.67 conflict 159lvl : 81 bt81-2523:0(4239)X3168225 576.60/576.93 conflict 159lvl : 97 bt97-2579:0(4227)X3247305 578.80/579.13 conflict 312lvl : 94 bt94-5982:0(4253)X3250281 594.19/594.58 conflict 159lvl : 101 bt101-2680:0(4232)X3260255 596.39/596.74 conflict 159lvl : 80 bt80-3509:0(4239)X3262545 609.68/610.03 conflict 159lvl : 98 bt98-2212:0(4254)X3311399 610.28/610.63 conflict 236lvl : 198 bt198-1883:0(7365)X3311561 611.88/612.21 conflict 159lvl : 91 bt91-3583:0(4250)X3313710 622.07/622.41 conflict 159lvl : 107 bt107-450:0(4254)X3325563 622.07/622.44 conflict 236lvl : 108 bt108-2881:0(4177)X3325725 622.07/622.47 conflict 159lvl : 107 bt107-3772:0(4265)X3325964 622.07/622.49 conflict 159lvl : 107 bt107-3745:0(4251)X3326126 622.17/622.51 conflict 159lvl : 107 bt107-3801:0(4230)X3326288 622.17/622.53 conflict 393lvl : 107 bt1074717:0(4192)X3326450 622.28/622.63 conflict 159lvl : 110 bt110-2840:0(4469)X3326846 624.38/624.78 conflict 236lvl : 94 bt94-4549:0(4264)X3330858 628.88/629.30 conflict 159lvl : 80 bt80-808:0(4209)X3368358 649.56/649.93 conflict 159lvl : 114 bt114-5943:0(4284)X3422729 649.56/649.97 conflict 236lvl : 115 bt115-2800:0(4202)X3422891 649.66/650.00 conflict 314lvl : 114 bt114-4186:0(4280)X3423130 649.66/650.02 conflict 159lvl : 114 bt114-4150:0(4214)X3423447 649.66/650.04 conflict 159lvl : 114 bt114-2773:0(4204)X3423609 649.77/650.17 conflict 159lvl : 117 bt117-2759:0(4572)X3423771 651.56/651.92 conflict 236lvl : 91 bt91-2809:0(4194)X3425012 653.07/653.45 conflict 236lvl : 122 bt122-5940:0(4501)X3425547 664.16/664.54 conflict 236lvl : 100 bt100-4927:0(4241)X3435250 665.96/666.38 conflict 159lvl : 80 bt80-4888:0(4236)X3436584 677.95/678.35 conflict 159lvl : 118 bt118-5988:0(4267)X3478741 677.95/678.39 conflict 236lvl : 119 bt119-1585:0(4191)X3478903 678.05/678.42 conflict 236lvl : 118 bt118-5725:0(4292)X3479142 678.05/678.44 conflict 159lvl : 118 bt118-5689:0(4244)X3479381 678.05/678.47 conflict 159lvl : 118 bt118-5745:0(4250)X3479543 678.05/678.49 conflict 236lvl : 118 bt118-1614:0(4194)X3479705 678.15/678.59 conflict 159lvl : 121 bt121-1544:0(4346)X3479944 680.25/680.67 conflict 312lvl : 86 bt86-3576:0(4245)X3483415 693.64/694.03 conflict 394lvl : 104 bt1043573:0(4217)X3534597 695.74/696.15 conflict 236lvl : 84 bt84-5494:0(4225)X3538239 707.94/708.30 conflict 389lvl : 92 bt92-2907:0(4221)X3550668 712.54/712.93 conflict 159lvl : 80 bt80-5053:0(4209)X3588385 725.73/726.13 conflict 159lvl : 93 bt93-743:0(4244)X3634297 730.23/730.67 conflict 159lvl : 79 bt79-2748:0(4208)X3671569 761.81/762.22 conflict 159lvl : 96 bt96-1444:0(4236)X3769589 770.61/771.06 o 52699 791.90/792.36 conflict 159lvl : 89 bt89-6493:0(4214)X3828422 823.78/824.22 conflict 236lvl : 101 bt101-6089:0(4246)X3934688 825.79/826.27 conflict 159lvl : 92 bt92-116:0(4262)X3936577 830.39/830.84 conflict 236lvl : 80 bt80-160:0(4209)X3973851 843.58/844.01 conflict 159lvl : 97 bt97-4791:0(4247)X4017370 854.38/854.84 conflict 236lvl : 99 bt99-15:0(4255)X4025015 867.87/868.31 conflict 390lvl : 104 bt104-1251:0(4260)X4042012 867.97/868.40 conflict 159lvl : 107 bt107-5626:0(4270)X4042405 869.87/870.37 conflict 159lvl : 80 bt80-435:0(4239)X4045005 874.18/874.66 conflict 236lvl : 79 bt79-4647:0(4208)X4049692 887.37/887.88 conflict 159lvl : 100 bt100-1261:0(4240)X4100973 897.56/898.07 conflict 236lvl : 122 bt122-53:0(4321)X4114441 899.76/900.23 conflict 312lvl : 92 bt92-971:0(4258)X4117867 912.15/912.62 conflict 159lvl : 102 bt102-3913:0(4304)X4161471 912.15/912.65 conflict 236lvl : 103 bt103-1684:0(4178)X4161633 912.15/912.68 conflict 159lvl : 102 bt102-1936:0(4210)X4161872 912.25/912.70 conflict 159lvl : 102 bt102-3826:0(4252)X4162034 912.25/912.73 conflict 159lvl : 102 bt102-1882:0(4240)X4162196 912.25/912.75 conflict 392lvl : 102 bt102-3891:0(4225)X4162358 912.35/912.85 conflict 236lvl : 105 bt105-1625:0(4577)X4162753 914.35/914.87 conflict 159lvl : 92 bt92-6557:0(4251)X4165659 927.14/927.65 conflict 159lvl : 99 bt99-1171:0(4342)X4207781 927.44/927.96 conflict 159lvl : 119 bt119-3961:0(5393)X4207943 927.54/928.01 conflict 159lvl : 119 bt119-3907:0(5401)X4208105 927.54/928.06 conflict 159lvl : 119 bt118-4285:0(5398)X4208267 936.64/937.13 conflict 159lvl : 99 bt99-550:0(4269)X4222668 938.84/939.36 conflict 159lvl : 88 bt88-2362:0(4216)X4225560 955.33/955.81 conflict 236lvl : 101 bt101-2700:0(4240)X4277408 976.43/976.99 conflict 312lvl : 86 bt86-1066:0(4259)X4336857 976.52/977.08 conflict 159lvl : 89 bt86-5106:0(4327)X4337172 979.32/979.85 conflict 159lvl : 3241 bt3241-5240:0(3788)X4339018 997.61/998.11 conflict 236lvl : 114 bt114-320:0(4310)X4395816 999.01/999.54 conflict 159lvl : 96 bt96-5116:0(4294)X4396419 1001.01/1001.52 conflict 236lvl : 86 bt86-4453:0(4216)X4398416 1005.51/1006.05 conflict 159lvl : 86 bt86-4832:0(4215)X4435686 1018.61/1019.17 conflict 236lvl : 86 bt86-1150:0(4226)X4482508 1029.50/1030.00 conflict 389lvl : 112 bt112-5819:0(4275)X4493123 1034.00/1034.58 conflict 390lvl : 90 bt90-2870:0(4219)X4530887 1046.19/1046.73 conflict 236lvl : 86 bt86-3672:0(4245)X4574550 1048.19/1048.73 conflict 236lvl : 93 bt93-5222:0(4263)X4576409 1048.59/1049.18 conflict 159lvl : 146 bt137-6170:0(6253)X4576648 1050.29/1050.88 conflict 159lvl : 88 bt88-3844:0(4258)X4578794 1079.47/1080.07 conflict 236lvl : 110 bt110-3675:0(4239)X4634571 1090.47/1091.09 conflict 312lvl : 86 bt86-1159:0(4215)X4646017 1092.47/1093.05 conflict 312lvl : 81 bt81-3270:0(4211)X4647903 1096.97/1097.56 conflict 236lvl : 87 bt87-3751:0(4217)X4685194 1107.86/1108.50 conflict 236lvl : 113 bt113-2888:0(4282)X4696903 1108.46/1109.09 conflict 159lvl : 187 bt187-1949:0(7331)X4697142 1108.56/1109.11 conflict 312lvl : 186 bt186-6499:0(7383)X4697304 1108.56/1109.15 conflict 159lvl : 187 bt187-2021:0(7338)X4697619 1108.56/1109.16 conflict 618lvl : 186 bt114-1984:0(7308)X4697781 1110.47/1111.05 conflict 236lvl : 91 bt91-714:0(4244)X4700381 1130.86/1131.43 conflict 236lvl : 132 bt132-3118:0(4355)X4749472 1130.86/1131.47 conflict 159lvl : 133 bt133-1949:0(4236)X4749711 1130.96/1131.50 conflict 159lvl : 132 bt132-3416:0(4347)X4749873 1130.96/1131.53 conflict 159lvl : 132 bt132-3463:0(4289)X4750035 1130.96/1131.55 conflict 159lvl : 132 bt132-2005:0(4306)X4750197 1131.06/1131.66 conflict 236lvl : 133 bt133-4195:0(4459)X4750359 1131.06/1131.69 conflict 236lvl : 132 bt132-4144:0(4302)X4750598 1131.16/1131.72 conflict 159lvl : 133 bt133-2016:0(4216)X4750837 1131.16/1131.74 conflict 393lvl : 132 bt1322005:0(4258)X4750999 1131.37/1131.91 conflict 389lvl : 136 bt136-3133:0(5080)X4751395 1133.06/1133.66 conflict 236lvl : 123 bt123-854:0(4336)X4753293 1135.06/1135.67 conflict 159lvl : 99 bt99-5841:0(4269)X4755180 1139.66/1140.28 conflict 159lvl : 88 bt88-5130:0(4262)X4792506 1139.86/1140.42 conflict 159lvl : 90 bt90-6555:0(4759)X4792668 1149.45/1150.09 conflict 236lvl : 138 bt138-2234:0(4311)X4802367 1151.65/1152.22 conflict 159lvl : 120 bt120-3995:0(4345)X4803835 1162.75/1163.32 conflict 312lvl : 126 bt126-863:0(4255)X4813563 1164.84/1165.47 conflict 235lvl : 93 bt93-6476:0(4274)X4814994 1178.14/1178.72 conflict 312lvl : 86 bt86-2860:0(4222)X4861177 1182.63/1183.25 conflict 236lvl : 89 bt89-1039:0(4220)X4898513 1195.63/1196.22 conflict 236lvl : 130 bt130-349:0(4405)X4942698 1197.72/1198.38 conflict 159lvl : 92 bt92-1240:0(4452)X4944285 1206.62/1207.21 conflict 312lvl : 111 bt111-401:0(4269)X4952495 1218.81/1219.47 conflict 236lvl : 167 bt167-4661:0(4397)X4962073 1232.11/1232.80 conflict 312lvl : 119 bt119-5340:0(4258)X5008013 1234.20/1234.87 conflict 159lvl : 84 bt84-5333:0(4243)X5011044 1247.50/1248.16 conflict 159lvl : 96 bt96-595:0(4225)X5057010 1249.70/1250.37 conflict 236lvl : 101 bt101-3481:0(4282)X5059034 1252.00/1252.64 conflict 236lvl : 84 bt84-6203:0(4254)X5062119 1253.40/1254.08 conflict 159lvl : 113 bt113-1972:0(4272)X5062539 1264.30/1264.94 conflict 236lvl : 125 bt125-182:0(4366)X5073231 1264.70/1265.36 conflict 314lvl : 159 bt159-1132:0(5872)X5073470 1266.40/1267.07 conflict 312lvl : 93 bt93-6073:0(4221)X5075267 1268.50/1269.18 conflict 236lvl : 98 bt98-3413:0(4279)X5077719 1276.69/1277.35 conflict 236lvl : 160 bt160-2121:0(4340)X5089088 1278.89/1279.54 conflict 236lvl : 118 bt118-3826:0(4413)X5090576 1278.99/1279.63 conflict 159lvl : 121 bt118-327:0(4547)X5090815 1280.90/1281.60 conflict 387lvl : 98 bt98-3866:0(4336)X5092091 1281.00/1281.68 conflict 236lvl : 101 bt99-3891:0(4367)X5092481 1293.79/1294.43 conflict 312lvl : 120 bt120-2727:0(4273)X5106064 1294.09/1294.71 conflict 159lvl : 136 bt135-4573:0(5198)X5106379 1295.99/1296.66 conflict 236lvl : 91 bt91-6533:0(4219)X5109977 1299.88/1300.57 conflict 236lvl : 80 bt80-1004:0(4238)X5113865 1313.18/1313.86 conflict 312lvl : 115 bt115-6453:0(4242)X5159864 1315.18/1315.83 conflict 159lvl : 80 bt80-533:0(4239)X5161143 1328.37/1329.08 conflict 312lvl : 91 bt91-3051:0(4241)X5207065 1328.77/1329.45 conflict 159lvl : 119 bt118-878:0(5556)X5207380 1330.57/1331.26 conflict 236lvl : 105 bt105-585:0(4369)X5209763 1331.17/1331.88 conflict 548lvl : 207 bt106-3203:0(8579)X5210002 1332.97/1333.63 conflict 315lvl : 210 bt2104219:0(4489)X5211510 1333.17/1333.85 conflict 159lvl : 216 bt216-3196:0(5322)X5211828 1361.05/1361.71 conflict 236lvl : 117 bt117-1125:0(4330)X5283234 1361.05/1361.77 conflict 159lvl : 118 bt117-6559:0(4278)X5283473 1361.16/1361.80 conflict 159lvl : 117 bt117-396:0(4379)X5283635 1361.16/1361.84 conflict 237lvl : 117 bt1175845:0(4332)X5283797 1361.16/1361.88 conflict 159lvl : 117 bt117-6557:0(4299)X5284037 1361.26/1361.92 conflict 236lvl : 118 bt118-403:0(4260)X5284199 1361.26/1361.94 conflict 159lvl : 117 bt117-403:0(4279)X5284438 1361.35/1362.04 conflict 235lvl : 120 bt116-5850:0(4663)X5284600 1365.35/1366.04 conflict 389lvl : 118 bt118-6533:0(4239)X5288896 1390.24/1390.92 conflict 236lvl : 97 bt97-3904:0(4269)X5312614 1390.34/1391.01 conflict 237lvl : 100 bt100-145:0(4275)X5312853 1392.34/1393.00 conflict 236lvl : 81 bt81-5993:0(4240)X5315967 1396.74/1397.49 conflict 236lvl : 79 bt79-2975:0(4208)X5327230 1406.73/1407.43 conflict 312lvl : 131 bt131-598:0(4303)X5337226 1408.54/1409.25 conflict 312lvl : 79 bt79-4038:0(4208)X5338987 1413.03/1413.76 conflict 236lvl : 79 bt79-5867:0(4208)X5376256 1426.32/1427.02 conflict 236lvl : 125 bt125-254:0(4254)X5422035 1428.32/1429.01 conflict 312lvl : 79 bt79-3417:0(4237)X5424062 1449.42/1450.14 conflict 236lvl : 122 bt122-6154:0(4270)X5485654 1451.42/1452.19 conflict 159lvl : 80 bt80-4243:0(4239)X5488662 1456.02/1456.74 conflict 236lvl : 80 bt80-2726:0(4209)X5525861 1469.31/1470.02 conflict 312lvl : 127 bt127-5392:0(4253)X5575305 1471.31/1472.07 conflict 312lvl : 80 bt80-769:0(4238)X5577146 1484.70/1485.41 conflict 312lvl : 125 bt125-2282:0(4314)X5623221 1486.51/1487.30 conflict 312lvl : 82 bt82-6087:0(4240)X5625022 1499.70/1500.48 conflict 387lvl : 133 bt133-4501:0(4296)X5671119 1504.39/1505.19 conflict 236lvl : 79 bt79-5555:0(4207)X5708712 1517.69/1518.48 conflict 236lvl : 128 bt128-4360:0(4301)X5754698 1519.79/1520.55 conflict 159lvl : 84 bt84-2987:0(4254)X5756455 1524.28/1525.04 conflict 236lvl : 79 bt79-808:0(4207)X5793626 1537.58/1538.36 conflict 236lvl : 141 bt141-1640:0(4292)X5836656 1537.68/1538.46 conflict 237lvl : 144 bt144-3628:0(4357)X5836895 1539.38/1540.14 conflict 159lvl : 82 bt82-921:0(4211)X5838337 1551.87/1552.61 conflict 159lvl : 3241 bt3241-220:0(3788)X5876157 1584.46/1585.21 conflict 236lvl : 134 bt134-2688:0(4302)X5946524 1586.45/1587.29 conflict 236lvl : 91 bt91-2753:0(4259)X5948029 1586.95/1587.72 conflict 159lvl : 137 bt136-2503:0(6171)X5948268 1594.75/1595.50 conflict 312lvl : 151 bt151-3023:0(4300)X5958294 1594.75/1595.59 conflict 159lvl : 154 bt154-2467:0(4327)X5958609 1596.65/1597.45 conflict 159lvl : 79 bt79-4950:0(4237)X5960303 1609.94/1610.71 conflict 312lvl : 125 bt125-3844:0(4318)X6006214 1612.14/1612.93 conflict 312lvl : 100 bt100-6006:0(4234)X6008908 1612.44/1613.20 conflict 159lvl : 115 bt115-1576:0(5218)X6009223 1614.15/1614.92 conflict 312lvl : 87 bt87-4372:0(4254)X6010549 1627.34/1628.16 conflict 236lvl : 98 bt98-1470:0(4249)X6056921 1629.23/1630.01 conflict 314lvl : 80 bt80-738:0(4238)X6058583 1633.73/1634.51 conflict 390lvl : 80 bt80-6430:0(4208)X6095865 1663.72/1664.59 conflict 159lvl : 135 bt135-1618:0(4320)X6199288 1665.72/1666.52 conflict 312lvl : 82 bt82-4407:0(4244)X6200907 1679.03/1679.80 conflict 159lvl : 98 bt98-5214:0(4255)X6253922 1690.82/1691.64 conflict 389lvl : 140 bt140-775:0(4302)X6270167 1692.81/1693.67 conflict 159lvl : 89 bt89-657:0(4245)X6271833 1694.91/1695.70 conflict 159lvl : 88 bt88-3174:0(4247)X6273666 1708.11/1708.91 conflict 236lvl : 100 bt100-1062:0(4272)X6319686 1708.11/1708.96 conflict 236lvl : 101 bt100-1947:0(4240)X6319925 1708.11/1708.99 conflict 159lvl : 100 bt100-3845:0(4307)X6320164 1708.21/1709.02 conflict 237lvl : 100 bt1001957:0(4277)X6320326 1708.21/1709.05 conflict 159lvl : 100 bt100-6379:0(4241)X6320566 1708.21/1709.08 conflict 235lvl : 101 bt99-1981:0(4198)X6320728 1708.31/1709.10 conflict 159lvl : 99 bt99-6321:0(4158)X6320966 1708.31/1709.15 conflict 159lvl : 100 bt100-6355:0(4329)X6321128 1708.31/1709.19 conflict 159lvl : 100 bt100-6350:0(4189)X6321290 1708.41/1709.24 conflict 159lvl : 100 bt99-6355:0(4239)X6321452 1708.41/1709.26 conflict 159lvl : 99 bt99-1981:0(4179)X6321614 1708.41/1709.29 conflict 159lvl : 100 bt100-3851:0(4226)X6321776 1708.50/1709.32 conflict 389lvl : 100 bt100-6362:0(4218)X6321938 1708.50/1709.34 conflict 236lvl : 100 bt100-6355:0(4265)X6322330 1708.50/1709.37 conflict 159lvl : 100 bt100-6355:0(4243)X6322569 1708.50/1709.40 conflict 236lvl : 100 bt100-1981:0(4331)X6322731 1708.61/1709.44 conflict 159lvl : 100 bt100-1981:0(4271)X6322970 1708.61/1709.48 conflict 313lvl : 100 bt100-6362:0(4262)X6323132 1708.71/1709.51 conflict 159lvl : 100 bt100-6373:0(4174)X6323448 1708.71/1709.53 conflict 159lvl : 100 bt100-1981:0(4259)X6323610 1708.71/1709.57 conflict 159lvl : 100 bt100-6344:0(4323)X6323772 1708.71/1709.59 conflict 390lvl : 100 bt100-6355:0(4383)X6323934 1708.80/1709.62 conflict 159lvl : 100 bt100-6322:0(4249)X6324327 1710.10/1710.94 conflict 236lvl : 82 bt82-6348:0(4240)X6327059 1723.40/1724.23 conflict 236lvl : 142 bt142-33:0(4315)X6376783 1723.90/1724.77 conflict 159lvl : 231 bt175-2491:0(7695)X6377022 1734.59/1735.46 conflict 159lvl : 141 bt141-6424:0(4273)X6386934 1735.99/1736.87 conflict 236lvl : 80 bt80-910:0(4238)X6387389 1740.60/1741.41 conflict 390lvl : 80 bt80-2347:0(4209)X6424432 1760.18/1761.10 conflict 392lvl : 140 bt140-370:0(4227)X6481318 1760.38/1761.24 conflict 236lvl : 142 bt142-329:0(4666)X6481713 1764.58/1765.43 conflict 235lvl : 79 bt79-4978:0(4208)X6519371 1777.77/1778.65 conflict 312lvl : 129 bt129-795:0(4271)X6565358 1779.67/1780.59 conflict 312lvl : 121 bt121-3032:0(4355)X6565948 1780.17/1781.06 conflict 159lvl : 173 bt172-4313:0(6275)X6566263 1781.87/1782.76 conflict 236lvl : 180 bt180-1367:0(4426)X6568112 1781.97/1782.83 conflict 461lvl : 181 bt181-2008:0(4316)X6568351 1781.97/1782.87 conflict 236lvl : 180 bt180-307:0(4455)X6568815 1782.07/1782.90 conflict 159lvl : 180 bt180-1982:0(4393)X6569054 1782.07/1782.94 conflict 159lvl : 180 bt180-1957:0(4393)X6569216 1782.07/1782.97 conflict 237lvl : 180 bt1806106:0(4372)X6569378 1782.17/1783.09 conflict 159lvl : 183 bt183-307:0(4432)X6569618 1793.37/1794.23 conflict 236lvl : 105 bt105-3853:0(4278)X6580678 1795.27/1796.17 conflict 236lvl : 86 bt86-5912:0(4245)X6582600 1797.27/1798.12 conflict 235lvl : 93 bt93-466:0(4282)X6584374 1797.67/1798.55 conflict 159lvl : 136 bt135-830:0(6214)X6584612 1799.46/1800.30 conflict 236lvl : 190 bt190-11:0(4333)X6587302 1809.56/1810.49 conflict 236lvl : 96 bt96-53:0(4211)X6599512 1811.46/1812.37 conflict 312lvl : 83 bt83-1600:0(4212)X6601168 1833.75/1834.61 conflict 312lvl : 147 bt147-4971:0(4405)X6658856 1843.64/1844.52 conflict 159lvl : 107 bt107-343:0(4291)X6671161 1843.64/1844.57 conflict 236lvl : 108 bt107-3862:0(4197)X6671323 1843.74/1844.60 conflict 159lvl : 107 bt107-5116:0(4298)X6671562 1843.74/1844.63 conflict 236lvl : 107 bt107-5116:0(4268)X6671724 1843.85/1844.70 conflict 235lvl : 107 bt106-5107:0(4458)X6671963 1843.85/1844.75 conflict 159lvl : 106 bt106-1066:0(4271)X6672201 1843.85/1844.78 conflict 159lvl : 106 bt106-6356:0(4118)X6672363 1843.95/1844.81 conflict 159lvl : 106 bt106-6337:0(4212)X6672525 1843.95/1844.84 conflict 159lvl : 106 bt106-355:0(4232)X6672687 1843.95/1844.89 conflict 316lvl : 107 bt1075114:0(4226)X6672849 1844.04/1844.93 conflict 313lvl : 107 bt107-6353:0(4422)X6673168 1844.04/1844.97 conflict 236lvl : 107 bt107-359:0(4316)X6673484 1844.14/1845.00 conflict 159lvl : 107 bt107-393:0(4326)X6673723 1844.14/1845.05 conflict 235lvl : 107 bt107-6344:0(4441)X6673885 1844.24/1845.10 conflict 389lvl : 107 bt107-5183:0(4141)X6674123 1844.24/1845.13 conflict 235lvl : 107 bt107-350:0(4287)X6674515 1844.24/1845.18 conflict 312lvl : 107 bt107-3833:0(4174)X6674753 1844.34/1845.22 conflict 313lvl : 107 bt107-5118:0(4105)X6675068 1844.34/1845.26 conflict 313lvl : 107 bt107-5140:0(4115)X6675384 1844.44/1845.31 conflict 159lvl : 105 bt105-1065:0(4124)X6675700 1848.44/1849.35 conflict 312lvl : 84 bt84-1809:0(4213)X6711654 1857.74/1858.66 conflict 236lvl : 103 bt103-4161:0(4224)X6722551 1858.04/1858.96 conflict 159lvl : 118 bt117-5966:0(5640)X6722790 1859.93/1860.90 conflict 236lvl : 103 bt103-843:0(4262)X6726370 1861.93/1862.89 conflict 235lvl : 81 bt81-4166:0(4261)X6727308 1885.32/1886.28 conflict 312lvl : 106 bt106-4977:0(4287)X6785252 1887.22/1888.14 conflict 236lvl : 81 bt81-3312:0(4239)X6786972 1900.52/1901.44 conflict 236lvl : 102 bt102-6492:0(4237)X6833708 1909.61/1910.53 conflict 387lvl : 124 bt124-4867:0(4326)X6840969 1909.61/1910.57 conflict 159lvl : 125 bt125-3245:0(4203)X6841359 1909.71/1910.60 conflict 312lvl : 124 bt124-3284:0(4329)X6841521 1909.71/1910.63 conflict 159lvl : 124 bt124-3259:0(4299)X6841836 1909.71/1910.66 conflict 159lvl : 124 bt124-3253:0(4311)X6841998 1909.71/1910.68 conflict 237lvl : 124 bt1245770:0(4269)X6842160 1909.82/1910.74 conflict 236lvl : 124 bt124-5797:0(4272)X6842400 1909.82/1910.78 conflict 159lvl : 125 bt125-3312:0(4193)X6842639 1909.82/1910.80 conflict 236lvl : 124 bt124-5791:0(4301)X6842801 1910.01/1910.96 conflict 312lvl : 128 bt128-4897:0(5100)X6843040 1912.12/1913.00 conflict 159lvl : 101 bt101-1651:0(4207)X6844396 1920.91/1921.80 conflict 236lvl : 153 bt153-1535:0(4332)X6853196 1920.91/1921.85 conflict 159lvl : 154 bt154-4055:0(4264)X6853435 1920.91/1921.88 conflict 159lvl : 153 bt153-5845:0(4346)X6853597 1921.01/1921.91 conflict 159lvl : 153 bt153-5893:0(4325)X6853759 1921.01/1921.93 conflict 159lvl : 153 bt153-5845:0(4296)X6853921 1921.01/1921.96 conflict 237lvl : 153 bt1532530:0(4286)X6854083 1921.11/1922.02 conflict 159lvl : 153 bt153-5878:0(4278)X6854323 1921.11/1922.07 conflict 159lvl : 153 bt153-4121:0(4244)X6854485 1921.11/1922.08 conflict 235lvl : 152 bt152-5845:0(4313)X6854647 1921.21/1922.16 conflict 312lvl : 152 bt152-2522:0(4253)X6854885 1921.31/1922.20 conflict 159lvl : 152 bt152-2516:0(4138)X6855200 1921.31/1922.24 conflict 237lvl : 152 bt1523422:0(4132)X6855362 1921.41/1922.32 conflict 311lvl : 152 bt152-3440:0(4463)X6855602 1921.51/1922.43 conflict 237lvl : 155 bt1553463:0(4798)X6855916 1923.11/1924.07 conflict 236lvl : 93 bt93-2960:0(4263)X6857436 1924.90/1925.81 conflict 311lvl : 126 bt126-4869:0(4317)X6858611 1924.90/1925.84 conflict 236lvl : 127 bt127-2575:0(4304)X6858925 1924.90/1925.87 conflict 159lvl : 126 bt126-5839:0(4257)X6859164 1924.90/1925.89 conflict 386lvl : 126 bt126-1519:0(4285)X6859326 1925.00/1925.91 conflict 159lvl : 126 bt126-5893:0(4279)X6859715 1925.00/1925.93 conflict 159lvl : 126 bt126-5893:0(4223)X6859877 1925.00/1925.97 conflict 236lvl : 127 bt127-1495:0(4300)X6860039 1925.00/1925.99 conflict 316lvl : 126 bt1261471:0(4241)X6860278 1925.10/1926.02 conflict 159lvl : 127 bt127-2582:0(4397)X6860597 1925.10/1926.03 conflict 541lvl : 126 bt125-2575:0(4210)X6860759 1925.21/1926.19 conflict 159lvl : 130 bt128-1463:0(4940)X6861303 1927.30/1928.21 conflict 236lvl : 90 bt90-3745:0(4280)X6863275 1927.30/1928.25 conflict 236lvl : 93 bt93-1714:0(4287)X6863514 1959.39/1960.34 conflict 235lvl : 109 bt109-349:0(4259)X6930910 1959.39/1960.39 conflict 159lvl : 110 bt110-5189:0(4205)X6931148 1959.49/1960.41 conflict 236lvl : 109 bt109-4130:0(4310)X6931310 1959.49/1960.44 conflict 159lvl : 109 bt109-4111:0(4255)X6931549 1959.49/1960.47 conflict 159lvl : 109 bt109-4127:0(4269)X6931711 1959.49/1960.49 conflict 315lvl : 109 bt1095683:0(4256)X6931873 1959.59/1960.56 conflict 235lvl : 110 bt110-5695:0(4367)X6932191 1959.59/1960.58 conflict 312lvl : 109 bt108-5703:0(4240)X6932429 1959.69/1960.62 conflict 465lvl : 109 bt109-5248:0(4151)X6932744 1961.19/1962.10 conflict 312lvl : 82 bt82-4281:0(4233)X6934120 1974.58/1975.50 conflict 236lvl : 111 bt111-149:0(4244)X6980217 1976.38/1977.31 conflict 316lvl : 79 bt794462:0(4200)X6981789 1980.89/1981.82 conflict 236lvl : 82 bt82-5992:0(4210)X7019062 1993.98/1994.98 conflict 236lvl : 110 bt110-4696:0(4262)X7065083 1996.08/1997.06 conflict 312lvl : 90 bt90-3227:0(4249)X7066002 2009.37/2010.31 conflict 159lvl : 108 bt108-2753:0(4220)X7117442 2020.67/2021.67 conflict 312lvl : 109 bt109-5765:0(4237)X7128048 2022.67/2023.60 conflict 159lvl : 79 bt79-5951:0(4238)X7129956 2027.17/2028.12 conflict 236lvl : 82 bt82-296:0(4210)X7167072 2040.36/2041.31 conflict 159lvl : 149 bt149-5999:0(4496)X7216636 2040.36/2041.38 conflict 159lvl : 149 bt149-3892:0(4274)X7216798 2040.46/2041.46 conflict 159lvl : 149 bt149-3893:0(4331)X7216960 2040.67/2041.65 conflict 159lvl : 149 bt149-6060:0(4228)X7217122 2040.77/2041.72 conflict 159lvl : 149 bt149-3925:0(4395)X7217284 2062.15/2063.17 conflict 387lvl : 159 bt159-5366:0(4321)X7240286 2064.05/2065.04 conflict 390lvl : 87 bt87-472:0(4246)X7241361 2156.61/2157.63 conflict 236lvl : 114 bt114-431:0(4278)X7455043 2173.20/2174.23 conflict 236lvl : 92 bt92-887:0(4273)X7457012 2193.69/2194.70 conflict 312lvl : 105 bt105-2539:0(4252)X7478411 2207.89/2208.96 conflict 236lvl : 79 bt79-918:0(4238)X7486910 2217.78/2218.88 conflict 312lvl : 98 bt98-4616:0(4257)X7500324 2239.67/2240.75 conflict 236lvl : 144 bt144-1603:0(4369)X7536061 2291.23/2292.35 conflict 236lvl : 86 bt86-1201:0(4248)X7540343 2315.32/2316.48 conflict 389lvl : 131 bt131-2256:0(4282)X7585562 2375.30/2376.42 conflict 390lvl : 82 bt82-4321:0(4241)X7587862 2400.08/2401.20 2400.08/2401.20 c *** INTERRUPTED *** 2400.08/2401.20 s SATISFIABLE 2400.08/2401.20 c Best value found: 52699 2400.08/2401.20 2400.08/2401.20 2400.08/2401.20 v <instantiation type='solution' cost='52699'> 2400.08/2401.20 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[76][80] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[77][80] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[78][80] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] d[79][80] d[80][0] d[80][1] d[80][2] d[80][3] d[80][4] d[80][5] d[80][6] d[80][7] d[80][8] d[80][9] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][80] </list> 2400.08/2401.20 v <values>6 65 46 76 51 40 16 38 27 8 10 35 45 18 63 43 75 56 25 71 9 80 23 15 20 30 24 52 7 37 39 22 57 2 12 60 3 53 44 55 1 62 33 32 19 42 21 28 4 77 14 78 36 68 50 49 70 67 0 74 79 73 17 5 47 26 72 48 11 41 54 61 58 34 69 66 31 64 59 29 13 * 2 10 0 1 10 2 10 10 5 1 2 2 5 3 0 2 5 0 0 0 1 5 2 10 10 0 1 0 5 0 0 0 2 1 1 5 2 5 5 5 4 0 1 0 5 0 0 0 2 2 5 2 6 0 4 3 5 10 5 0 0 10 5 2 5 5 4 0 1 0 5 10 0 2 0 2 2 0 0 0 * * 0 0 0 5 10 0 0 4 4 4 4 2 1 5 0 5 2 5 2 4 0 0 2 0 1 0 0 0 5 4 0 10 0 2 1 4 5 10 5 6 0 5 1 0 5 0 1 0 2 0 2 2 2 2 0 5 0 0 0 10 1 1 5 2 0 2 5 0 5 0 6 0 5 1 2 2 0 2 0 * * * 10 3 0 1 2 1 2 0 6 0 2 0 0 2 2 2 0 10 0 10 5 5 2 1 0 0 5 6 3 2 5 2 0 0 2 1 0 4 5 0 0 2 0 1 1 2 2 1 0 2 3 1 0 1 0 0 10 0 1 1 1 1 0 1 0 2 1 1 0 5 0 1 0 0 0 5 5 0 * * * * 2 2 1 1 2 0 2 0 0 1 5 5 10 5 2 2 0 0 10 1 5 4 1 6 0 6 5 5 10 1 5 5 1 0 0 4 2 2 1 0 5 1 3 1 4 1 0 5 1 10 2 4 4 2 4 5 5 3 2 1 1 0 2 10 2 0 5 0 2 0 2 1 2 2 0 0 0 * * * * * 0 5 0 0 0 6 1 10 1 1 6 5 2 0 0 5 0 3 0 4 2 0 5 2 4 1 2 10 0 10 5 0 0 10 10 0 5 1 0 0 3 0 2 2 1 4 1 5 2 0 2 0 4 0 5 0 0 0 5 1 0 0 2 0 10 2 10 0 3 4 0 5 0 0 0 10 * * * * * * 0 0 5 1 0 5 0 5 0 10 5 10 2 2 5 4 1 0 5 2 3 1 0 10 2 5 0 6 10 1 5 0 0 5 0 0 0 10 1 5 10 5 5 1 4 5 6 0 0 5 0 2 1 0 1 2 5 10 2 2 0 5 1 2 0 2 2 4 3 2 2 2 0 5 3 * * * * * * * 1 2 6 4 3 5 5 1 4 5 5 2 1 2 6 2 0 4 0 5 2 2 5 1 2 0 0 3 1 0 0 10 3 0 0 0 5 0 0 0 4 5 0 10 0 4 10 0 10 5 5 10 0 1 2 0 10 10 2 0 3 0 10 2 5 2 2 5 0 3 3 10 0 2 * * * * * * * * 2 0 5 0 4 0 3 3 4 2 5 5 10 5 2 0 1 1 2 0 1 5 2 5 0 1 5 5 5 1 0 0 0 2 0 0 2 3 0 0 2 10 10 3 4 0 3 0 0 0 2 5 2 5 5 5 2 1 0 1 0 5 2 1 0 2 10 2 5 0 2 5 5 * * * * * * * * * 0 2 10 10 0 5 0 6 1 0 10 10 10 0 1 0 5 6 6 2 1 2 0 2 2 0 4 2 3 3 0 5 2 0 2 5 0 0 5 1 5 5 4 4 0 2 0 2 0 0 2 3 0 0 10 3 0 2 2 5 5 0 0 3 3 1 0 0 5 1 0 2 * * * * * * * * * * 10 0 2 5 3 2 2 1 5 5 0 0 0 0 2 10 5 1 10 3 1 2 0 2 0 5 0 1 1 0 5 0 5 0 0 0 0 0 5 10 0 1 1 0 0 10 2 2 2 0 0 0 1 5 10 10 1 10 0 0 2 5 5 1 2 5 2 3 0 1 10 * * * * * * * * * * * 6 10 5 5 10 0 5 4 2 5 1 4 2 2 0 0 0 2 2 2 2 5 2 3 2 5 1 0 1 5 0 5 6 2 1 0 3 5 1 1 0 0 5 5 1 10 0 6 0 5 0 1 5 1 0 1 2 1 4 10 1 5 0 5 0 6 10 0 1 2 * * * * * * * * * * * * 0 4 0 0 6 2 5 0 1 0 5 10 10 6 2 2 1 2 0 0 2 1 2 0 0 5 3 0 5 0 0 1 0 0 2 4 2 2 6 0 5 2 1 1 5 5 10 0 0 1 2 10 10 1 5 5 0 2 10 4 5 5 3 5 0 1 0 5 5 * * * * * * * * * * * * * 5 10 1 0 2 0 10 2 3 0 10 2 0 5 5 5 2 5 2 1 1 10 0 0 2 0 10 10 0 0 2 1 3 0 10 1 1 0 0 4 1 10 0 0 5 1 1 0 1 0 0 0 5 3 2 10 1 3 1 0 0 2 0 5 0 5 5 0 * * * * * * * * * * * * * * 4 5 0 0 5 5 10 0 0 0 0 5 0 5 3 5 5 10 1 5 0 2 2 2 5 1 1 3 0 5 2 5 2 0 0 0 10 2 0 1 0 4 0 0 2 5 5 10 10 0 1 5 5 5 4 0 0 1 5 1 6 0 2 5 10 2 10 * * * * * * * * * * * * * * * 2 10 5 5 0 0 1 10 5 0 6 0 1 2 0 3 0 0 0 10 0 5 0 0 4 5 5 0 1 5 1 5 2 2 0 5 0 0 0 5 3 2 6 1 5 1 1 5 2 2 0 2 0 5 2 0 2 3 5 0 1 0 3 5 1 5 * * * * * * * * * * * * * * * * 2 4 2 3 5 1 5 10 10 4 0 1 6 5 0 0 10 0 2 0 0 4 5 2 10 0 3 2 5 0 0 2 0 10 3 0 5 0 5 1 0 5 5 0 2 5 0 5 0 0 0 10 10 0 2 2 5 1 0 0 2 5 2 1 2 * * * * * * * * * * * * * * * * * 10 0 3 0 0 0 10 2 1 1 2 1 2 2 2 1 0 5 0 5 0 0 0 0 0 10 2 4 0 0 2 2 0 2 2 10 2 5 0 2 0 3 5 0 0 2 0 10 1 0 0 0 1 2 5 5 3 0 0 1 0 10 4 2 * * * * * * * * * * * * * * * * * * 5 5 2 0 2 1 2 2 0 0 0 0 0 2 4 0 0 1 0 0 0 2 0 2 0 0 4 1 5 2 1 5 5 0 5 1 0 0 1 10 2 0 0 2 2 0 10 4 2 1 5 2 0 10 1 2 10 0 0 1 2 0 0 * * * * * * * * * * * * * * * * * * * 0 0 10 1 2 4 5 10 0 1 0 0 0 1 6 0 0 5 10 1 2 10 2 10 2 10 0 5 0 3 2 0 5 0 0 10 2 1 0 0 2 1 5 5 2 2 1 5 1 5 5 1 0 5 1 5 1 6 5 1 0 2 * * * * * * * * * * * * * * * * * * * * 3 0 2 0 5 2 4 2 10 2 3 5 5 4 1 5 1 0 10 5 2 3 2 0 2 0 5 5 5 2 0 2 2 0 0 0 5 3 1 10 1 1 5 0 3 3 5 0 5 2 3 4 0 2 2 0 2 2 1 1 2 * * * * * * * * * * * * * * * * * * * * * 5 5 0 0 2 5 10 5 0 5 0 2 0 0 0 5 5 5 2 0 5 0 0 5 5 0 0 0 0 0 0 10 0 0 0 10 0 0 5 4 0 5 2 0 5 10 10 0 1 1 1 1 5 0 1 2 1 3 1 5 * * * * * * * * * * * * * * * * * * * * * * 2 0 4 5 1 2 2 5 2 2 6 1 4 0 2 2 0 0 0 0 1 0 2 0 1 6 5 5 3 0 0 0 5 5 0 0 5 1 5 2 0 10 2 0 1 2 2 0 2 1 0 5 5 10 10 2 5 0 10 * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 4 2 1 5 2 5 0 1 5 5 5 1 5 0 10 0 0 5 10 2 5 5 2 5 1 0 5 10 3 2 3 2 0 0 1 0 1 0 2 5 5 1 4 0 10 10 6 2 4 10 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 3 5 3 0 1 1 3 2 5 0 5 2 5 4 2 5 0 10 1 0 0 5 2 5 10 5 2 0 1 0 3 10 1 1 0 5 5 0 0 2 5 0 1 2 0 4 2 5 2 0 1 2 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 5 2 0 5 0 5 10 10 5 1 4 0 1 0 2 5 5 0 5 5 0 1 1 10 0 1 10 5 5 5 2 0 0 0 2 0 10 0 4 0 5 5 1 0 4 2 3 5 5 3 4 0 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 10 0 0 0 5 4 4 0 1 4 10 2 0 2 1 5 1 0 4 5 2 0 2 1 0 1 0 2 10 0 0 2 2 5 5 2 1 5 2 3 4 5 5 5 5 5 2 0 1 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 4 1 5 2 5 3 5 0 0 0 0 5 10 6 5 5 0 5 5 0 0 0 0 3 2 0 5 2 5 4 2 4 5 1 0 5 1 4 2 1 0 0 1 5 0 0 2 4 0 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 0 0 1 10 3 2 10 2 3 5 0 2 0 1 5 1 1 2 5 0 2 0 0 0 1 6 0 5 5 2 0 1 2 3 1 5 6 0 2 2 0 4 2 0 5 0 1 3 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 2 2 0 0 2 0 2 2 0 0 2 1 0 2 2 0 1 2 2 2 0 5 0 5 0 0 2 10 5 0 5 2 0 0 1 4 0 1 1 0 0 0 0 5 0 10 2 5 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 10 1 2 5 10 5 2 2 1 2 0 10 0 5 4 0 1 5 0 2 1 0 2 0 0 0 1 5 6 0 0 1 2 1 3 10 3 0 5 0 2 5 5 0 3 1 5 10 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 5 0 0 2 0 0 2 3 5 5 2 10 1 0 6 0 1 1 1 0 2 0 0 10 0 2 0 5 0 1 2 0 0 3 5 5 2 2 3 10 1 2 3 0 3 3 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 0 5 0 5 0 0 0 0 2 5 0 5 0 0 0 10 2 10 10 1 1 2 0 5 2 5 5 0 2 0 4 0 5 3 10 2 5 0 5 5 10 2 4 10 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 2 1 5 2 2 0 10 1 0 5 2 4 5 10 5 0 10 10 5 5 5 5 2 5 10 1 0 5 5 0 10 5 3 1 2 0 1 1 5 2 10 5 5 0 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 5 5 0 0 10 5 0 1 5 1 1 1 2 6 2 1 3 0 5 4 2 0 0 5 5 2 6 0 5 5 5 2 5 0 0 1 2 0 0 5 0 5 3 2 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 4 3 5 1 2 5 2 10 2 2 1 0 5 0 1 3 1 3 0 1 5 10 2 5 0 0 5 0 0 5 5 1 2 5 2 10 5 1 0 5 10 2 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 5 1 0 2 0 5 3 4 0 1 0 5 2 1 5 5 2 0 2 2 0 1 3 2 3 2 0 5 2 4 5 2 2 1 2 1 1 5 4 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 1 3 2 5 2 0 5 0 0 1 0 5 5 6 0 1 5 0 0 1 2 0 3 10 5 3 0 10 5 5 0 4 0 0 4 3 3 2 5 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 3 2 5 2 2 5 0 1 0 1 5 2 2 0 4 5 1 0 2 10 0 0 0 0 0 5 5 0 5 5 0 6 5 0 1 5 0 5 5 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 0 0 5 2 10 2 5 10 1 1 1 5 5 5 1 10 10 5 0 10 2 3 2 10 1 1 5 4 4 10 0 5 5 1 0 3 0 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 1 1 1 6 0 0 0 4 0 10 5 5 2 2 3 2 4 3 5 5 5 10 2 1 3 2 10 4 0 2 0 0 6 0 0 0 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 10 5 0 0 0 10 0 10 5 2 5 0 0 5 5 0 2 5 0 5 0 0 5 3 0 5 0 5 0 5 5 5 5 2 0 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 1 5 2 5 2 2 0 1 10 6 2 2 1 1 0 1 6 1 10 2 1 5 2 0 10 0 5 10 2 5 5 4 4 2 2 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 1 10 2 0 5 2 10 5 5 0 0 5 2 5 3 2 10 2 0 0 2 2 0 5 1 0 0 0 10 5 2 10 4 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 0 0 5 5 5 5 1 5 6 2 0 1 1 0 2 5 0 10 4 10 5 10 3 0 2 1 2 0 5 4 10 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 0 10 1 1 5 0 4 4 0 0 5 0 0 5 10 0 0 5 1 5 2 1 0 5 2 0 4 3 1 10 5 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 10 2 5 5 5 2 0 1 1 10 10 6 2 0 5 0 0 1 5 0 4 2 2 2 10 1 10 0 0 0 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 5 3 5 3 0 0 0 5 0 5 10 0 0 0 1 0 0 5 10 0 6 10 2 5 5 0 0 1 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 2 6 5 0 2 3 5 0 4 5 5 2 0 5 2 10 2 0 5 0 10 3 0 2 5 0 0 0 1 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 10 0 2 2 5 10 0 10 1 5 2 4 10 5 1 3 1 2 5 5 10 2 1 4 0 4 0 0 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 2 2 2 1 5 2 1 2 5 5 6 0 5 5 1 2 5 2 5 10 2 5 2 0 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 4 0 2 2 1 2 5 0 5 5 1 5 0 6 5 1 5 5 3 0 5 5 0 10 0 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 10 2 5 1 1 10 5 5 5 2 2 0 4 1 10 10 0 0 0 5 2 2 4 5 3 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 1 2 0 0 5 3 0 10 2 5 1 5 5 3 0 1 10 5 0 5 2 10 1 10 6 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 2 0 1 0 2 0 2 0 2 5 4 4 0 1 4 0 2 0 5 0 5 0 10 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 5 5 2 2 5 10 2 0 10 4 10 10 0 1 1 10 2 0 2 0 4 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 6 10 4 0 1 5 5 10 1 0 2 0 2 0 4 0 0 0 2 0 2 1 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 6 10 5 2 2 2 0 2 3 0 6 2 10 0 5 0 6 0 1 2 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 0 1 0 0 10 5 2 0 3 0 5 4 3 2 2 10 2 10 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 2 1 0 4 2 10 2 1 5 2 10 5 5 5 0 10 1 2 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 10 0 0 1 10 1 0 5 1 5 10 10 0 5 10 2 0 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 0 5 10 3 6 0 1 0 10 5 5 5 1 1 2 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 6 0 2 10 0 2 5 0 0 0 0 10 2 0 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 10 2 0 1 10 5 3 2 5 1 2 1 2 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 1 5 3 2 0 2 0 2 5 5 5 0 2 5 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 2 5 5 5 5 2 10 0 0 2 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 1 0 5 10 5 2 2 1 0 0 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 4 2 10 6 2 0 2 5 3 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 5 5 5 5 6 0 6 0 2 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 0 5 5 0 5 0 5 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 2 5 5 0 5 5 1 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 4 0 3 5 0 5 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 2 0 0 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 5 2 1 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 4 2 0 2 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 5 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
ERROR: no instantiation found
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-4240539-1500638453/watcher-4240539-1500638453 -o /tmp/evaluation-result-4240539-1500638453/solver-4240539-1500638453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500636024-10228 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240539-1500638453.xml pid=10698 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.06 2.03 1.98 3/186 10701 /proc/meminfo: memFree=31104796/32770624 swapFree=6164/836868 [pid=10701] ppid=10698 vsize=27252 CPUtime=0 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 17286141 27906048 839 33554432000 4194304 5970956 140730642152288 140730642147576 140675829959653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 6813 839 703 434 0 177 0 [startup+0.100115 s] /proc/loadavg: 2.06 2.03 1.98 3/186 10701 /proc/meminfo: memFree=31104796/32770624 swapFree=6164/836868 [pid=10701] ppid=10698 vsize=34452 CPUtime=0.09 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 2794 0 0 0 9 0 0 0 20 0 1 0 17286141 35278848 2616 33554432000 4194304 5970956 140730642152288 140730642146888 5383966 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 8613 2616 716 434 0 1977 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34452 [startup+0.200329 s] /proc/loadavg: 2.06 2.03 1.98 3/186 10701 /proc/meminfo: memFree=31104796/32770624 swapFree=6164/836868 [pid=10701] ppid=10698 vsize=75252 CPUtime=0.19 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 13028 0 0 0 18 1 0 0 20 0 1 0 17286141 77058048 12846 33554432000 4194304 5970956 140730642152288 140730642146744 140675830007712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 18846 12846 723 434 0 12210 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 75252 [startup+0.300288 s] /proc/loadavg: 2.06 2.03 1.98 3/186 10701 /proc/meminfo: memFree=31104796/32770624 swapFree=6164/836868 [pid=10701] ppid=10698 vsize=121244 CPUtime=0.29 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 24561 0 0 0 26 3 0 0 20 0 1 0 17286141 124153856 24343 33554432000 4194304 5970956 140730642152288 140730642147544 5633547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 30311 24343 723 434 0 23675 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 121244 [startup+0.700232 s] /proc/loadavg: 2.06 2.03 1.98 3/186 10701 /proc/meminfo: memFree=31104796/32770624 swapFree=6164/836868 [pid=10701] ppid=10698 vsize=322776 CPUtime=0.68 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 72439 0 0 0 60 8 0 0 20 0 1 0 17286141 330522624 73206 33554432000 4194304 5970956 140730642152288 140730642139608 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 80694 73206 764 434 0 74058 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 322776 [startup+1.50023 s] /proc/loadavg: 2.06 2.03 1.98 3/187 10702 /proc/meminfo: memFree=30813680/32770624 swapFree=6164/836904 [pid=10701] ppid=10698 vsize=327796 CPUtime=1.49 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 73702 0 0 0 140 9 0 0 20 0 1 0 17286141 335663104 74460 33554432000 4194304 5970956 140730642152288 140730642149272 5045304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 81949 74460 786 434 0 75313 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 327796 [startup+3.1002 s] /proc/loadavg: 2.06 2.03 1.98 3/187 10702 /proc/meminfo: memFree=30787296/32770624 swapFree=6164/836912 [pid=10701] ppid=10698 vsize=409644 CPUtime=3.09 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 142018 0 0 0 294 15 0 0 20 0 1 0 17286141 419475456 94893 33554432000 4194304 5970956 140730642152288 140730642149256 4930640 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 102411 94893 791 434 0 95775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 409644 [startup+6.30023 s] /proc/loadavg: 1.98 2.01 1.98 3/187 10702 /proc/meminfo: memFree=30726908/32770624 swapFree=6164/836912 [pid=10701] ppid=10698 vsize=409644 CPUtime=6.29 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 235899 0 0 0 610 19 0 0 20 0 1 0 17286141 419475456 94893 33554432000 4194304 5970956 140730642152288 140730642149256 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 102411 94893 791 434 0 95775 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 409644 [startup+12.7002 s] /proc/loadavg: 1.98 2.01 1.98 3/187 10724 /proc/meminfo: memFree=30710228/32770624 swapFree=6164/836924 [pid=10701] ppid=10698 vsize=417760 CPUtime=12.68 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 305679 0 0 0 1245 23 0 0 20 0 1 0 17286141 427786240 96886 33554432000 4194304 5970956 140730642152288 140730642139592 4933149 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 104440 96886 792 434 0 97804 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 417760 [startup+25.5003 s] /proc/loadavg: 1.98 2.01 1.98 3/187 10724 /proc/meminfo: memFree=30709084/32770624 swapFree=6164/836940 [pid=10701] ppid=10698 vsize=418588 CPUtime=25.47 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 394050 0 0 0 2519 28 0 0 20 0 1 0 17286141 428634112 97104 33554432000 4194304 5970956 140730642152288 140730642149256 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 104647 97104 792 434 0 98011 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 418588 [startup+51.1003 s] /proc/loadavg: 1.99 2.01 1.98 3/187 10724 /proc/meminfo: memFree=30708472/32770624 swapFree=6164/836964 [pid=10701] ppid=10698 vsize=419308 CPUtime=51.07 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 511897 0 0 0 5074 33 0 0 20 0 1 0 17286141 429371392 97386 33554432000 4194304 5970956 140730642152288 140730642149256 4934877 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 104827 97386 792 434 0 98191 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 419308 [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10725 /proc/meminfo: memFree=30702176/32770624 swapFree=6164/837024 [pid=10701] ppid=10698 vsize=424412 CPUtime=102.22 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 588987 0 0 0 10185 37 0 0 20 0 1 0 17286141 434597888 98695 33554432000 4194304 5970956 140730642152288 140730642149256 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 106103 98695 793 434 0 99467 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 424412 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10726 /proc/meminfo: memFree=30699036/32770624 swapFree=6164/837064 [pid=10701] ppid=10698 vsize=426408 CPUtime=162.19 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 656032 0 0 0 16178 41 0 0 20 0 1 0 17286141 436641792 99300 33554432000 4194304 5970956 140730642152288 140730642149624 4934350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 106602 99300 793 434 0 99966 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 426408 [startup+222.306 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10727 /proc/meminfo: memFree=30695620/32770624 swapFree=6164/837124 [pid=10701] ppid=10698 vsize=427836 CPUtime=222.17 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 694928 0 0 0 22173 44 0 0 20 0 1 0 17286141 438104064 100274 33554432000 4194304 5970956 140730642152288 140730642149624 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 106959 100274 793 434 0 100323 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 427836 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10728 /proc/meminfo: memFree=30694948/32770624 swapFree=6164/837176 [pid=10701] ppid=10698 vsize=428140 CPUtime=282.13 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 708727 0 0 0 28168 45 0 0 20 0 1 0 17286141 438415360 100590 33554432000 4194304 5970956 140730642152288 140730642149624 5047048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 107035 100590 793 434 0 100399 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 428140 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10729 /proc/meminfo: memFree=30694472/32770624 swapFree=6164/837248 [pid=10701] ppid=10698 vsize=428816 CPUtime=342.1 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 711758 0 0 0 34164 46 0 0 20 0 1 0 17286141 439107584 100741 33554432000 4194304 5970956 140730642152288 140730642139592 5047532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 107204 100741 793 434 0 100568 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 428816 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10730 /proc/meminfo: memFree=30694012/32770624 swapFree=6164/837300 [pid=10701] ppid=10698 vsize=429256 CPUtime=402.08 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 713378 0 0 0 40162 46 0 0 20 0 1 0 17286141 439558144 100871 33554432000 4194304 5970956 140730642152288 140730642149624 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 107314 100871 793 434 0 100678 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 429256 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10731 /proc/meminfo: memFree=30693020/32770624 swapFree=6164/837352 [pid=10701] ppid=10698 vsize=436576 CPUtime=462.05 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 714762 0 0 0 46159 46 0 0 20 0 1 0 17286141 447053824 101029 33554432000 4194304 5970956 140730642152288 140730642149624 4934506 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 109144 101029 793 434 0 102508 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 436576 [startup+522.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10732 /proc/meminfo: memFree=30692592/32770624 swapFree=6164/837396 [pid=10701] ppid=10698 vsize=436872 CPUtime=522.03 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 719203 0 0 0 52156 47 0 0 20 0 1 0 17286141 447356928 101210 33554432000 4194304 5970956 140730642152288 140730642149624 5045304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 109218 101210 793 434 0 102582 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 436872 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10740 /proc/meminfo: memFree=30690924/32770624 swapFree=6164/837452 [pid=10701] ppid=10698 vsize=437016 CPUtime=581.99 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 722003 0 0 0 58152 47 0 0 20 0 1 0 17286141 447504384 101404 33554432000 4194304 5970956 140730642152288 140730642149624 4934310 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 109254 101404 793 434 0 102618 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 437016 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.02 3/187 10768 /proc/meminfo: memFree=30678196/32770624 swapFree=6164/838332 [pid=10701] ppid=10698 vsize=450088 CPUtime=1481.6 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 749784 0 0 0 148107 53 0 0 20 0 1 0 17286141 460890112 104384 33554432000 4194304 5970956 140730642152288 140730642149624 4908171 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112522 104384 793 434 0 105886 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 450088 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.02 3/187 10769 /proc/meminfo: memFree=30677940/32770624 swapFree=6164/838392 [pid=10701] ppid=10698 vsize=450088 CPUtime=1541.58 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 751310 0 0 0 154105 53 0 0 20 0 1 0 17286141 460890112 104388 33554432000 4194304 5970956 140730642152288 140730642149624 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112522 104388 793 434 0 105886 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 450088 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.02 3/187 10770 /proc/meminfo: memFree=30675892/32770624 swapFree=6164/838440 [pid=10701] ppid=10698 vsize=450088 CPUtime=1601.55 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 752652 0 0 0 160102 53 0 0 20 0 1 0 17286141 460890112 104914 33554432000 4194304 5970956 140730642152288 140730642149624 4934389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112522 104914 793 434 0 105886 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 450088 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10772 /proc/meminfo: memFree=30675636/32770624 swapFree=6164/838504 [pid=10701] ppid=10698 vsize=450088 CPUtime=1661.52 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 754690 0 0 0 166099 53 0 0 20 0 1 0 17286141 460890112 104927 33554432000 4194304 5970956 140730642152288 140730642149624 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112522 104927 793 434 0 105886 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 450088 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 2.02 3/187 10773 /proc/meminfo: memFree=30675636/32770624 swapFree=6164/838548 [pid=10701] ppid=10698 vsize=450220 CPUtime=1721.5 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 756437 0 0 0 172096 54 0 0 20 0 1 0 17286141 461025280 104937 33554432000 4194304 5970956 140730642152288 140730642149624 5045472 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 104937 793 434 0 105919 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 450220 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.02 3/187 10781 /proc/meminfo: memFree=30672712/32770624 swapFree=6164/838604 [pid=10701] ppid=10698 vsize=450220 CPUtime=1781.47 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 758039 0 0 0 178093 54 0 0 20 0 1 0 17286141 461025280 105449 33554432000 4194304 5970956 140730642152288 140730642149624 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 105449 793 434 0 105919 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (KiB) 450220 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10782 /proc/meminfo: memFree=30673164/32770624 swapFree=6164/838672 [pid=10701] ppid=10698 vsize=450220 CPUtime=1841.44 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 759611 0 0 0 184089 55 0 0 20 0 1 0 17286141 461025280 105449 33554432000 4194304 5970956 140730642152288 140730642149624 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 105449 793 434 0 105919 0 Current children cumulated CPU time (s) 1841.44 Current children cumulated vsize (KiB) 450220 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10783 /proc/meminfo: memFree=30673184/32770624 swapFree=6164/838724 [pid=10701] ppid=10698 vsize=450220 CPUtime=1901.42 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 761395 0 0 0 190087 55 0 0 20 0 1 0 17286141 461025280 105454 33554432000 4194304 5970956 140730642152288 140730642149624 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 105454 793 434 0 105919 0 Current children cumulated CPU time (s) 1901.42 Current children cumulated vsize (KiB) 450220 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10784 /proc/meminfo: memFree=30673184/32770624 swapFree=6164/838772 [pid=10701] ppid=10698 vsize=450220 CPUtime=1961.39 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 762682 0 0 0 196084 55 0 0 20 0 1 0 17286141 461025280 105458 33554432000 4194304 5970956 140730642152288 140730642149624 4933153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 105458 793 434 0 105919 0 Current children cumulated CPU time (s) 1961.39 Current children cumulated vsize (KiB) 450220 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10785 /proc/meminfo: memFree=30670904/32770624 swapFree=6164/838828 [pid=10701] ppid=10698 vsize=450220 CPUtime=2021.37 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 764540 0 0 0 202081 56 0 0 20 0 1 0 17286141 461025280 105974 33554432000 4194304 5970956 140730642152288 140730642149624 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 105974 793 434 0 105919 0 Current children cumulated CPU time (s) 2021.37 Current children cumulated vsize (KiB) 450220 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10786 /proc/meminfo: memFree=30671144/32770624 swapFree=6164/838880 [pid=10701] ppid=10698 vsize=450220 CPUtime=2081.35 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 765772 0 0 0 208079 56 0 0 20 0 1 0 17286141 461025280 105984 33554432000 4194304 5970956 140730642152288 140730642149624 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112555 105984 793 434 0 105919 0 Current children cumulated CPU time (s) 2081.35 Current children cumulated vsize (KiB) 450220 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 10787 /proc/meminfo: memFree=30670728/32770624 swapFree=6164/838916 [pid=10701] ppid=10698 vsize=450404 CPUtime=2141.32 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 767288 0 0 0 214076 56 0 0 20 0 1 0 17286141 461213696 105987 33554432000 4194304 5970956 140730642152288 140730642149256 4934651 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112601 105987 793 434 0 105965 0 Current children cumulated CPU time (s) 2141.32 Current children cumulated vsize (KiB) 450404 [startup+2202.31 s] /proc/loadavg: 2.05 2.03 2.03 3/187 10788 /proc/meminfo: memFree=30671036/32770624 swapFree=6164/838956 [pid=10701] ppid=10698 vsize=450404 CPUtime=2201.29 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 769321 0 0 0 220073 56 0 0 20 0 1 0 17286141 461213696 105994 33554432000 4194304 5970956 140730642152288 140730642149624 5136799 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112601 105994 793 434 0 105965 0 Current children cumulated CPU time (s) 2201.29 Current children cumulated vsize (KiB) 450404 [startup+2262.3 s] /proc/loadavg: 2.02 2.02 2.03 3/187 10789 /proc/meminfo: memFree=30671160/32770624 swapFree=6164/839012 [pid=10701] ppid=10698 vsize=450404 CPUtime=2261.25 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 770666 0 0 0 226069 56 0 0 20 0 1 0 17286141 461213696 106012 33554432000 4194304 5970956 140730642152288 140730642149624 4934864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112601 106012 793 434 0 105965 0 Current children cumulated CPU time (s) 2261.25 Current children cumulated vsize (KiB) 450404 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.04 3/187 10790 /proc/meminfo: memFree=30670904/32770624 swapFree=6164/839052 [pid=10701] ppid=10698 vsize=450404 CPUtime=2321.22 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 772263 0 0 0 232066 56 0 0 20 0 1 0 17286141 461213696 106061 33554432000 4194304 5970956 140730642152288 140730642149624 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112601 106061 793 434 0 105965 0 Current children cumulated CPU time (s) 2321.22 Current children cumulated vsize (KiB) 450404 [startup+2382.3 s] /proc/loadavg: 2.02 2.03 2.04 3/187 10798 /proc/meminfo: memFree=30669456/32770624 swapFree=6164/839092 [pid=10701] ppid=10698 vsize=450404 CPUtime=2381.19 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 773579 0 0 0 238062 57 0 0 20 0 1 0 17286141 461213696 106063 33554432000 4194304 5970956 140730642152288 140730642149624 5136623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112601 106063 793 434 0 105965 0 Current children cumulated CPU time (s) 2381.19 Current children cumulated vsize (KiB) 450404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.2 s] /proc/loadavg: 2.01 2.02 2.04 3/187 10859 /proc/meminfo: memFree=30628740/32770624 swapFree=6164/839144 [pid=10701] ppid=10698 vsize=450404 CPUtime=2400.08 cores=0,2,4,6 /proc/10701/stat : 10701 (cosoco) R 10698 10701 3831 0 -1 4202496 773978 0 0 0 239951 57 0 0 20 0 1 0 17286141 461213696 106073 33554432000 4194304 5970956 140730642152288 140730642149624 5045304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11558912 140730642154684 140730642154819 140730642154819 140730642157518 0 /proc/10701/statm: 112601 106073 793 434 0 105965 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 450404 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 10701 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2401.2 CPU time (s): 2400.09 CPU user time (s): 2399.52 CPU system time (s): 0.572742 CPU usage (%): 99.9537 Max. virtual memory (cumulated for all children) (KiB): 450404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.52 system time used= 0.572742 maximum resident set size= 424336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 774004 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= 53 involuntary context switches= 123213 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.00375 second user time and 9.97305 second system time The end
Begin job on node139 at 2017-07-21 14:00:53 IDJOB=4240539 IDBENCH=123121 IDSOLVER=2621 FILE ID=node139/4240539-1500638453 RUNJOBID= node139-1500636024-10228 PBS_JOBID= 20622994 Free space on /tmp= 61996 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240539-1500638453/watcher-4240539-1500638453 -o /tmp/evaluation-result-4240539-1500638453/solver-4240539-1500638453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500636024-10228 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240539-1500638453.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d RANDOM SEED=1816274379 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 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 : 2667.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.86 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 : 1600.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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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 : 1600.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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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: 31105736 kB MemAvailable: 32005116 kB Buffers: 163712 kB Cached: 1013744 kB SwapCached: 0 kB Active: 395856 kB Inactive: 845752 kB Active(anon): 66428 kB Inactive(anon): 8884 kB Active(file): 329428 kB Inactive(file): 836868 kB Unevictable: 6164 kB Mlocked: 6164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2180 kB Writeback: 0 kB AnonPages: 69660 kB Mapped: 34196 kB Shmem: 8852 kB Slab: 123184 kB SReclaimable: 97840 kB SUnreclaim: 25344 kB KernelStack: 3360 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 337524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61992 MiB End job on node139 at 2017-07-21 14:40:54