0.34/0.50	c SAT : Variables: 59049 -- Clauses: 452790
0.34/0.51	c best=?? lower=-194400 upper=0 
2.72/2.88	c
2.72/2.88	c This is cosoco 1.12 --  
2.72/2.88	c
2.72/2.88	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265799-1502571076.xml 
2.72/2.88	c enable optimization
2.72/2.88	c ========================================[ Problem Statistics ]===========================================
2.72/2.88	c |                                                                                                       
2.72/2.88	c |  Parse time        :         0.35 s 
2.72/2.88	c |
2.72/2.88	c |               Variables: 6642
2.72/2.88	c |            Domain Sizes: 8..81
2.72/2.88	c |
2.72/2.88	c |             Constraints: 3242
2.72/2.88	c |                   Arity: 3..3240  -- Ternary: 3240
2.72/2.88	c | 
2.72/2.88	c |                   Types: 
2.72/2.88	c |                          All Different: 1
2.72/2.88	c |                          Extension: 3240  (nb tuples: 6480..6480) -- (shared: 3239)
2.72/2.88	c |                          Sum: 1
2.72/2.88	c |                          
2.72/2.88	c =========================================================================================================
2.72/2.88	conflict 159lvl : 3241 bt3241-112:0(7142)X1863729
12.22/12.36	o -53885
12.22/12.36	c    1 calls to solver: best=-53885 lower=-53884 upper=0 
21.03/21.16	o -53834
26.03/26.12	conflict 159lvl : 82 bt82-877:0(4212)X1919039
38.61/38.77	conflict 159lvl : 3210 bt3210-3674:0(8260)X1929530
40.81/40.97	conflict 159lvl : 79 bt79-5413:0(4208)X1994194
42.41/42.56	conflict 159lvl : 82 bt82-241:0(4214)X1995361
53.40/53.56	conflict 159lvl : 391 bt391-2348:0(7882)X2033020
53.60/53.77	conflict 159lvl : 392 bt392-6395:0(8189)X2033182
71.59/71.72	conflict 236lvl : 89 bt89-723:0(4270)X2046669
74.39/74.58	conflict 316lvl : 3241 bt3241246:0(7372)X2048288
74.59/74.79	conflict 236lvl : 3241 bt3241-101:0(8390)X2048607
107.59/107.79	conflict 159lvl : 82 bt82-3337:0(4211)X2123067
110.59/110.71	conflict 159lvl : 3241 bt3241-157:0(7298)X2124620
119.79/120.00	conflict 159lvl : 3241 bt3241-134:0(7142)X2163192
149.17/149.31	conflict 159lvl : 126 bt126-3538:0(4309)X2223466
151.08/151.26	conflict 159lvl : 79 bt79-5417:0(4238)X2224754
153.89/154.07	conflict 159lvl : 3241 bt3241-113:0(8000)X2226186
154.08/154.27	conflict 236lvl : 3241 bt3241-138:0(7376)X2226348
154.48/154.61	conflict 237lvl : 3240 bt3240246:0(7110)X2226587
156.08/156.28	conflict 159lvl : 80 bt80-1235:0(4210)X2246285
158.89/159.07	conflict 235lvl : 3241 bt3241-69:0(7142)X2247728
168.18/168.31	o -53702
168.18/168.31	c    3 calls to solver: best=-53702 lower=-53701 upper=0 
170.78/170.92	conflict 159lvl : 3241 bt3241-150:0(7095)X2283650
181.27/181.45	conflict 159lvl : 85 bt85-3978:0(4214)X2312183
182.67/182.88	conflict 159lvl : 127 bt127-3069:0(4325)X2312627
193.37/193.51	conflict 159lvl : 85 bt85-1259:0(4218)X2322172
196.17/196.35	conflict 159lvl : 3241 bt3241-150:0(7095)X2323670
197.88/198.03	conflict 236lvl : 80 bt80-311:0(4209)X2359516
200.67/200.81	conflict 235lvl : 3241 bt3241-68:0(7093)X2361036
210.98/211.16	conflict 159lvl : 87 bt87-3339:0(4238)X2405753
213.77/214.00	conflict 394lvl : 3241 bt3241166:0(7096)X2407341
215.47/215.67	conflict 159lvl : 79 bt79-1250:0(4208)X2443422
218.27/218.46	conflict 159lvl : 3241 bt3241-166:0(7094)X2444854
228.57/228.75	conflict 159lvl : 85 bt85-5543:0(4213)X2493422
231.37/231.54	conflict 546lvl : 3241 bt3241246:0(7083)X2494920
241.67/241.81	conflict 159lvl : 86 bt86-557:0(4215)X2522299
273.46/273.64	conflict 159lvl : 88 bt88-1551:0(4239)X2596140
284.36/284.59	conflict 236lvl : 87 bt87-1002:0(4215)X2609620
300.66/300.82	conflict 159lvl : 87 bt87-647:0(4221)X2659166
309.76/309.95	o -53628
314.06/314.21	conflict 159lvl : 87 bt87-2474:0(4216)X2673886
315.46/315.69	conflict 159lvl : 130 bt130-3411:0(4321)X2674235
315.56/315.72	conflict 236lvl : 131 bt131-5554:0(4195)X2674397
315.56/315.73	conflict 159lvl : 130 bt130-6188:0(4300)X2674636
315.56/315.76	conflict 159lvl : 130 bt130-6175:0(4284)X2674798
315.56/315.78	conflict 159lvl : 130 bt130-6188:0(4263)X2674960
315.66/315.80	conflict 236lvl : 130 bt130-6431:0(4257)X2675122
315.66/315.89	conflict 159lvl : 133 bt133-6220:0(4233)X2675361
317.65/317.82	conflict 159lvl : 116 bt116-1876:0(4475)X2676813
317.75/317.91	conflict 159lvl : 119 bt116-5106:0(4479)X2676975
326.25/326.47	o -53468
326.25/326.47	c    5 calls to solver: best=-53468 lower=-53467 upper=0 
357.35/357.53	o -53227
370.35/370.59	conflict 159lvl : 91 bt91-715:0(4231)X2770449
385.64/385.83	conflict 236lvl : 232 bt232-2606:0(4502)X2820243
387.44/387.65	conflict 159lvl : 86 bt86-6108:0(4245)X2822630
410.14/410.36	conflict 236lvl : 91 bt91-5254:0(4218)X2902794
428.44/428.62	conflict 236lvl : 90 bt90-4937:0(4220)X2924937
430.43/430.61	conflict 312lvl : 87 bt87-5425:0(4246)X2926834
434.94/435.17	conflict 314lvl : 98 bt98-5869:0(4235)X2964414
445.63/445.89	conflict 159lvl : 109 bt109-2045:0(4335)X2973397
445.73/445.98	conflict 159lvl : 112 bt109-667:0(4424)X2973559
447.73/447.90	conflict 159lvl : 99 bt99-28:0(4280)X2976338
447.73/447.94	conflict 159lvl : 102 bt99-395:0(4296)X2976500
471.33/471.58	conflict 312lvl : 100 bt100-5182:0(4261)X3002601
473.43/473.66	conflict 159lvl : 89 bt89-5337:0(4259)X3005964
487.32/487.56	o -53211
487.32/487.56	c    7 calls to solver: best=-53211 lower=-53210 upper=0 
491.63/491.80	conflict 159lvl : 95 bt95-1888:0(4235)X3043364
505.73/505.97	conflict 159lvl : 136 bt136-506:0(4311)X3092895
506.23/506.40	conflict 159lvl : 165 bt163-2582:0(6599)X3093057
506.23/506.43	conflict 237lvl : 162 bt1625439:0(6207)X3093219
508.03/508.21	conflict 159lvl : 90 bt90-1047:0(4260)X3094565
528.62/528.83	conflict 236lvl : 88 bt88-1592:0(4216)X3147807
532.52/532.79	conflict 159lvl : 159 bt153-2605:0(5138)X3151000
544.52/544.72	conflict 159lvl : 140 bt140-5459:0(4332)X3165019
544.52/544.75	conflict 236lvl : 141 bt141-388:0(4212)X3165181
544.52/544.77	conflict 314lvl : 140 bt140-5615:0(4352)X3165420
544.62/544.80	conflict 159lvl : 140 bt140-5650:0(4354)X3165737
544.62/544.83	conflict 159lvl : 140 bt140-5661:0(4320)X3165899
544.62/544.86	conflict 159lvl : 140 bt140-396:0(4294)X3166061
544.72/544.94	conflict 159lvl : 143 bt143-371:0(4243)X3166223
546.62/546.88	conflict 159lvl : 81 bt81-2523:0(4239)X3168225
569.83/570.01	conflict 159lvl : 97 bt97-2579:0(4227)X3247305
572.02/572.20	conflict 312lvl : 94 bt94-5982:0(4253)X3250281
587.31/587.58	conflict 159lvl : 101 bt101-2680:0(4232)X3260255
589.51/589.73	conflict 159lvl : 80 bt80-3509:0(4239)X3262545
602.71/602.94	conflict 159lvl : 98 bt98-2212:0(4254)X3311399
603.31/603.54	conflict 236lvl : 198 bt198-1883:0(7365)X3311561
604.92/605.11	conflict 159lvl : 91 bt91-3583:0(4250)X3313710
615.01/615.26	conflict 159lvl : 107 bt107-450:0(4254)X3325563
615.01/615.29	conflict 236lvl : 108 bt108-2881:0(4177)X3325725
615.11/615.32	conflict 159lvl : 107 bt107-3772:0(4265)X3325964
615.11/615.34	conflict 159lvl : 107 bt107-3745:0(4251)X3326126
615.11/615.36	conflict 159lvl : 107 bt107-3801:0(4230)X3326288
615.11/615.38	conflict 393lvl : 107 bt1074717:0(4192)X3326450
615.21/615.48	conflict 159lvl : 110 bt110-2840:0(4469)X3326846
617.41/617.62	conflict 236lvl : 94 bt94-4549:0(4264)X3330858
621.81/622.10	conflict 159lvl : 80 bt80-808:0(4209)X3368358
642.40/642.63	conflict 159lvl : 114 bt114-5943:0(4284)X3422729
642.40/642.67	conflict 236lvl : 115 bt115-2800:0(4202)X3422891
642.50/642.71	conflict 314lvl : 114 bt114-4186:0(4280)X3423130
642.50/642.73	conflict 159lvl : 114 bt114-4150:0(4214)X3423447
642.50/642.75	conflict 159lvl : 114 bt114-2773:0(4204)X3423609
642.60/642.88	conflict 159lvl : 117 bt117-2759:0(4572)X3423771
644.40/644.61	conflict 236lvl : 91 bt91-2809:0(4194)X3425012
645.91/646.14	conflict 236lvl : 122 bt122-5940:0(4501)X3425547
656.92/657.18	conflict 236lvl : 100 bt100-4927:0(4241)X3435250
658.81/659.01	conflict 159lvl : 80 bt80-4888:0(4236)X3436584
670.70/670.90	conflict 159lvl : 118 bt118-5988:0(4267)X3478741
670.70/670.94	conflict 236lvl : 119 bt119-1585:0(4191)X3478903
670.70/670.97	conflict 236lvl : 118 bt118-5725:0(4292)X3479142
670.70/670.99	conflict 159lvl : 118 bt118-5689:0(4244)X3479381
670.81/671.02	conflict 159lvl : 118 bt118-5745:0(4250)X3479543
670.81/671.04	conflict 236lvl : 118 bt118-1614:0(4194)X3479705
670.91/671.14	conflict 159lvl : 121 bt121-1544:0(4346)X3479944
673.00/673.21	conflict 312lvl : 86 bt86-3576:0(4245)X3483415
686.20/686.49	conflict 394lvl : 104 bt1043573:0(4217)X3534597
688.40/688.60	conflict 236lvl : 84 bt84-5494:0(4225)X3538239
700.40/700.68	conflict 389lvl : 92 bt92-2907:0(4221)X3550668
705.00/705.28	conflict 159lvl : 80 bt80-5053:0(4209)X3588385
718.10/718.40	conflict 159lvl : 93 bt93-743:0(4244)X3634297
722.70/722.90	conflict 159lvl : 79 bt79-2748:0(4208)X3671569
753.99/754.27	conflict 159lvl : 96 bt96-1444:0(4236)X3769589
762.80/763.07	o -52699
783.99/784.25	conflict 159lvl : 89 bt89-6493:0(4214)X3828422
815.68/815.91	conflict 236lvl : 101 bt101-6089:0(4246)X3934688
817.68/817.96	conflict 159lvl : 92 bt92-116:0(4262)X3936577
822.18/822.49	conflict 236lvl : 80 bt80-160:0(4209)X3973851
835.28/835.58	conflict 159lvl : 97 bt97-4791:0(4247)X4017370
846.08/846.36	conflict 236lvl : 99 bt99-15:0(4255)X4025015
859.47/859.75	conflict 390lvl : 104 bt104-1251:0(4260)X4042012
859.57/859.84	conflict 159lvl : 107 bt107-5626:0(4270)X4042405
861.57/861.81	conflict 159lvl : 80 bt80-435:0(4239)X4045005
865.78/866.06	conflict 236lvl : 79 bt79-4647:0(4208)X4049692
878.88/879.19	conflict 159lvl : 100 bt100-1261:0(4240)X4100973
889.07/889.33	conflict 236lvl : 122 bt122-53:0(4321)X4114441
891.17/891.48	conflict 312lvl : 92 bt92-971:0(4258)X4117867
903.56/903.80	conflict 159lvl : 102 bt102-3913:0(4304)X4161471
903.56/903.83	conflict 236lvl : 103 bt103-1684:0(4178)X4161633
903.56/903.86	conflict 159lvl : 102 bt102-1936:0(4210)X4161872
903.56/903.88	conflict 159lvl : 102 bt102-3826:0(4252)X4162034
903.66/903.91	conflict 159lvl : 102 bt102-1882:0(4240)X4162196
903.66/903.94	conflict 392lvl : 102 bt102-3891:0(4225)X4162358
903.77/904.03	conflict 236lvl : 105 bt105-1625:0(4577)X4162753
905.77/906.04	conflict 159lvl : 92 bt92-6557:0(4251)X4165659
918.46/918.74	conflict 159lvl : 99 bt99-1171:0(4342)X4207781
918.77/919.05	conflict 159lvl : 119 bt119-3961:0(5393)X4207943
918.77/919.09	conflict 159lvl : 119 bt119-3907:0(5401)X4208105
918.87/919.14	conflict 159lvl : 119 bt118-4285:0(5398)X4208267
927.87/928.17	conflict 159lvl : 99 bt99-550:0(4269)X4222668
930.06/930.38	conflict 159lvl : 88 bt88-2362:0(4216)X4225560
946.36/946.64	conflict 236lvl : 101 bt101-2700:0(4240)X4277408
967.26/967.57	conflict 312lvl : 86 bt86-1066:0(4259)X4336857
967.36/967.66	conflict 159lvl : 89 bt86-5106:0(4327)X4337172
970.06/970.39	conflict 159lvl : 3241 bt3241-5240:0(3788)X4339018
988.15/988.44	conflict 236lvl : 114 bt114-320:0(4310)X4395816
989.55/989.86	conflict 159lvl : 96 bt96-5116:0(4294)X4396419
991.55/991.81	conflict 236lvl : 86 bt86-4453:0(4216)X4398416
995.95/996.28	conflict 159lvl : 86 bt86-4832:0(4215)X4435686
1008.96/1009.23	conflict 236lvl : 86 bt86-1150:0(4226)X4482508
1019.66/1019.95	conflict 389lvl : 112 bt112-5819:0(4275)X4493123
1024.16/1024.47	conflict 390lvl : 90 bt90-2870:0(4219)X4530887
1036.16/1036.46	conflict 236lvl : 86 bt86-3672:0(4245)X4574550
1038.16/1038.44	conflict 236lvl : 93 bt93-5222:0(4263)X4576409
1038.56/1038.89	conflict 159lvl : 146 bt137-6170:0(6253)X4576648
1040.26/1040.57	conflict 159lvl : 88 bt88-3844:0(4258)X4578794
1069.15/1069.42	conflict 236lvl : 110 bt110-3675:0(4239)X4634571
1080.05/1080.31	conflict 312lvl : 86 bt86-1159:0(4215)X4646017
1081.95/1082.25	conflict 312lvl : 81 bt81-3270:0(4211)X4647903
1086.45/1086.71	conflict 236lvl : 87 bt87-3751:0(4217)X4685194
1097.25/1097.53	conflict 236lvl : 113 bt113-2888:0(4282)X4696903
1097.86/1098.12	conflict 159lvl : 187 bt187-1949:0(7331)X4697142
1097.86/1098.14	conflict 312lvl : 186 bt186-6499:0(7383)X4697304
1097.86/1098.18	conflict 159lvl : 187 bt187-2021:0(7338)X4697619
1097.86/1098.18	conflict 618lvl : 186 bt114-1984:0(7308)X4697781
1099.76/1100.05	conflict 236lvl : 91 bt91-714:0(4244)X4700381
1119.86/1120.19	conflict 236lvl : 132 bt132-3118:0(4355)X4749472
1119.95/1120.23	conflict 159lvl : 133 bt133-1949:0(4236)X4749711
1119.95/1120.26	conflict 159lvl : 132 bt132-3416:0(4347)X4749873
1119.95/1120.28	conflict 159lvl : 132 bt132-3463:0(4289)X4750035
1120.05/1120.31	conflict 159lvl : 132 bt132-2005:0(4306)X4750197
1120.15/1120.42	conflict 236lvl : 133 bt133-4195:0(4459)X4750359
1120.15/1120.44	conflict 236lvl : 132 bt132-4144:0(4302)X4750598
1120.15/1120.48	conflict 159lvl : 133 bt133-2016:0(4216)X4750837
1120.25/1120.50	conflict 393lvl : 132 bt1322005:0(4258)X4750999
1120.35/1120.67	conflict 389lvl : 136 bt136-3133:0(5080)X4751395
1122.15/1122.40	conflict 236lvl : 123 bt123-854:0(4336)X4753293
1124.05/1124.39	conflict 159lvl : 99 bt99-5841:0(4269)X4755180
1128.64/1128.93	conflict 159lvl : 88 bt88-5130:0(4262)X4792506
1128.75/1129.06	conflict 159lvl : 90 bt90-6555:0(4759)X4792668
1138.34/1138.62	conflict 236lvl : 138 bt138-2234:0(4311)X4802367
1140.44/1140.72	conflict 159lvl : 120 bt120-3995:0(4345)X4803835
1151.34/1151.69	conflict 312lvl : 126 bt126-863:0(4255)X4813563
1153.54/1153.82	conflict 235lvl : 93 bt93-6476:0(4274)X4814994
1166.64/1166.91	conflict 312lvl : 86 bt86-2860:0(4222)X4861177
1171.04/1171.38	conflict 236lvl : 89 bt89-1039:0(4220)X4898513
1183.85/1184.20	conflict 236lvl : 130 bt130-349:0(4405)X4942698
1186.04/1186.33	conflict 159lvl : 92 bt92-1240:0(4452)X4944285
1194.75/1195.06	conflict 312lvl : 111 bt111-401:0(4269)X4952495
1206.85/1207.18	conflict 236lvl : 167 bt167-4661:0(4397)X4962073
1220.04/1220.34	conflict 312lvl : 119 bt119-5340:0(4258)X5008013
1222.14/1222.40	conflict 159lvl : 84 bt84-5333:0(4243)X5011044
1235.24/1235.52	conflict 159lvl : 96 bt96-595:0(4225)X5057010
1237.44/1237.71	conflict 236lvl : 101 bt101-3481:0(4282)X5059034
1239.64/1239.95	conflict 236lvl : 84 bt84-6203:0(4254)X5062119
1241.04/1241.38	conflict 159lvl : 113 bt113-1972:0(4272)X5062539
1251.85/1252.12	conflict 236lvl : 125 bt125-182:0(4366)X5073231
1252.24/1252.53	conflict 314lvl : 159 bt159-1132:0(5872)X5073470
1253.94/1254.22	conflict 312lvl : 93 bt93-6073:0(4221)X5075267
1256.04/1256.31	conflict 236lvl : 98 bt98-3413:0(4279)X5077719
1264.04/1264.39	conflict 236lvl : 160 bt160-2121:0(4340)X5089088
1266.24/1266.55	conflict 236lvl : 118 bt118-3826:0(4413)X5090576
1266.34/1266.65	conflict 159lvl : 121 bt118-327:0(4547)X5090815
1268.24/1268.59	conflict 387lvl : 98 bt98-3866:0(4336)X5092091
1268.34/1268.68	conflict 236lvl : 101 bt99-3891:0(4367)X5092481
1280.94/1281.29	conflict 312lvl : 120 bt120-2727:0(4273)X5106064
1281.24/1281.57	conflict 159lvl : 136 bt135-4573:0(5198)X5106379
1283.24/1283.50	conflict 236lvl : 91 bt91-6533:0(4219)X5109977
1287.04/1287.36	conflict 236lvl : 80 bt80-1004:0(4238)X5113865
1300.24/1300.50	conflict 312lvl : 115 bt115-6453:0(4242)X5159864
1302.14/1302.44	conflict 159lvl : 80 bt80-533:0(4239)X5161143
1315.24/1315.53	conflict 312lvl : 91 bt91-3051:0(4241)X5207065
1315.64/1315.90	conflict 159lvl : 119 bt118-878:0(5556)X5207380
1317.34/1317.68	conflict 236lvl : 105 bt105-585:0(4369)X5209763
1318.04/1318.30	conflict 548lvl : 207 bt106-3203:0(8579)X5210002
1319.74/1320.02	conflict 315lvl : 210 bt2104219:0(4489)X5211510
1319.94/1320.24	conflict 159lvl : 216 bt216-3196:0(5322)X5211828
1347.43/1347.79	conflict 236lvl : 117 bt117-1125:0(4330)X5283234
1347.53/1347.84	conflict 159lvl : 118 bt117-6559:0(4278)X5283473
1347.53/1347.88	conflict 159lvl : 117 bt117-396:0(4379)X5283635
1347.63/1347.91	conflict 237lvl : 117 bt1175845:0(4332)X5283797
1347.63/1347.95	conflict 159lvl : 117 bt117-6557:0(4299)X5284037
1347.63/1347.99	conflict 236lvl : 118 bt118-403:0(4260)X5284199
1347.74/1348.01	conflict 159lvl : 117 bt117-403:0(4279)X5284438
1347.84/1348.11	conflict 235lvl : 120 bt116-5850:0(4663)X5284600
1351.74/1352.06	conflict 389lvl : 118 bt118-6533:0(4239)X5288896
1376.33/1376.66	conflict 236lvl : 97 bt97-3904:0(4269)X5312614
1376.43/1376.76	conflict 237lvl : 100 bt100-145:0(4275)X5312853
1378.43/1378.72	conflict 236lvl : 81 bt81-5993:0(4240)X5315967
1382.84/1383.15	conflict 236lvl : 79 bt79-2975:0(4208)X5327230
1392.63/1392.99	conflict 312lvl : 131 bt131-598:0(4303)X5337226
1394.43/1394.79	conflict 312lvl : 79 bt79-4038:0(4208)X5338987
1398.93/1399.23	conflict 236lvl : 79 bt79-5867:0(4208)X5376256
1412.03/1412.34	conflict 236lvl : 125 bt125-254:0(4254)X5422035
1414.03/1414.31	conflict 312lvl : 79 bt79-3417:0(4237)X5424062
1434.83/1435.19	conflict 236lvl : 122 bt122-6154:0(4270)X5485654
1436.92/1437.22	conflict 159lvl : 80 bt80-4243:0(4239)X5488662
1441.42/1441.71	conflict 236lvl : 80 bt80-2726:0(4209)X5525861
1454.52/1454.83	conflict 312lvl : 127 bt127-5392:0(4253)X5575305
1456.52/1456.86	conflict 312lvl : 80 bt80-769:0(4238)X5577146
1469.73/1470.04	conflict 312lvl : 125 bt125-2282:0(4314)X5623221
1471.62/1471.90	conflict 312lvl : 82 bt82-6087:0(4240)X5625022
1484.62/1484.93	conflict 387lvl : 133 bt133-4501:0(4296)X5671119
1489.23/1489.58	conflict 236lvl : 79 bt79-5555:0(4207)X5708712
1502.42/1502.70	conflict 236lvl : 128 bt128-4360:0(4301)X5754698
1504.42/1504.75	conflict 159lvl : 84 bt84-2987:0(4254)X5756455
1508.83/1509.18	conflict 236lvl : 79 bt79-808:0(4207)X5793626
1522.02/1522.34	conflict 236lvl : 141 bt141-1640:0(4292)X5836656
1522.12/1522.44	conflict 237lvl : 144 bt144-3628:0(4357)X5836895
1523.73/1524.10	conflict 159lvl : 82 bt82-921:0(4211)X5838337
1536.12/1536.41	conflict 159lvl : 3241 bt3241-220:0(3788)X5876157
1568.32/1568.64	conflict 236lvl : 134 bt134-2688:0(4302)X5946524
1570.42/1570.70	conflict 236lvl : 91 bt91-2753:0(4259)X5948029
1570.83/1571.14	conflict 159lvl : 137 bt136-2503:0(6171)X5948268
1578.52/1578.82	conflict 312lvl : 151 bt151-3023:0(4300)X5958294
1578.62/1578.91	conflict 159lvl : 154 bt154-2467:0(4327)X5958609
1580.42/1580.75	conflict 159lvl : 79 bt79-4950:0(4237)X5960303
1593.52/1593.86	conflict 312lvl : 125 bt125-3844:0(4318)X6006214
1595.73/1596.05	conflict 312lvl : 100 bt100-6006:0(4234)X6008908
1596.02/1596.32	conflict 159lvl : 115 bt115-1576:0(5218)X6009223
1597.73/1598.01	conflict 312lvl : 87 bt87-4372:0(4254)X6010549
1610.72/1611.09	conflict 236lvl : 98 bt98-1470:0(4249)X6056921
1612.61/1612.92	conflict 314lvl : 80 bt80-738:0(4238)X6058583
1617.01/1617.36	conflict 390lvl : 80 bt80-6430:0(4208)X6095865
1646.72/1647.09	conflict 159lvl : 135 bt135-1618:0(4320)X6199288
1648.61/1649.00	conflict 312lvl : 82 bt82-4407:0(4244)X6200907
1661.82/1662.11	conflict 159lvl : 98 bt98-5214:0(4255)X6253922
1673.51/1673.81	conflict 389lvl : 140 bt140-775:0(4302)X6270167
1675.51/1675.82	conflict 159lvl : 89 bt89-657:0(4245)X6271833
1677.51/1677.83	conflict 159lvl : 88 bt88-3174:0(4247)X6273666
1690.51/1690.88	conflict 236lvl : 100 bt100-1062:0(4272)X6319686
1690.61/1690.93	conflict 236lvl : 101 bt100-1947:0(4240)X6319925
1690.61/1690.96	conflict 159lvl : 100 bt100-3845:0(4307)X6320164
1690.61/1690.98	conflict 237lvl : 100 bt1001957:0(4277)X6320326
1690.71/1691.01	conflict 159lvl : 100 bt100-6379:0(4241)X6320566
1690.71/1691.05	conflict 235lvl : 101 bt99-1981:0(4198)X6320728
1690.71/1691.07	conflict 159lvl : 99 bt99-6321:0(4158)X6320966
1690.82/1691.11	conflict 159lvl : 100 bt100-6355:0(4329)X6321128
1690.82/1691.16	conflict 159lvl : 100 bt100-6350:0(4189)X6321290
1690.91/1691.20	conflict 159lvl : 100 bt99-6355:0(4239)X6321452
1690.91/1691.22	conflict 159lvl : 99 bt99-1981:0(4179)X6321614
1690.91/1691.25	conflict 159lvl : 100 bt100-3851:0(4226)X6321776
1690.91/1691.28	conflict 389lvl : 100 bt100-6362:0(4218)X6321938
1691.01/1691.31	conflict 236lvl : 100 bt100-6355:0(4265)X6322330
1691.01/1691.33	conflict 159lvl : 100 bt100-6355:0(4243)X6322569
1691.01/1691.36	conflict 236lvl : 100 bt100-1981:0(4331)X6322731
1691.11/1691.41	conflict 159lvl : 100 bt100-1981:0(4271)X6322970
1691.11/1691.44	conflict 313lvl : 100 bt100-6362:0(4262)X6323132
1691.11/1691.47	conflict 159lvl : 100 bt100-6373:0(4174)X6323448
1691.11/1691.49	conflict 159lvl : 100 bt100-1981:0(4259)X6323610
1691.21/1691.53	conflict 159lvl : 100 bt100-6344:0(4323)X6323772
1691.21/1691.56	conflict 390lvl : 100 bt100-6355:0(4383)X6323934
1691.21/1691.58	conflict 159lvl : 100 bt100-6322:0(4249)X6324327
1692.51/1692.89	conflict 236lvl : 82 bt82-6348:0(4240)X6327059
1705.71/1706.01	conflict 236lvl : 142 bt142-33:0(4315)X6376783
1706.21/1706.56	conflict 159lvl : 231 bt175-2491:0(7695)X6377022
1716.81/1717.13	conflict 159lvl : 141 bt141-6424:0(4273)X6386934
1718.20/1718.53	conflict 236lvl : 80 bt80-910:0(4238)X6387389
1722.60/1723.01	conflict 390lvl : 80 bt80-2347:0(4209)X6424432
1742.10/1742.45	conflict 392lvl : 140 bt140-370:0(4227)X6481318
1742.20/1742.59	conflict 236lvl : 142 bt142-329:0(4666)X6481713
1746.40/1746.73	conflict 235lvl : 79 bt79-4978:0(4208)X6519371
1759.50/1759.86	conflict 312lvl : 129 bt129-795:0(4271)X6565358
1761.40/1761.78	conflict 312lvl : 121 bt121-3032:0(4355)X6565948
1761.90/1762.25	conflict 159lvl : 173 bt172-4313:0(6275)X6566263
1763.60/1763.95	conflict 236lvl : 180 bt180-1367:0(4426)X6568112
1763.71/1764.01	conflict 461lvl : 181 bt181-2008:0(4316)X6568351
1763.71/1764.05	conflict 236lvl : 180 bt180-307:0(4455)X6568815
1763.71/1764.08	conflict 159lvl : 180 bt180-1982:0(4393)X6569054
1763.81/1764.12	conflict 159lvl : 180 bt180-1957:0(4393)X6569216
1763.81/1764.15	conflict 237lvl : 180 bt1806106:0(4372)X6569378
1763.90/1764.27	conflict 159lvl : 183 bt183-307:0(4432)X6569618
1775.00/1775.34	conflict 236lvl : 105 bt105-3853:0(4278)X6580678
1776.90/1777.28	conflict 236lvl : 86 bt86-5912:0(4245)X6582600
1778.90/1779.21	conflict 235lvl : 93 bt93-466:0(4282)X6584374
1779.30/1779.63	conflict 159lvl : 136 bt135-830:0(6214)X6584612
1781.00/1781.38	conflict 236lvl : 190 bt190-11:0(4333)X6587302
1791.20/1791.51	conflict 236lvl : 96 bt96-53:0(4211)X6599512
1792.99/1793.37	conflict 312lvl : 83 bt83-1600:0(4212)X6601168
1815.09/1815.47	conflict 312lvl : 147 bt147-4971:0(4405)X6658856
1824.99/1825.31	conflict 159lvl : 107 bt107-343:0(4291)X6671161
1824.99/1825.36	conflict 236lvl : 108 bt107-3862:0(4197)X6671323
1825.09/1825.40	conflict 159lvl : 107 bt107-5116:0(4298)X6671562
1825.09/1825.42	conflict 236lvl : 107 bt107-5116:0(4268)X6671724
1825.19/1825.50	conflict 235lvl : 107 bt106-5107:0(4458)X6671963
1825.19/1825.54	conflict 159lvl : 106 bt106-1066:0(4271)X6672201
1825.19/1825.57	conflict 159lvl : 106 bt106-6356:0(4118)X6672363
1825.29/1825.60	conflict 159lvl : 106 bt106-6337:0(4212)X6672525
1825.29/1825.64	conflict 159lvl : 106 bt106-355:0(4232)X6672687
1825.29/1825.68	conflict 316lvl : 107 bt1075114:0(4226)X6672849
1825.39/1825.72	conflict 313lvl : 107 bt107-6353:0(4422)X6673168
1825.39/1825.76	conflict 236lvl : 107 bt107-359:0(4316)X6673484
1825.49/1825.80	conflict 159lvl : 107 bt107-393:0(4326)X6673723
1825.49/1825.84	conflict 235lvl : 107 bt107-6344:0(4441)X6673885
1825.49/1825.89	conflict 389lvl : 107 bt107-5183:0(4141)X6674123
1825.59/1825.92	conflict 235lvl : 107 bt107-350:0(4287)X6674515
1825.59/1825.98	conflict 312lvl : 107 bt107-3833:0(4174)X6674753
1825.70/1826.02	conflict 313lvl : 107 bt107-5118:0(4105)X6675068
1825.70/1826.05	conflict 313lvl : 107 bt107-5140:0(4115)X6675384
1825.80/1826.11	conflict 159lvl : 105 bt105-1065:0(4124)X6675700
1829.80/1830.11	conflict 312lvl : 84 bt84-1809:0(4213)X6711654
1838.99/1839.36	conflict 236lvl : 103 bt103-4161:0(4224)X6722551
1839.28/1839.66	conflict 159lvl : 118 bt117-5966:0(5640)X6722790
1841.19/1841.58	conflict 236lvl : 103 bt103-843:0(4262)X6726370
1843.19/1843.56	conflict 235lvl : 81 bt81-4166:0(4261)X6727308
1866.39/1866.79	conflict 312lvl : 106 bt106-4977:0(4287)X6785252
1868.29/1868.65	conflict 236lvl : 81 bt81-3312:0(4239)X6786972
1881.49/1881.85	conflict 236lvl : 102 bt102-6492:0(4237)X6833708
1890.49/1890.88	conflict 387lvl : 124 bt124-4867:0(4326)X6840969
1890.59/1890.92	conflict 159lvl : 125 bt125-3245:0(4203)X6841359
1890.59/1890.96	conflict 312lvl : 124 bt124-3284:0(4329)X6841521
1890.59/1890.98	conflict 159lvl : 124 bt124-3259:0(4299)X6841836
1890.69/1891.01	conflict 159lvl : 124 bt124-3253:0(4311)X6841998
1890.69/1891.04	conflict 237lvl : 124 bt1245770:0(4269)X6842160
1890.69/1891.09	conflict 236lvl : 124 bt124-5797:0(4272)X6842400
1890.80/1891.13	conflict 159lvl : 125 bt125-3312:0(4193)X6842639
1890.80/1891.15	conflict 236lvl : 124 bt124-5791:0(4301)X6842801
1890.99/1891.31	conflict 312lvl : 128 bt128-4897:0(5100)X6843040
1892.99/1893.34	conflict 159lvl : 101 bt101-1651:0(4207)X6844396
1901.69/1902.09	conflict 236lvl : 153 bt153-1535:0(4332)X6853196
1901.79/1902.14	conflict 159lvl : 154 bt154-4055:0(4264)X6853435
1901.79/1902.17	conflict 159lvl : 153 bt153-5845:0(4346)X6853597
1901.79/1902.19	conflict 159lvl : 153 bt153-5893:0(4325)X6853759
1901.88/1902.22	conflict 159lvl : 153 bt153-5845:0(4296)X6853921
1901.88/1902.24	conflict 237lvl : 153 bt1532530:0(4286)X6854083
1901.98/1902.31	conflict 159lvl : 153 bt153-5878:0(4278)X6854323
1901.98/1902.35	conflict 159lvl : 153 bt153-4121:0(4244)X6854485
1901.98/1902.36	conflict 235lvl : 152 bt152-5845:0(4313)X6854647
1902.08/1902.44	conflict 312lvl : 152 bt152-2522:0(4253)X6854885
1902.08/1902.48	conflict 159lvl : 152 bt152-2516:0(4138)X6855200
1902.18/1902.52	conflict 237lvl : 152 bt1523422:0(4132)X6855362
1902.28/1902.60	conflict 311lvl : 152 bt152-3440:0(4463)X6855602
1902.38/1902.71	conflict 237lvl : 155 bt1553463:0(4798)X6855916
1903.98/1904.34	conflict 236lvl : 93 bt93-2960:0(4263)X6857436
1905.69/1906.06	conflict 311lvl : 126 bt126-4869:0(4317)X6858611
1905.69/1906.10	conflict 236lvl : 127 bt127-2575:0(4304)X6858925
1905.79/1906.12	conflict 159lvl : 126 bt126-5839:0(4257)X6859164
1905.79/1906.15	conflict 386lvl : 126 bt126-1519:0(4285)X6859326
1905.79/1906.17	conflict 159lvl : 126 bt126-5893:0(4279)X6859715
1905.79/1906.19	conflict 159lvl : 126 bt126-5893:0(4223)X6859877
1905.88/1906.22	conflict 236lvl : 127 bt127-1495:0(4300)X6860039
1905.88/1906.24	conflict 316lvl : 126 bt1261471:0(4241)X6860278
1905.88/1906.27	conflict 159lvl : 127 bt127-2582:0(4397)X6860597
1905.88/1906.29	conflict 541lvl : 126 bt125-2575:0(4210)X6860759
1906.08/1906.44	conflict 159lvl : 130 bt128-1463:0(4940)X6861303
1908.08/1908.45	conflict 236lvl : 90 bt90-3745:0(4280)X6863275
1908.08/1908.49	conflict 236lvl : 93 bt93-1714:0(4287)X6863514
1939.98/1940.39	conflict 235lvl : 109 bt109-349:0(4259)X6930910
1940.08/1940.43	conflict 159lvl : 110 bt110-5189:0(4205)X6931148
1940.08/1940.46	conflict 236lvl : 109 bt109-4130:0(4310)X6931310
1940.08/1940.49	conflict 159lvl : 109 bt109-4111:0(4255)X6931549
1940.18/1940.51	conflict 159lvl : 109 bt109-4127:0(4269)X6931711
1940.18/1940.54	conflict 315lvl : 109 bt1095683:0(4256)X6931873
1940.28/1940.61	conflict 235lvl : 110 bt110-5695:0(4367)X6932191
1940.28/1940.62	conflict 312lvl : 109 bt108-5703:0(4240)X6932429
1940.28/1940.66	conflict 465lvl : 109 bt109-5248:0(4151)X6932744
1941.79/1942.14	conflict 312lvl : 82 bt82-4281:0(4233)X6934120
1955.07/1955.44	conflict 236lvl : 111 bt111-149:0(4244)X6980217
1956.87/1957.23	conflict 316lvl : 79 bt794462:0(4200)X6981789
1961.37/1961.71	conflict 236lvl : 82 bt82-5992:0(4210)X7019062
1974.37/1974.79	conflict 236lvl : 110 bt110-4696:0(4262)X7065083
1976.47/1976.85	conflict 312lvl : 90 bt90-3227:0(4249)X7066002
1989.68/1990.02	conflict 159lvl : 108 bt108-2753:0(4220)X7117442
2000.97/2001.32	conflict 312lvl : 109 bt109-5765:0(4237)X7128048
2002.87/2003.24	conflict 159lvl : 79 bt79-5951:0(4238)X7129956
2007.36/2007.71	conflict 236lvl : 82 bt82-296:0(4210)X7167072
2020.46/2020.81	conflict 159lvl : 149 bt149-5999:0(4496)X7216636
2020.46/2020.88	conflict 159lvl : 149 bt149-3892:0(4274)X7216798
2020.56/2020.96	conflict 159lvl : 149 bt149-3893:0(4331)X7216960
2020.77/2021.14	conflict 159lvl : 149 bt149-6060:0(4228)X7217122
2020.86/2021.22	conflict 159lvl : 149 bt149-3925:0(4395)X7217284
2042.16/2042.55	conflict 387lvl : 159 bt159-5366:0(4321)X7240286
2044.06/2044.40	conflict 390lvl : 87 bt87-472:0(4246)X7241361
2136.04/2136.40	conflict 236lvl : 114 bt114-431:0(4278)X7455043
2152.44/2152.88	conflict 236lvl : 92 bt92-887:0(4273)X7457012
2172.84/2173.21	conflict 312lvl : 105 bt105-2539:0(4252)X7478411
2186.94/2187.35	conflict 236lvl : 79 bt79-918:0(4238)X7486910
2196.75/2197.19	conflict 312lvl : 98 bt98-4616:0(4257)X7500324
2218.53/2218.93	conflict 236lvl : 144 bt144-1603:0(4369)X7536061
2269.82/2270.20	conflict 236lvl : 86 bt86-1201:0(4248)X7540343
2293.73/2294.17	conflict 389lvl : 131 bt131-2256:0(4282)X7585562
2353.31/2353.71	conflict 390lvl : 82 bt82-4321:0(4241)X7587862
2383.71/2384.14	conflict 312lvl : 107 bt107-3206:0(4236)X7612893
2417.10/2417.57	conflict 237lvl : 3241 bt3241-150:0(7325)X7621098
2417.30/2417.77	conflict 312lvl : 3241 bt3241-69:0(8381)X7621338
2417.50/2418.00	conflict 236lvl : 3241 bt3241-48:0(7298)X7621653
2417.80/2418.22	conflict 236lvl : 3241 bt3241-32:0(7142)X7621892
2418.00/2418.43	conflict 236lvl : 3241 bt3241-69:0(7986)X7622131
2418.20/2418.64	conflict 159lvl : 3241 bt3241-150:0(7371)X7622370
2418.90/2419.30	conflict 546lvl : 3240 bt3240246:0(7312)X7622532
2419.30/2419.73	conflict 159lvl : 3240 bt3240-129:0(7251)X7623081
2419.50/2419.93	conflict 159lvl : 3240 bt3240-113:0(7105)X7623243
2419.71/2420.14	conflict 159lvl : 3240 bt3240-150:0(7968)X7623405
2419.90/2420.34	conflict 312lvl : 3240 bt3240-69:0(7363)X7623567
2420.71/2421.19	conflict 312lvl : 3239 bt3239-32:0(8361)X7623882
2421.00/2421.41	conflict 159lvl : 3239 bt3239-129:0(7246)X7624197
2421.20/2421.62	conflict 159lvl : 3239 bt3239-113:0(7099)X7624359
2421.40/2421.82	conflict 392lvl : 3239 bt3239-231:0(7948)X7624521
2421.61/2422.02	conflict 237lvl : 3239 bt3239-194:0(7338)X7624916
2422.40/2422.88	conflict 549lvl : 3238 bt3238219:0(8359)X7625156
2422.61/2423.10	conflict 548lvl : 3238 bt3238238:0(7251)X7625708
2422.90/2423.31	conflict 391lvl : 3238 bt3238-194:0(7098)X7626259
2423.10/2423.51	conflict 159lvl : 3238 bt3238-150:0(7941)X7626653
2423.30/2423.71	conflict 625lvl : 3238 bt3238219:0(7332)X7626815
2424.10/2424.57	conflict 704lvl : 3237 bt3237169:0(8351)X7627443
2424.30/2424.79	conflict 469lvl : 3237 bt3237-238:0(7243)X7628150
2424.50/2425.00	conflict 159lvl : 3237 bt3237-113:0(7096)X7628622
2424.80/2425.20	conflict 315lvl : 3237 bt3237-150:0(7947)X7628784
2425.00/2425.40	conflict 702lvl : 3237 bt3237169:0(7326)X7629102
2425.80/2426.26	conflict 545lvl : 3236 bt3236-169:0(8311)X7629807
2426.00/2426.48	conflict 702lvl : 3236 bt3236245:0(7221)X7630355
2426.20/2426.69	conflict 237lvl : 3236 bt3236177:0(7093)X7631060
2426.40/2426.89	conflict 236lvl : 3236 bt3236-150:0(7943)X7631300
2426.61/2427.09	conflict 235lvl : 3236 bt3236-169:0(7307)X7631539
2427.90/2428.38	conflict 471lvl : 3235 bt3235-175:0(7086)X7631777
2428.10/2428.58	conflict 470lvl : 3235 bt3235194:0(7941)X7632251
2429.61/2430.07	conflict 625lvl : 3234 bt3234248:0(7083)X7632724
2429.80/2430.27	conflict 548lvl : 3234 bt3234194:0(7938)X7633352
2431.50/2431.96	conflict 469lvl : 3233 bt3233150:0(7933)X7633903
2433.20/2433.65	conflict 780lvl : 3232 bt3232247:0(7914)X7634375
2487.39/2487.88	conflict 236lvl : 113 bt113-917:0(4287)X7808174
2487.70/2488.15	conflict 236lvl : 128 bt128-4329:0(5308)X7808413
2519.59/2520.01	
2519.59/2520.01	c *** INTERRUPTED ***
2519.59/2520.01	c restarts              : 534         
2519.59/2520.01	c conflicts             : 28689        (11 /sec)
2519.59/2520.01	c decisions             : 1007073      (400 /sec)
2519.59/2520.01	c propagations          : 42293567    (16789 /sec)
2519.59/2520.01	c root propagations     : 82504       
2519.59/2520.01	c filter calls          : 97598698       (38744 /sec)
2519.59/2520.01	c useless filter calls  : 92216614       (94 %)
2519.59/2520.01	c
2519.59/2520.01	c clauses               : 457611
2519.59/2520.01	c SAT propagations      : 1250
2519.59/2520.01	c SAT conflicts         : 39 (464 learnts)
2519.59/2520.01	c Memory used           : 459.24 MB
2519.59/2520.01	c CPU time              : 2519.08 s
2519.59/2520.01	
2519.59/2520.01	c nb Solutions = 8
2519.59/2520.01	s SATISFIABLE
2519.59/2520.01	c Best value found: -52699
2519.59/2520.01	
2519.59/2520.01	
2519.59/2520.01	v <instantiation type='solution' cost='-52699'>
2519.59/2520.01	v <list>d[0][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[0][80] d[0][8] d[0][9] d[10][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[10][80] d[10][8] d[10][9] d[11][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[11][80] d[11][8] d[11][9] d[12][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[12][80] d[12][8] d[12][9] d[13][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[13][80] d[13][8] d[13][9] d[14][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[14][80] d[14][8] d[14][9] d[15][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[15][80] d[15][8] d[15][9] d[16][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[16][80] d[16][8] d[16][9] d[17][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[17][80] d[17][8] d[17][9] d[18][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[18][80] d[18][8] d[18][9] d[19][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[19][80] d[19][8] d[19][9] d[1][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[1][80] d[1][8] d[1][9] d[20][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[20][80] d[20][8] d[20][9] d[21][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[21][80] d[21][8] d[21][9] d[22][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[22][80] d[22][8] d[22][9] d[23][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[23][80] d[23][8] d[23][9] d[24][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[24][80] d[24][8] d[24][9] d[25][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[25][80] d[25][8] d[25][9] d[26][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[26][80] d[26][8] d[26][9] d[27][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[27][80] d[27][8] d[27][9] d[28][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[28][80] d[28][8] d[28][9] d[29][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[29][80] d[29][8] d[29][9] d[2][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[2][80] d[2][8] d[2][9] d[30][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[30][80] d[30][8] d[30][9] d[31][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[31][80] d[31][8] d[31][9] d[32][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[32][80] d[32][8] d[32][9] d[33][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[33][80] d[33][8] d[33][9] d[34][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[34][80] d[34][8] d[34][9] d[35][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[35][80] d[35][8] d[35][9] d[36][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[36][80] d[36][8] d[36][9] d[37][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[37][80] d[37][8] d[37][9] d[38][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[38][80] d[38][8] d[38][9] d[39][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[39][80] d[39][8] d[39][9] d[3][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[3][80] d[3][8] d[3][9] d[40][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[40][80] d[40][8] d[40][9] d[41][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[41][80] d[41][8] d[41][9] d[42][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[42][80] d[42][8] d[42][9] d[43][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[43][80] d[43][8] d[43][9] d[44][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[44][80] d[44][8] d[44][9] d[45][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[45][80] d[45][8] d[45][9] d[46][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[46][80] d[46][8] d[46][9] d[47][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[47][80] d[47][8] d[47][9] d[48][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[48][80] d[48][8] d[48][9] d[49][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[49][80] d[49][8] d[49][9] d[4][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[4][80] d[4][8] d[4][9] d[50][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[50][80] d[50][8] d[50][9] d[51][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[51][80] d[51][8] d[51][9] d[52][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[52][80] d[52][8] d[52][9] d[53][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[53][80] d[53][8] d[53][9] d[54][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[54][80] d[54][8] d[54][9] d[55][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[55][80] d[55][8] d[55][9] d[56][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[56][80] d[56][8] d[56][9] d[57][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[57][80] d[57][8] d[57][9] d[58][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[58][80] d[58][8] d[58][9] d[59][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[59][80] d[59][8] d[59][9] d[5][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[5][80] d[5][8] d[5][9] d[60][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[60][80] d[60][8] d[60][9] d[61][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[61][80] d[61][8] d[61][9] d[62][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[62][80] d[62][8] d[62][9] d[63][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[63][80] d[63][8] d[63][9] d[64][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[64][80] d[64][8] d[64][9] d[65][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[65][80] d[65][8] d[65][9] d[66][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[66][80] d[66][8] d[66][9] d[67][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[67][80] d[67][8] d[67][9] d[68][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[68][80] d[68][8] d[68][9] d[69][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[69][80] d[69][8] d[69][9] d[6][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[6][80] d[6][8] d[6][9] d[70][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[70][80] d[70][8] d[70][9] d[71][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[71][80] d[71][8] d[71][9] d[72][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[72][80] d[72][8] d[72][9] d[73][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[73][80] d[73][8] d[73][9] d[74][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[74][80] d[74][8] d[74][9] d[75][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[75][80] d[75][8] d[75][9] d[76][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[76][80] d[76][8] d[76][9] d[77][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[77][80] d[77][8] d[77][9] d[78][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[78][80] d[78][8] d[78][9] d[79][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[79][80] d[79][8] d[79][9] d[7][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[7][80] d[7][8] d[7][9] d[80][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[80][80] d[80][8] d[80][9] d[8][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[8][80] d[8][8] d[8][9] d[9][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[9][80] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[8] x[9] </list>
2519.59/2520.01	v <values>* 1 2 2 5 3 0 2 5 0 0 2 0 1 5 2 10 10 0 1 0 5 10 0 0 0 2 1 1 5 2 5 5 0 5 4 0 1 0 5 0 0 0 2 1 2 5 2 6 0 4 3 5 10 5 10 0 0 10 5 2 5 5 4 0 1 2 0 5 10 0 2 0 2 2 0 0 10 0 10 5 * * 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 * * * 4 4 4 2 1 5 0 5 2 5 * 2 4 0 0 2 0 1 0 0 0 0 5 4 0 10 0 2 1 4 5 10 0 5 6 0 5 1 0 5 0 1 0 0 2 0 2 2 2 2 0 5 0 0 5 0 10 1 1 5 2 0 2 5 0 10 5 0 6 0 5 1 2 2 0 2 0 0 0 4 * * * * * * * * * * * * * 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 * * * 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 10 4 5 0 0 2 0 1 1 2 2 3 1 0 2 3 1 0 1 0 0 10 0 0 1 1 1 1 0 1 0 2 1 1 1 0 5 0 1 0 0 0 5 5 2 0 1 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 * * * 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 2 0 5 1 10 2 4 4 2 4 5 2 5 3 2 1 1 0 2 10 2 0 1 5 0 2 0 2 1 2 2 0 0 1 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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 * * * 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 0 5 1 0 0 2 0 10 5 2 10 0 3 4 0 5 0 0 0 0 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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 * * * 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 0 2 2 4 3 2 2 2 0 5 0 3 5 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 * * * 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 1 2 2 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * 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 2 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 * 0 * 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 35 45 18 63 43 75 56 25 71 65 9 80 23 15 20 30 24 52 7 37 46 39 22 57 2 12 60 3 53 44 55 76 1 62 33 32 19 42 21 28 4 77 51 14 78 36 68 50 49 70 67 0 74 40 79 73 17 5 47 26 72 48 11 41 16 54 61 58 34 69 66 31 64 59 29 38 13 27 8 </values>
2519.59/2520.01	v </instantiation>
2519.59/2520.01	

OK	52699

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15058 MiB free)
  memory of node 1: 16384 MiB (15294 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265799-1502571076/watcher-4265799-1502571076 -o /tmp/evaluation-result-4265799-1502571076/solver-4265799-1502571076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265799-1502571076.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100196 s]*
/proc/loadavg: 1.99 2.03 2.02 3/185 8701
/proc/meminfo: memFree=31077548/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=33188 memory=9176 CPUtime=0.03 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 2495 0 0 0 3 0 0 0 20 0 1 0 156760423 33984512 2294 18446744073709551615 4194304 5972588 140731626193488 140731626190136 140689056766949 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 8297 2294 711 435 0 1660 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 33188 KiB
Current children cumulated memory: 9176 KiB

[startup+0.209764 s]*
/proc/loadavg: 1.99 2.03 2.02 3/185 8701
/proc/meminfo: memFree=31030628/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=94976 memory=71216 CPUtime=0.14 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 17949 0 0 0 12 2 0 0 20 0 1 0 156760423 97255424 17738 18446744073709551615 4194304 5972588 140731626193488 140731626190136 140689056815008 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 23744 17738 731 435 0 17107 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 94976 KiB
Current children cumulated memory: 71216 KiB

[startup+0.310012 s]*
/proc/loadavg: 1.99 2.03 2.02 3/185 8701
/proc/meminfo: memFree=30986856/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=121284 memory=97404 CPUtime=0.24 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 24570 0 0 0 21 3 0 0 20 0 1 0 156760423 124194816 24351 18446744073709551615 4194304 5972588 140731626193488 140731626190136 5404886 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 30321 24351 731 435 0 23684 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 121284 KiB
Current children cumulated memory: 97404 KiB

[startup+0.700435 s]
/proc/loadavg: 1.99 2.03 2.02 4/185 8701
/proc/meminfo: memFree=30790916/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=322828 memory=292892 CPUtime=0.62 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 72454 0 0 0 54 8 0 0 20 0 1 0 156760423 330575872 73223 18446744073709551615 4194304 5972588 140731626193488 140731626190344 4935456 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 80707 73223 766 435 0 74070 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 322828 KiB
Current children cumulated memory: 292892 KiB

[startup+1.50041 s]
/proc/loadavg: 1.99 2.03 2.02 3/185 8701
/proc/meminfo: memFree=30790832/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=326656 memory=296852 CPUtime=1.43 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 73440 0 0 0 134 9 0 0 20 0 1 0 156760423 334495744 74213 18446744073709551615 4194304 5972588 140731626193488 140731626190360 140689056766949 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 81664 74213 784 435 0 75027 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 326656 KiB
Current children cumulated memory: 296852 KiB

[startup+3.10976 s]
/proc/loadavg: 1.99 2.03 2.02 3/185 8701
/proc/meminfo: memFree=30704408/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=409696 memory=379692 CPUtime=3.03 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 142176 0 0 0 289 14 0 0 20 0 1 0 156760423 419528704 94923 18446744073709551615 4194304 5972588 140731626193488 140731626190408 4931727 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 102424 94923 790 435 0 95787 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 409696 KiB
Current children cumulated memory: 379692 KiB

[startup+6.30043 s]
/proc/loadavg: 2.00 2.03 2.02 3/185 8701
/proc/meminfo: memFree=30703936/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=409696 memory=379692 CPUtime=6.22 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 235385 0 0 0 603 19 0 0 20 0 1 0 156760423 419528704 94923 18446744073709551615 4194304 5972588 140731626193488 140731626190344 4935681 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 102424 94923 790 435 0 95787 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 409696 KiB
Current children cumulated memory: 379692 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.02 3/185 8701
/proc/meminfo: memFree=30696124/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=417836 memory=387616 CPUtime=12.62 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 298364 0 0 0 1240 22 0 0 20 0 1 0 156760423 427864064 96904 18446744073709551615 4194304 5972588 140731626193488 140731626180680 4935408 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 104459 96904 791 435 0 97822 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 417836 KiB
Current children cumulated memory: 387616 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.02 2/181 8745
/proc/meminfo: memFree=30698916/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=418680 memory=388568 CPUtime=25.42 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 393972 0 0 0 2514 28 0 0 20 0 1 0 156760423 428728320 97142 18446744073709551615 4194304 5972588 140731626193488 140731626190936 4935486 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 104670 97142 791 435 0 98033 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 418680 KiB
Current children cumulated memory: 388568 KiB

[startup+51.1099 s]
/proc/loadavg: 2.00 2.03 2.02 3/185 9192
/proc/meminfo: memFree=30690916/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=419516 memory=389924 CPUtime=51.01 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 508574 0 0 0 5066 35 0 0 20 0 1 0 156760423 429584384 97481 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4934287 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 104879 97481 791 435 0 98242 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 419516 KiB
Current children cumulated memory: 389924 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/185 9193
/proc/meminfo: memFree=30684892/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=425176 memory=395652 CPUtime=102.19 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 582663 0 0 0 10180 39 0 0 20 0 1 0 156760423 435380224 98913 18446744073709551615 4194304 5972588 140731626193488 140731626190344 4935463 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 106294 98913 792 435 0 99657 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 425176 KiB
Current children cumulated memory: 395652 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.02 6/198 9224
/proc/meminfo: memFree=30648980/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=427672 memory=398700 CPUtime=162.18 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 631003 0 0 0 16175 43 0 0 20 0 1 0 156760423 437936128 99675 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935502 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 106918 99675 792 435 0 100281 0
Current children cumulated CPU time: 162.18 s
Current children cumulated vsize: 427672 KiB
Current children cumulated memory: 398700 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 2.00 2.01 4/187 9332
/proc/meminfo: memFree=30656768/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=428668 memory=402172 CPUtime=222.17 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 656585 0 0 0 22172 45 0 0 20 0 1 0 156760423 438956032 100543 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935525 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 107167 100543 792 435 0 100530 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 428668 KiB
Current children cumulated memory: 402172 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/187 9334
/proc/meminfo: memFree=30655808/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=429004 memory=403040 CPUtime=282.16 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 667781 0 0 0 28170 46 0 0 20 0 1 0 156760423 439300096 100760 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5046437 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 107251 100760 792 435 0 100614 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 429004 KiB
Current children cumulated memory: 403040 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/186 9338
/proc/meminfo: memFree=30658936/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=429608 memory=403600 CPUtime=342.15 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 669159 0 0 0 34169 46 0 0 20 0 1 0 156760423 439918592 100900 18446744073709551615 4194304 5972588 140731626193488 140731626190344 4935471 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 107402 100900 792 435 0 100765 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 429608 KiB
Current children cumulated memory: 403600 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/186 9340
/proc/meminfo: memFree=30659820/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=430028 memory=404328 CPUtime=402.14 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 670931 0 0 0 40168 46 0 0 20 0 1 0 156760423 440348672 101082 18446744073709551615 4194304 5972588 140731626193488 140731626190232 4935596 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 107507 101082 792 435 0 100870 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 430028 KiB
Current children cumulated memory: 404328 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 9342
/proc/meminfo: memFree=30659196/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=437208 memory=404764 CPUtime=462.13 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 674444 0 0 0 46167 46 0 0 20 0 1 0 156760423 447700992 101191 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4931747 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 109302 101191 792 435 0 102665 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 437208 KiB
Current children cumulated memory: 404764 KiB


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

/proc/8700/statm: 112778 105133 792 435 0 106141 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 420532 KiB

[startup+1782.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/184 9446
/proc/meminfo: memFree=30641640/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451112 memory=422580 CPUtime=1782 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 718178 0 0 0 178149 51 0 0 20 0 1 0 156760423 461938688 105645 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935463 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112778 105645 792 435 0 106141 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 422580 KiB

[startup+1842.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/184 9448
/proc/meminfo: memFree=30640088/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451112 memory=422696 CPUtime=1841.99 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 719733 0 0 0 184147 52 0 0 20 0 1 0 156760423 461938688 105674 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935454 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112778 105674 792 435 0 106141 0
Current children cumulated CPU time: 1841.99 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 422696 KiB

[startup+1902.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 9451
/proc/meminfo: memFree=30639916/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451112 memory=422700 CPUtime=1901.98 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 720929 0 0 0 190146 52 0 0 20 0 1 0 156760423 461938688 105675 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4934289 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112778 105675 792 435 0 106141 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 422700 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 9454
/proc/meminfo: memFree=30638984/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451112 memory=424748 CPUtime=1961.97 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 722658 0 0 0 196145 52 0 0 20 0 1 0 156760423 461938688 106187 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5139312 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112778 106187 792 435 0 106141 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 424748 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 9470
/proc/meminfo: memFree=30633592/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451112 memory=424748 CPUtime=2021.96 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 723743 0 0 0 202144 52 0 0 20 0 1 0 156760423 461938688 106187 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935546 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112778 106187 792 435 0 106141 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 424748 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 9472
/proc/meminfo: memFree=30633952/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451112 memory=424768 CPUtime=2081.95 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 725320 0 0 0 208143 52 0 0 20 0 1 0 156760423 461938688 106192 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935463 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112778 106192 792 435 0 106141 0
Current children cumulated CPU time: 2081.95 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 424768 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 9474
/proc/meminfo: memFree=30636476/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451292 memory=424820 CPUtime=2141.94 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 726938 0 0 0 214142 52 0 0 20 0 1 0 156760423 462123008 106205 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935454 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112823 106205 792 435 0 106186 0
Current children cumulated CPU time: 2141.94 s
Current children cumulated vsize: 451292 KiB
Current children cumulated memory: 424820 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 9476
/proc/meminfo: memFree=30637156/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451292 memory=424820 CPUtime=2201.93 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 728208 0 0 0 220141 52 0 0 20 0 1 0 156760423 462123008 106205 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5048020 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112823 106205 792 435 0 106186 0
Current children cumulated CPU time: 2201.93 s
Current children cumulated vsize: 451292 KiB
Current children cumulated memory: 424820 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 9480
/proc/meminfo: memFree=30637140/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451292 memory=424960 CPUtime=2261.92 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 729655 0 0 0 226140 52 0 0 20 0 1 0 156760423 462123008 106240 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935596 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112823 106240 792 435 0 106186 0
Current children cumulated CPU time: 2261.92 s
Current children cumulated vsize: 451292 KiB
Current children cumulated memory: 424960 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 9482
/proc/meminfo: memFree=30637268/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451292 memory=425156 CPUtime=2321.91 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 731147 0 0 0 232139 52 0 0 20 0 1 0 156760423 462123008 106289 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5048508 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112823 106289 792 435 0 106186 0
Current children cumulated CPU time: 2321.91 s
Current children cumulated vsize: 451292 KiB
Current children cumulated memory: 425156 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 9485
/proc/meminfo: memFree=30637492/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451292 memory=425204 CPUtime=2381.9 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 732495 0 0 0 238138 52 0 0 20 0 1 0 156760423 462123008 106301 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5046284 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112823 106301 792 435 0 106186 0
Current children cumulated CPU time: 2381.9 s
Current children cumulated vsize: 451292 KiB
Current children cumulated memory: 425204 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 9487
/proc/meminfo: memFree=30637248/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=451292 memory=425364 CPUtime=2441.9 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 733435 0 0 0 244138 52 0 0 20 0 1 0 156760423 462123008 106341 18446744073709551615 4194304 5972588 140731626193488 140731626190712 4935463 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 112823 106341 792 435 0 106186 0
Current children cumulated CPU time: 2441.9 s
Current children cumulated vsize: 451292 KiB
Current children cumulated memory: 425364 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9489
/proc/meminfo: memFree=30636504/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=470260 memory=426076 CPUtime=2501.88 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 735430 0 0 0 250136 52 0 0 20 0 1 0 156760423 481546240 106519 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5139327 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 117565 106519 792 435 0 110928 0
Current children cumulated CPU time: 2501.88 s
Current children cumulated vsize: 470260 KiB
Current children cumulated memory: 426076 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 9490
/proc/meminfo: memFree=30636504/32770624 swapFree=67108860/67108860
[pid=8700] ppid=8697 vsize=470260 memory=426076 CPUtime=2519.59 cores=0,2,4,6
/proc/8700/stat : 8700 (cosoco) R 8697 8700 7084 0 -1 4202496 735446 0 0 0 251907 52 0 0 20 0 1 0 156760423 481546240 106519 18446744073709551615 4194304 5972588 140731626193488 140731626190712 5139324 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 13074432 140731626201540 140731626201640 140731626201640 140731626205134 0
/proc/8700/statm: 117565 106519 792 435 0 110928 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 470260 KiB
Current children cumulated memory: 426076 KiB

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

[startup+2520.01 s]
# the end of solver process 8700 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.08 s, system=0.533935 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.61
CPU user time (s): 2519.08
CPU system time (s): 0.533935
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 470260
Max. memory (cumulated for all children) (KiB): 426076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.08
system time used= 0.533935
maximum resident set size= 426152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735498
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= 57
involuntary context switches= 3555


# summary of solver processes directly reported to runsolver:
#   pid: 8700
#   total CPU time (s): 2519.61
#   total CPU user time (s): 2519.08
#   total CPU system time (s): 0.533935

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40074 second user time and 19.7881 second system time

The end

Begin job on node132 at 2017-08-12 22:36:52
IDJOB=4265799
IDBENCH=123121
IDSOLVER=2655
FILE ID=node132/4265799-1502571076
RUNJOBID= node132-1502565147-7148
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265799-1502571076/watcher-4265799-1502571076 -o /tmp/evaluation-result-4265799-1502571076/solver-4265799-1502571076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265799-1502571076.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=1598764240

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31081696 kB
MemAvailable:   31965136 kB
Buffers:          310600 kB
Cached:           881736 kB
SwapCached:            0 kB
Active:           724016 kB
Inactive:         528984 kB
Active(anon):      61464 kB
Inactive(anon):    49012 kB
Active(file):     662552 kB
Inactive(file):   479972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:         59992 kB
Mapped:            64516 kB
Shmem:             49852 kB
Slab:             140196 kB
SReclaimable:     113504 kB
SUnreclaim:        26692 kB
KernelStack:        3296 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node132 at 2017-08-12 23:18:52