0.00/0.00 c [picomus] WARNING: no output file given
0.00/0.00 c [picomus] p cnf 24841 70332
0.09/0.13 s UNSATISFIABLE
0.09/0.13 c [picomus] extracted core 1 of size 4055 out of 70332 (6%) after 0.1 sec
0.09/0.16 c [picomus] extracted core 2 of size 3878 out of 70332 (6%) after 0.2 sec
0.09/0.19 c [picomus] extracted core 3 of size 3855 out of 70332 (5%) after 0.2 sec
0.19/0.22 c [picomus] extracted core 4 of size 3643 out of 70332 (5%) after 0.2 sec
0.19/0.26 c [picomus] extracted core 5 of size 3608 out of 70332 (5%) after 0.3 sec
0.19/0.29 c [picomus] extracted core 6 of size 3495 out of 70332 (5%) after 0.3 sec
0.29/0.31 c [picomus] extracted core 7 of size 3425 out of 70332 (5%) after 0.3 sec
0.29/0.35 c [picomus] extracted core 8 of size 3422 out of 70332 (5%) after 0.3 sec
0.29/0.38 c [picomus] extracted core 9 of size 3422 out of 70332 (5%) after 0.4 sec
0.39/0.41 c [picomus] extracted core 10 of size 3422 out of 70332 (5%) after 0.4 sec
0.39/0.44 c [picomus] extracted core 11 of size 3422 out of 70332 (5%) after 0.4 sec
0.48/0.50 c [picomus] reduction 1 to 3295 out of 70332 (5%) after 0.5 sec
64.09/64.11 c [picomus] reduction 2 to 3293 out of 70332 (5%) after 64.1 sec
64.99/65.02 c [picomus] reduction 3 to 3289 out of 70332 (5%) after 65.0 sec
64.99/65.09 c [picomus] reduction 4 to 3284 out of 70332 (5%) after 65.1 sec
64.99/65.09 c [picomus] reduction 5 to 3282 out of 70332 (5%) after 65.1 sec
65.69/65.70 c [picomus] reduction 6 to 3280 out of 70332 (5%) after 65.7 sec
65.90/65.99 c [picomus] reduction 7 to 3278 out of 70332 (5%) after 66.0 sec
66.19/66.21 c [picomus] reduction 8 to 3277 out of 70332 (5%) after 66.2 sec
66.29/66.33 c [picomus] reduction 9 to 3275 out of 70332 (5%) after 66.3 sec
66.49/66.51 c [picomus] reduction 10 to 3257 out of 70332 (5%) after 66.5 sec
66.59/66.62 c [picomus] reduction 11 to 3255 out of 70332 (5%) after 66.6 sec
66.89/66.91 c [picomus] reduction 12 to 3253 out of 70332 (5%) after 66.9 sec
67.19/67.24 c [picomus] reduction 13 to 3251 out of 70332 (5%) after 67.2 sec
67.49/67.53 c [picomus] reduction 14 to 3249 out of 70332 (5%) after 67.5 sec
67.79/67.88 c [picomus] reduction 15 to 3247 out of 70332 (5%) after 67.9 sec
68.10/68.17 c [picomus] reduction 16 to 3245 out of 70332 (5%) after 68.2 sec
68.39/68.49 c [picomus] reduction 17 to 3243 out of 70332 (5%) after 68.5 sec
68.69/68.78 c [picomus] reduction 18 to 3241 out of 70332 (5%) after 68.8 sec
68.99/69.07 c [picomus] reduction 19 to 3239 out of 70332 (5%) after 69.1 sec
69.30/69.39 c [picomus] reduction 20 to 3237 out of 70332 (5%) after 69.4 sec
69.59/69.68 c [picomus] reduction 21 to 3235 out of 70332 (5%) after 69.7 sec
69.99/70.00 c [picomus] reduction 22 to 3233 out of 70332 (5%) after 70.0 sec
70.19/70.29 c [picomus] reduction 23 to 3231 out of 70332 (5%) after 70.3 sec
70.59/70.62 c [picomus] reduction 24 to 3229 out of 70332 (5%) after 70.6 sec
70.89/70.91 c [picomus] reduction 25 to 3227 out of 70332 (5%) after 70.9 sec
71.19/71.20 c [picomus] reduction 26 to 3225 out of 70332 (5%) after 71.2 sec
71.50/71.52 c [picomus] reduction 27 to 3223 out of 70332 (5%) after 71.5 sec
71.69/71.70 c [picomus] reduction 28 to 3222 out of 70332 (5%) after 71.7 sec
71.79/71.81 c [picomus] reduction 29 to 3220 out of 70332 (5%) after 71.8 sec
72.09/72.14 c [picomus] reduction 30 to 3218 out of 70332 (5%) after 72.1 sec
88.29/88.35 c [picomus] reduction 31 to 3214 out of 70332 (5%) after 88.4 sec
89.79/89.84 c [picomus] reduction 32 to 3213 out of 70332 (5%) after 89.8 sec
89.89/89.92 c [picomus] reduction 33 to 3209 out of 70332 (5%) after 89.9 sec
89.89/89.92 c [picomus] reduction 34 to 3206 out of 70332 (5%) after 89.9 sec
90.49/90.53 c [picomus] reduction 35 to 3203 out of 70332 (5%) after 90.5 sec
90.79/90.87 c [picomus] reduction 36 to 3200 out of 70332 (5%) after 90.9 sec
91.20/91.20 c [picomus] reduction 37 to 3197 out of 70332 (5%) after 91.2 sec
91.49/91.54 c [picomus] reduction 38 to 3194 out of 70332 (5%) after 91.5 sec
91.79/91.85 c [picomus] reduction 39 to 3191 out of 70332 (5%) after 91.9 sec
92.09/92.17 c [picomus] reduction 40 to 3188 out of 70332 (5%) after 92.2 sec
92.49/92.51 c [picomus] reduction 41 to 3185 out of 70332 (5%) after 92.5 sec
92.79/92.84 c [picomus] reduction 42 to 3182 out of 70332 (5%) after 92.8 sec
93.09/93.12 c [picomus] reduction 43 to 3179 out of 70332 (5%) after 93.1 sec
93.40/93.46 c [picomus] reduction 44 to 3176 out of 70332 (5%) after 93.5 sec
93.69/93.80 c [picomus] reduction 45 to 3173 out of 70332 (5%) after 93.8 sec
94.09/94.11 c [picomus] reduction 46 to 3170 out of 70332 (5%) after 94.1 sec
94.39/94.43 c [picomus] reduction 47 to 3167 out of 70332 (5%) after 94.4 sec
94.69/94.76 c [picomus] reduction 48 to 3164 out of 70332 (4%) after 94.8 sec
94.99/95.05 c [picomus] reduction 49 to 3161 out of 70332 (4%) after 95.1 sec
95.29/95.38 c [picomus] reduction 50 to 3158 out of 70332 (4%) after 95.4 sec
95.70/95.71 c [picomus] reduction 51 to 3155 out of 70332 (4%) after 95.7 sec
95.99/96.04 c [picomus] reduction 52 to 3152 out of 70332 (4%) after 96.1 sec
96.29/96.37 c [picomus] reduction 53 to 3149 out of 70332 (4%) after 96.4 sec
96.59/96.66 c [picomus] reduction 54 to 3146 out of 70332 (4%) after 96.7 sec
96.89/96.99 c [picomus] reduction 55 to 3143 out of 70332 (4%) after 97.0 sec
97.29/97.32 c [picomus] reduction 56 to 3140 out of 70332 (4%) after 97.3 sec
97.39/97.46 c [picomus] reduction 57 to 3139 out of 70332 (4%) after 97.5 sec
98.79/98.84 c [picomus] reduction 58 to 3133 out of 70332 (4%) after 98.8 sec
98.79/98.88 c [picomus] reduction 59 to 3131 out of 70332 (4%) after 98.9 sec
98.89/98.92 c [picomus] reduction 60 to 3129 out of 70332 (4%) after 98.9 sec
98.89/98.95 c [picomus] reduction 61 to 3127 out of 70332 (4%) after 99.0 sec
98.89/98.99 c [picomus] reduction 62 to 3125 out of 70332 (4%) after 99.0 sec
98.99/99.03 c [picomus] reduction 63 to 3123 out of 70332 (4%) after 99.0 sec
98.99/99.06 c [picomus] reduction 64 to 3121 out of 70332 (4%) after 99.1 sec
99.09/99.10 c [picomus] reduction 65 to 3119 out of 70332 (4%) after 99.1 sec
99.09/99.18 c [picomus] reduction 66 to 3117 out of 70332 (4%) after 99.2 sec
99.19/99.22 c [picomus] reduction 67 to 3115 out of 70332 (4%) after 99.2 sec
99.19/99.25 c [picomus] reduction 68 to 3113 out of 70332 (4%) after 99.3 sec
99.19/99.29 c [picomus] reduction 69 to 3111 out of 70332 (4%) after 99.3 sec
99.29/99.33 c [picomus] reduction 70 to 3109 out of 70332 (4%) after 99.3 sec
99.29/99.36 c [picomus] reduction 71 to 3107 out of 70332 (4%) after 99.4 sec
99.39/99.40 c [picomus] reduction 72 to 3105 out of 70332 (4%) after 99.4 sec
99.39/99.44 c [picomus] reduction 73 to 3103 out of 70332 (4%) after 99.4 sec
99.39/99.47 c [picomus] reduction 74 to 3101 out of 70332 (4%) after 99.5 sec
99.49/99.51 c [picomus] reduction 75 to 3099 out of 70332 (4%) after 99.5 sec
99.49/99.57 c [picomus] reduction 76 to 3097 out of 70332 (4%) after 99.6 sec
99.59/99.60 c [picomus] reduction 77 to 3095 out of 70332 (4%) after 99.6 sec
99.59/99.64 c [picomus] reduction 78 to 3093 out of 70332 (4%) after 99.6 sec
99.59/99.67 c [picomus] reduction 79 to 3091 out of 70332 (4%) after 99.7 sec
99.69/99.71 c [picomus] reduction 80 to 3089 out of 70332 (4%) after 99.7 sec
99.69/99.75 c [picomus] reduction 81 to 3087 out of 70332 (4%) after 99.8 sec
99.69/99.78 c [picomus] reduction 82 to 3085 out of 70332 (4%) after 99.8 sec
99.79/99.82 c [picomus] reduction 83 to 3083 out of 70332 (4%) after 99.8 sec
99.79/99.86 c [picomus] reduction 84 to 3081 out of 70332 (4%) after 99.9 sec
99.79/99.89 c [picomus] reduction 85 to 3079 out of 70332 (4%) after 99.9 sec
99.89/99.95 c [picomus] reduction 86 to 3077 out of 70332 (4%) after 100.0 sec
99.89/99.99 c [picomus] reduction 87 to 3075 out of 70332 (4%) after 100.0 sec
99.99/100.03 c [picomus] reduction 88 to 3073 out of 70332 (4%) after 100.0 sec
119.59/119.66 c [picosat] 3162 calls
119.59/119.66 c [picosat] 0 iterations
119.59/119.66 c [picosat] 1 restarts
119.59/119.66 c [picosat] 0 failed literals
119.59/119.66 c [picosat] 1254 conflicts
119.59/119.66 c [picosat] 288548463 decisions
119.59/119.66 c [picosat] 3307 fixed variables
119.59/119.66 c [picosat] 687651 learned literals
119.59/119.66 c [picosat] 0.8% deleted literals
119.59/119.66 c [picosat] 295788720 propagations
119.59/119.66 c [picosat] 6.0% variables used
119.59/119.66 c [picosat] 92.0 seconds in library
119.59/119.66 c [picosat] 3.2 megaprops/second
119.59/119.66 c [picosat] probing 4.0 seconds 4%
119.59/119.66 c [picosat] 202 simplifications
119.59/119.66 c [picosat] 0 reductions
119.59/119.66 c [picosat] 2.3 MB recycled
119.59/119.66 c [picosat] 7.6 MB maximally allocated
119.59/119.66 c [picomus] found 67259 redundant clauses 96%
119.59/119.66 c [picomus] computed MUS of size 3073 out of 70332 (4%)
119.59/119.66 v 634
119.59/119.66 v 4622
119.59/119.66 v 4624
119.59/119.66 v 4626
119.59/119.66 v 4628
119.59/119.66 v 4630
119.59/119.66 v 4632
119.59/119.66 v 4634
119.59/119.66 v 4636
119.59/119.66 v 4638
119.59/119.66 v 4640
119.59/119.66 v 4642
119.59/119.66 v 4644
119.59/119.66 v 4646
119.59/119.66 v 4648
119.59/119.66 v 4650
119.59/119.66 v 4652
119.59/119.66 v 4654
119.59/119.66 v 4656
119.59/119.66 v 4658
119.59/119.66 v 4660
119.59/119.66 v 4662
119.59/119.66 v 4664
119.59/119.66 v 4666
119.59/119.66 v 4668
119.59/119.66 v 4670
119.59/119.66 v 4672
119.59/119.66 v 4674
119.59/119.66 v 4676
119.59/119.66 v 4678
119.59/119.66 v 4680
119.59/119.66 v 4682
119.59/119.66 v 4684
119.59/119.66 v 4686
119.59/119.66 v 4688
119.59/119.66 v 4690
119.59/119.66 v 4692
119.59/119.66 v 4694
119.59/119.66 v 4696
119.59/119.66 v 4698
119.59/119.66 v 4700
119.59/119.66 v 4702
119.59/119.66 v 4704
119.59/119.66 v 4706
119.59/119.66 v 4708
119.59/119.66 v 4710
119.59/119.66 v 4712
119.59/119.66 v 4714
119.59/119.66 v 4716
119.59/119.66 v 4718
119.59/119.66 v 4720
119.59/119.66 v 4722
119.59/119.66 v 4724
119.59/119.66 v 4726
119.59/119.66 v 4728
119.59/119.66 v 4730
119.59/119.66 v 4732
119.59/119.66 v 4734
119.59/119.66 v 4736
119.59/119.66 v 4738
119.59/119.66 v 4740
119.59/119.66 v 4742
119.59/119.66 v 4744
119.59/119.66 v 4746
119.59/119.66 v 4748
119.59/119.66 v 30643
119.59/119.66 v 30645
119.59/119.66 v 30647
119.59/119.66 v 30649
119.59/119.66 v 30651
119.59/119.66 v 30653
119.59/119.66 v 30655
119.59/119.66 v 30657
119.59/119.66 v 30659
119.59/119.66 v 30661
119.59/119.66 v 30663
119.59/119.66 v 30665
119.59/119.66 v 30667
119.59/119.66 v 30669
119.59/119.66 v 30671
119.59/119.66 v 30673
119.59/119.66 v 30675
119.59/119.66 v 30677
119.59/119.66 v 30679
119.59/119.66 v 30681
119.59/119.66 v 30683
119.59/119.66 v 30685
119.59/119.66 v 30687
119.59/119.66 v 30689
119.59/119.66 v 30691
119.59/119.66 v 30693
119.59/119.66 v 30695
119.59/119.66 v 30697
119.59/119.66 v 30699
119.59/119.66 v 30701
119.59/119.66 v 30703
119.59/119.66 v 30705
119.59/119.66 v 30706
119.59/119.66 v 30803
119.59/119.66 v 30897
119.59/119.66 v 30963
119.59/119.66 v 31058
119.59/119.66 v 31059
119.59/119.66 v 34416
119.59/119.66 v 34420
119.59/119.66 v 34424
119.59/119.66 v 34428
119.59/119.66 v 34432
119.59/119.66 v 34436
119.59/119.66 v 34440
119.59/119.66 v 34444
119.59/119.66 v 34448
119.59/119.66 v 34452
119.59/119.66 v 34456
119.59/119.66 v 34460
119.59/119.66 v 34464
119.59/119.66 v 34468
119.59/119.66 v 34472
119.59/119.66 v 34476
119.59/119.66 v 34480
119.59/119.66 v 34484
119.59/119.66 v 34488
119.59/119.66 v 34492
119.59/119.66 v 34496
119.59/119.66 v 34500
119.59/119.66 v 34504
119.59/119.66 v 34508
119.59/119.66 v 34512
119.59/119.66 v 34516
119.59/119.66 v 34520
119.59/119.66 v 34524
119.59/119.66 v 34528
119.59/119.66 v 34532
119.59/119.66 v 34536
119.59/119.66 v 34540
119.59/119.66 v 34541
119.59/119.66 v 34543
119.59/119.66 v 34545
119.59/119.66 v 34547
119.59/119.66 v 34549
119.59/119.66 v 34551
119.59/119.66 v 34553
119.59/119.66 v 34555
119.59/119.66 v 34557
119.59/119.66 v 34559
119.59/119.66 v 34561
119.59/119.66 v 34563
119.59/119.66 v 34565
119.59/119.66 v 34567
119.59/119.66 v 34569
119.59/119.66 v 34571
119.59/119.66 v 34573
119.59/119.66 v 34575
119.59/119.66 v 34577
119.59/119.66 v 34579
119.59/119.66 v 34581
119.59/119.66 v 34583
119.59/119.66 v 34585
119.59/119.66 v 34587
119.59/119.66 v 34589
119.59/119.66 v 34591
119.59/119.66 v 34593
119.59/119.66 v 34595
119.59/119.66 v 34597
119.59/119.66 v 34599
119.59/119.66 v 34601
119.59/119.66 v 34603
119.59/119.66 v 34605
119.59/119.66 v 34607
119.59/119.66 v 34610
119.59/119.66 v 34613
119.59/119.66 v 34616
119.59/119.66 v 34619
119.59/119.66 v 34622
119.59/119.66 v 34625
119.59/119.66 v 34628
119.59/119.66 v 34631
119.59/119.66 v 34634
119.59/119.66 v 34637
119.59/119.66 v 34640
119.59/119.66 v 34643
119.59/119.66 v 34646
119.59/119.66 v 34649
119.59/119.66 v 34652
119.59/119.66 v 34655
119.59/119.66 v 34658
119.59/119.66 v 34661
119.59/119.66 v 34664
119.59/119.66 v 34667
119.59/119.66 v 34670
119.59/119.66 v 34673
119.59/119.66 v 34676
119.59/119.66 v 34679
119.59/119.66 v 34682
119.59/119.66 v 34685
119.59/119.66 v 34688
119.59/119.66 v 34691
119.59/119.66 v 34694
119.59/119.66 v 34697
119.59/119.66 v 34701
119.59/119.66 v 40402
119.59/119.66 v 40405
119.59/119.66 v 40408
119.59/119.66 v 40411
119.59/119.66 v 40414
119.59/119.66 v 40417
119.59/119.66 v 40420
119.59/119.66 v 40423
119.59/119.66 v 40499
119.59/119.66 v 40500
119.59/119.66 v 40502
119.59/119.66 v 40503
119.59/119.66 v 40505
119.59/119.66 v 40506
119.59/119.66 v 40508
119.59/119.66 v 40509
119.59/119.66 v 40511
119.59/119.66 v 40512
119.59/119.66 v 40514
119.59/119.66 v 40515
119.59/119.66 v 40517
119.59/119.66 v 40518
119.59/119.66 v 40520
119.59/119.66 v 40521
119.59/119.66 v 40595
119.59/119.66 v 40599
119.59/119.66 v 40603
119.59/119.66 v 40607
119.59/119.66 v 40611
119.59/119.66 v 40615
119.59/119.66 v 40619
119.59/119.66 v 40623
119.59/119.66 v 40723
119.59/119.66 v 40724
119.59/119.66 v 40726
119.59/119.66 v 40727
119.59/119.66 v 40729
119.59/119.66 v 40730
119.59/119.66 v 40732
119.59/119.66 v 40733
119.59/119.66 v 40735
119.59/119.66 v 40736
119.59/119.66 v 40738
119.59/119.66 v 40739
119.59/119.66 v 40741
119.59/119.66 v 40742
119.59/119.66 v 40744
119.59/119.66 v 40745
119.59/119.66 v 40818
119.59/119.66 v 40820
119.59/119.66 v 40822
119.59/119.66 v 40824
119.59/119.66 v 40826
119.59/119.66 v 40828
119.59/119.66 v 40830
119.59/119.66 v 40832
119.59/119.66 v 40834
119.59/119.66 v 40836
119.59/119.66 v 40838
119.59/119.66 v 40840
119.59/119.66 v 40842
119.59/119.66 v 40844
119.59/119.66 v 40846
119.59/119.66 v 40848
119.59/119.66 v 40850
119.59/119.66 v 40852
119.59/119.66 v 40854
119.59/119.66 v 40856
119.59/119.66 v 40858
119.59/119.66 v 40860
119.59/119.66 v 40862
119.59/119.66 v 40864
119.59/119.66 v 40866
119.59/119.66 v 40868
119.59/119.66 v 40870
119.59/119.66 v 40872
119.59/119.66 v 40874
119.59/119.66 v 40876
119.59/119.66 v 40878
119.59/119.66 v 40880
119.59/119.66 v 40882
119.59/119.66 v 40884
119.59/119.66 v 40886
119.59/119.66 v 40888
119.59/119.66 v 40890
119.59/119.66 v 40892
119.59/119.66 v 40894
119.59/119.66 v 40896
119.59/119.66 v 40898
119.59/119.66 v 40900
119.59/119.66 v 40902
119.59/119.66 v 40904
119.59/119.66 v 40906
119.59/119.66 v 40908
119.59/119.66 v 40910
119.59/119.66 v 40912
119.59/119.66 v 40914
119.59/119.66 v 40916
119.59/119.66 v 40918
119.59/119.66 v 40920
119.59/119.66 v 40922
119.59/119.66 v 40924
119.59/119.66 v 40926
119.59/119.66 v 40928
119.59/119.66 v 40930
119.59/119.66 v 40932
119.59/119.66 v 40934
119.59/119.66 v 40936
119.59/119.66 v 40938
119.59/119.66 v 40940
119.59/119.66 v 40942
119.59/119.66 v 40944
119.59/119.66 v 40946
119.59/119.66 v 40948
119.59/119.66 v 40950
119.59/119.66 v 40952
119.59/119.66 v 40954
119.59/119.66 v 40956
119.59/119.66 v 40958
119.59/119.66 v 40960
119.59/119.66 v 40962
119.59/119.66 v 40964
119.59/119.66 v 40967
119.59/119.66 v 40970
119.59/119.66 v 40973
119.59/119.66 v 40976
119.59/119.66 v 40979
119.59/119.66 v 40982
119.59/119.66 v 40985
119.59/119.66 v 40988
119.59/119.66 v 40991
119.59/119.66 v 40994
119.59/119.66 v 40997
119.59/119.66 v 41000
119.59/119.66 v 41003
119.59/119.66 v 41006
119.59/119.66 v 41009
119.59/119.66 v 41012
119.59/119.66 v 41015
119.59/119.66 v 41018
119.59/119.66 v 41021
119.59/119.66 v 41024
119.59/119.66 v 41027
119.59/119.66 v 41030
119.59/119.66 v 41033
119.59/119.66 v 41036
119.59/119.66 v 41039
119.59/119.66 v 41042
119.59/119.66 v 41045
119.59/119.66 v 41048
119.59/119.66 v 41051
119.59/119.66 v 41054
119.59/119.66 v 41058
119.59/119.66 v 41060
119.59/119.66 v 41063
119.59/119.66 v 41162
119.59/119.66 v 41165
119.59/119.66 v 41168
119.59/119.66 v 41171
119.59/119.66 v 41174
119.59/119.66 v 41177
119.59/119.66 v 41180
119.59/119.66 v 41183
119.59/119.66 v 41186
119.59/119.66 v 41189
119.59/119.66 v 41192
119.59/119.66 v 41195
119.59/119.66 v 41198
119.59/119.66 v 41201
119.59/119.66 v 41204
119.59/119.66 v 41207
119.59/119.66 v 41210
119.59/119.66 v 41213
119.59/119.66 v 41216
119.59/119.66 v 41219
119.59/119.66 v 41222
119.59/119.66 v 41225
119.59/119.66 v 41228
119.59/119.66 v 41231
119.59/119.66 v 41234
119.59/119.66 v 41237
119.59/119.66 v 41240
119.59/119.66 v 41243
119.59/119.66 v 41246
119.59/119.66 v 41249
119.59/119.66 v 41252
119.59/119.66 v 41255
119.59/119.66 v 41256
119.59/119.66 v 41258
119.59/119.66 v 41260
119.59/119.66 v 41262
119.59/119.66 v 41264
119.59/119.66 v 41266
119.59/119.66 v 41268
119.59/119.66 v 41270
119.59/119.66 v 41272
119.59/119.66 v 41274
119.59/119.66 v 41276
119.59/119.66 v 41278
119.59/119.66 v 41280
119.59/119.66 v 41282
119.59/119.66 v 41284
119.59/119.66 v 41286
119.59/119.66 v 41288
119.59/119.66 v 41290
119.59/119.66 v 41292
119.59/119.66 v 41294
119.59/119.66 v 41296
119.59/119.66 v 41298
119.59/119.66 v 41300
119.59/119.66 v 41302
119.59/119.66 v 41304
119.59/119.66 v 41306
119.59/119.66 v 41308
119.59/119.66 v 41310
119.59/119.66 v 41312
119.59/119.66 v 41314
119.59/119.66 v 41316
119.59/119.66 v 41318
119.59/119.66 v 41320
119.59/119.66 v 41322
119.59/119.66 v 41325
119.59/119.66 v 41328
119.59/119.66 v 41331
119.59/119.66 v 41334
119.59/119.66 v 41337
119.59/119.66 v 41340
119.59/119.66 v 41343
119.59/119.66 v 41346
119.59/119.66 v 41349
119.59/119.66 v 41352
119.59/119.66 v 41355
119.59/119.66 v 41358
119.59/119.66 v 41361
119.59/119.66 v 41364
119.59/119.66 v 41367
119.59/119.66 v 41370
119.59/119.66 v 41373
119.59/119.66 v 41376
119.59/119.66 v 41379
119.59/119.66 v 41382
119.59/119.66 v 41385
119.59/119.66 v 41388
119.59/119.66 v 41391
119.59/119.66 v 41394
119.59/119.66 v 41397
119.59/119.66 v 41400
119.59/119.66 v 41403
119.59/119.66 v 41406
119.59/119.66 v 41409
119.59/119.66 v 41412
119.59/119.66 v 41416
119.59/119.66 v 44515
119.59/119.66 v 44519
119.59/119.66 v 44523
119.59/119.66 v 44527
119.59/119.66 v 44531
119.59/119.66 v 44535
119.59/119.66 v 44539
119.59/119.66 v 44543
119.59/119.66 v 44547
119.59/119.66 v 44551
119.59/119.66 v 44555
119.59/119.66 v 44559
119.59/119.66 v 44563
119.59/119.66 v 44567
119.59/119.66 v 44571
119.59/119.66 v 44575
119.59/119.66 v 44579
119.59/119.66 v 44583
119.59/119.66 v 44587
119.59/119.66 v 44591
119.59/119.66 v 44595
119.59/119.66 v 44599
119.59/119.66 v 44603
119.59/119.66 v 44607
119.59/119.66 v 44611
119.59/119.66 v 44615
119.59/119.66 v 44619
119.59/119.66 v 44623
119.59/119.66 v 44627
119.59/119.66 v 44631
119.59/119.66 v 44635
119.59/119.66 v 44639
119.59/119.66 v 44642
119.59/119.66 v 44644
119.59/119.66 v 44646
119.59/119.66 v 44648
119.59/119.66 v 44650
119.59/119.66 v 44652
119.59/119.66 v 44654
119.59/119.66 v 44656
119.59/119.66 v 44658
119.59/119.66 v 44660
119.59/119.66 v 44662
119.59/119.66 v 44664
119.59/119.66 v 44666
119.59/119.66 v 44668
119.59/119.66 v 44670
119.59/119.66 v 44672
119.59/119.66 v 44674
119.59/119.66 v 44676
119.59/119.66 v 44678
119.59/119.66 v 44680
119.59/119.66 v 44682
119.59/119.66 v 44684
119.59/119.66 v 44686
119.59/119.66 v 44688
119.59/119.66 v 44690
119.59/119.66 v 44692
119.59/119.66 v 44694
119.59/119.66 v 44696
119.59/119.66 v 44698
119.59/119.66 v 44700
119.59/119.66 v 44702
119.59/119.66 v 44704
119.59/119.66 v 44706
119.59/119.66 v 44708
119.59/119.66 v 44709
119.59/119.66 v 44711
119.59/119.66 v 44712
119.59/119.66 v 44714
119.59/119.66 v 44715
119.59/119.66 v 44717
119.59/119.66 v 44718
119.59/119.66 v 44720
119.59/119.66 v 44721
119.59/119.66 v 44723
119.59/119.66 v 44724
119.59/119.66 v 44726
119.59/119.66 v 44727
119.59/119.66 v 44729
119.59/119.66 v 44730
119.59/119.66 v 44732
119.59/119.66 v 44733
119.59/119.66 v 44735
119.59/119.66 v 44736
119.59/119.66 v 44738
119.59/119.66 v 44739
119.59/119.66 v 44741
119.59/119.66 v 44742
119.59/119.66 v 44744
119.59/119.66 v 44745
119.59/119.66 v 44747
119.59/119.66 v 44748
119.59/119.66 v 44750
119.59/119.66 v 44751
119.59/119.66 v 44753
119.59/119.66 v 44754
119.59/119.66 v 44756
119.59/119.66 v 44757
119.59/119.66 v 44759
119.59/119.66 v 44760
119.59/119.66 v 44762
119.59/119.66 v 44763
119.59/119.66 v 44765
119.59/119.66 v 44766
119.59/119.66 v 44768
119.59/119.66 v 44769
119.59/119.66 v 44771
119.59/119.66 v 44772
119.59/119.66 v 44774
119.59/119.66 v 44775
119.59/119.66 v 44777
119.59/119.66 v 44778
119.59/119.66 v 44780
119.59/119.66 v 44781
119.59/119.66 v 44783
119.59/119.66 v 44784
119.59/119.66 v 44786
119.59/119.66 v 44787
119.59/119.66 v 44789
119.59/119.66 v 44790
119.59/119.66 v 44792
119.59/119.66 v 44793
119.59/119.66 v 44795
119.59/119.66 v 44796
119.59/119.66 v 44798
119.59/119.66 v 44799
119.59/119.66 v 44800
119.59/119.66 v 45389
119.59/119.66 v 45393
119.59/119.66 v 45397
119.59/119.66 v 45401
119.59/119.66 v 45402
119.59/119.66 v 45405
119.59/119.66 v 45406
119.59/119.66 v 45409
119.59/119.66 v 45410
119.59/119.66 v 45413
119.59/119.66 v 45414
119.59/119.66 v 45417
119.59/119.66 v 45418
119.59/119.66 v 45420
119.59/119.66 v 45422
119.59/119.66 v 45424
119.59/119.66 v 45425
119.59/119.66 v 45426
119.59/119.66 v 45427
119.59/119.66 v 45428
119.59/119.66 v 45429
119.59/119.66 v 45430
119.59/119.66 v 45431
119.59/119.66 v 45432
119.59/119.66 v 45433
119.59/119.66 v 45434
119.59/119.66 v 45677
119.59/119.66 v 45681
119.59/119.66 v 45685
119.59/119.66 v 45689
119.59/119.66 v 45690
119.59/119.66 v 45693
119.59/119.66 v 45694
119.59/119.66 v 45697
119.59/119.66 v 45698
119.59/119.66 v 45701
119.59/119.66 v 45702
119.59/119.66 v 45705
119.59/119.66 v 45706
119.59/119.66 v 45803
119.59/119.66 v 45806
119.59/119.66 v 45809
119.59/119.66 v 45812
119.59/119.66 v 45813
119.59/119.66 v 45815
119.59/119.66 v 45816
119.59/119.66 v 45818
119.59/119.66 v 45819
119.59/119.66 v 45821
119.59/119.66 v 45822
119.59/119.66 v 45824
119.59/119.66 v 45825
119.59/119.66 v 45900
119.59/119.66 v 45902
119.59/119.66 v 45904
119.59/119.66 v 45905
119.59/119.66 v 45906
119.59/119.66 v 45907
119.59/119.66 v 45908
119.59/119.66 v 45909
119.59/119.66 v 45910
119.59/119.66 v 45911
119.59/119.66 v 45912
119.59/119.66 v 45913
119.59/119.66 v 45914
119.59/119.66 v 45916
119.59/119.66 v 45918
119.59/119.66 v 45920
119.59/119.66 v 45921
119.59/119.66 v 45922
119.59/119.66 v 45923
119.59/119.66 v 45924
119.59/119.66 v 45925
119.59/119.66 v 45926
119.59/119.66 v 45927
119.59/119.66 v 45928
119.59/119.66 v 45929
119.59/119.66 v 45930
119.59/119.66 v 45932
119.59/119.66 v 45934
119.59/119.66 v 45936
119.59/119.66 v 45938
119.59/119.66 v 45940
119.59/119.66 v 45942
119.59/119.66 v 45944
119.59/119.66 v 45946
119.59/119.66 v 45948
119.59/119.66 v 45950
119.59/119.66 v 45952
119.59/119.66 v 45954
119.59/119.66 v 45956
119.59/119.66 v 45958
119.59/119.66 v 45960
119.59/119.66 v 45962
119.59/119.66 v 45964
119.59/119.66 v 45966
119.59/119.66 v 45968
119.59/119.66 v 45970
119.59/119.66 v 45972
119.59/119.66 v 45974
119.59/119.66 v 45976
119.59/119.66 v 45978
119.59/119.66 v 45979
119.59/119.66 v 45983
119.59/119.66 v 45985
119.59/119.66 v 45989
119.59/119.66 v 45991
119.59/119.66 v 45995
119.59/119.66 v 45997
119.59/119.66 v 45999
119.59/119.66 v 46000
119.59/119.66 v 46002
119.59/119.66 v 46003
119.59/119.66 v 46004
119.59/119.66 v 46006
119.59/119.66 v 46007
119.59/119.66 v 46008
119.59/119.66 v 46009
119.59/119.66 v 46010
119.59/119.66 v 46012
119.59/119.66 v 46013
119.59/119.66 v 46014
119.59/119.66 v 46015
119.59/119.66 v 46016
119.59/119.66 v 46017
119.59/119.66 v 46020
119.59/119.66 v 46021
119.59/119.66 v 46023
119.59/119.66 v 46024
119.59/119.66 v 46025
119.59/119.66 v 46026
119.59/119.66 v 46027
119.59/119.66 v 46028
119.59/119.66 v 46029
119.59/119.66 v 46032
119.59/119.66 v 46033
119.59/119.66 v 46035
119.59/119.66 v 46036
119.59/119.66 v 46037
119.59/119.66 v 46038
119.59/119.66 v 46039
119.59/119.66 v 46040
119.59/119.66 v 46041
119.59/119.66 v 46044
119.59/119.66 v 46045
119.59/119.66 v 46049
119.59/119.66 v 46050
119.59/119.66 v 46052
119.59/119.66 v 46053
119.59/119.66 v 46056
119.59/119.66 v 46061
119.59/119.66 v 46062
119.59/119.66 v 46064
119.59/119.66 v 46068
119.59/119.66 v 46073
119.59/119.66 v 46074
119.59/119.66 v 46076
119.59/119.66 v 46080
119.59/119.66 v 46085
119.59/119.66 v 46086
119.59/119.66 v 46088
119.59/119.66 v 46092
119.59/119.66 v 46097
119.59/119.66 v 46098
119.59/119.66 v 46100
119.59/119.66 v 46104
119.59/119.66 v 46109
119.59/119.66 v 46110
119.59/119.66 v 46112
119.59/119.66 v 46116
119.59/119.66 v 46121
119.59/119.66 v 46122
119.59/119.66 v 46124
119.59/119.66 v 46128
119.59/119.66 v 46133
119.59/119.66 v 46134
119.59/119.66 v 46136
119.59/119.66 v 46140
119.59/119.66 v 46145
119.59/119.66 v 46146
119.59/119.66 v 46148
119.59/119.66 v 46152
119.59/119.66 v 46157
119.59/119.66 v 46158
119.59/119.66 v 46160
119.59/119.66 v 46164
119.59/119.66 v 46169
119.59/119.66 v 46170
119.59/119.66 v 46172
119.59/119.66 v 46176
119.59/119.66 v 46181
119.59/119.66 v 46182
119.59/119.66 v 46184
119.59/119.66 v 46188
119.59/119.66 v 46193
119.59/119.66 v 46194
119.59/119.66 v 46196
119.59/119.66 v 46200
119.59/119.66 v 46205
119.59/119.66 v 46206
119.59/119.66 v 46208
119.59/119.66 v 46212
119.59/119.66 v 46217
119.59/119.66 v 46218
119.59/119.66 v 46220
119.59/119.66 v 46224
119.59/119.66 v 46229
119.59/119.66 v 46230
119.59/119.66 v 46232
119.59/119.66 v 46236
119.59/119.66 v 46241
119.59/119.66 v 46242
119.59/119.66 v 46244
119.59/119.66 v 46248
119.59/119.66 v 46253
119.59/119.66 v 46254
119.59/119.66 v 46256
119.59/119.66 v 46260
119.59/119.66 v 46265
119.59/119.66 v 46266
119.59/119.66 v 46268
119.59/119.66 v 46272
119.59/119.66 v 46277
119.59/119.66 v 46278
119.59/119.66 v 46280
119.59/119.66 v 46284
119.59/119.66 v 46289
119.59/119.66 v 46290
119.59/119.66 v 46292
119.59/119.66 v 46296
119.59/119.66 v 46301
119.59/119.66 v 46302
119.59/119.66 v 46304
119.59/119.66 v 46308
119.59/119.66 v 46313
119.59/119.66 v 46314
119.59/119.66 v 46316
119.59/119.66 v 46320
119.59/119.66 v 46325
119.59/119.66 v 46326
119.59/119.66 v 46328
119.59/119.66 v 46332
119.59/119.66 v 46340
119.59/119.66 v 46345
119.59/119.66 v 46347
119.59/119.66 v 46349
119.59/119.66 v 46351
119.59/119.66 v 46353
119.59/119.66 v 46355
119.59/119.66 v 46357
119.59/119.66 v 46359
119.59/119.66 v 46361
119.59/119.66 v 46363
119.59/119.66 v 46365
119.59/119.66 v 46367
119.59/119.66 v 46369
119.59/119.66 v 46371
119.59/119.66 v 46373
119.59/119.66 v 46375
119.59/119.66 v 46377
119.59/119.66 v 46379
119.59/119.66 v 46381
119.59/119.66 v 46383
119.59/119.66 v 46385
119.59/119.66 v 46387
119.59/119.66 v 46389
119.59/119.66 v 46391
119.59/119.66 v 46393
119.59/119.66 v 46395
119.59/119.66 v 46397
119.59/119.66 v 46399
119.59/119.66 v 46401
119.59/119.66 v 46403
119.59/119.66 v 46405
119.59/119.66 v 46407
119.59/119.66 v 46410
119.59/119.66 v 46413
119.59/119.66 v 46416
119.59/119.66 v 46417
119.59/119.66 v 46424
119.59/119.66 v 46427
119.59/119.66 v 46428
119.59/119.66 v 46430
119.59/119.66 v 46431
119.59/119.66 v 46432
119.59/119.66 v 46441
119.59/119.66 v 46444
119.59/119.66 v 46445
119.59/119.66 v 46447
119.59/119.66 v 46448
119.59/119.66 v 46449
119.59/119.66 v 46458
119.59/119.66 v 46461
119.59/119.66 v 46462
119.59/119.66 v 46464
119.59/119.66 v 46465
119.59/119.66 v 46466
119.59/119.66 v 46475
119.59/119.66 v 46478
119.59/119.66 v 46479
119.59/119.66 v 46481
119.59/119.66 v 46482
119.59/119.66 v 46483
119.59/119.66 v 46492
119.59/119.66 v 46495
119.59/119.66 v 46496
119.59/119.66 v 46498
119.59/119.66 v 46499
119.59/119.66 v 46500
119.59/119.66 v 46509
119.59/119.66 v 46512
119.59/119.66 v 46513
119.59/119.66 v 46515
119.59/119.66 v 46516
119.59/119.66 v 46517
119.59/119.66 v 46526
119.59/119.66 v 46529
119.59/119.66 v 46530
119.59/119.66 v 46532
119.59/119.66 v 46533
119.59/119.66 v 46534
119.59/119.66 v 46543
119.59/119.66 v 46546
119.59/119.66 v 46547
119.59/119.66 v 46549
119.59/119.66 v 46550
119.59/119.66 v 46551
119.59/119.66 v 46560
119.59/119.66 v 46563
119.59/119.66 v 46564
119.59/119.66 v 46566
119.59/119.66 v 46567
119.59/119.66 v 46568
119.59/119.66 v 46577
119.59/119.66 v 46580
119.59/119.66 v 46581
119.59/119.66 v 46583
119.59/119.66 v 46584
119.59/119.66 v 46585
119.59/119.66 v 46594
119.59/119.66 v 46597
119.59/119.66 v 46598
119.59/119.66 v 46600
119.59/119.66 v 46601
119.59/119.66 v 46602
119.59/119.66 v 46611
119.59/119.66 v 46614
119.59/119.66 v 46615
119.59/119.66 v 46617
119.59/119.66 v 46618
119.59/119.66 v 46619
119.59/119.66 v 46628
119.59/119.66 v 46631
119.59/119.66 v 46632
119.59/119.66 v 46634
119.59/119.66 v 46635
119.59/119.66 v 46636
119.59/119.66 v 46645
119.59/119.66 v 46648
119.59/119.66 v 46649
119.59/119.66 v 46651
119.59/119.66 v 46652
119.59/119.66 v 46653
119.59/119.66 v 46662
119.59/119.66 v 46665
119.59/119.66 v 46666
119.59/119.66 v 46668
119.59/119.66 v 46669
119.59/119.66 v 46670
119.59/119.66 v 46679
119.59/119.66 v 46682
119.59/119.66 v 46683
119.59/119.66 v 46685
119.59/119.66 v 46686
119.59/119.66 v 46687
119.59/119.66 v 46696
119.59/119.66 v 46699
119.59/119.66 v 46700
119.59/119.66 v 46702
119.59/119.66 v 46703
119.59/119.66 v 46704
119.59/119.66 v 46713
119.59/119.66 v 46716
119.59/119.66 v 46717
119.59/119.66 v 46719
119.59/119.66 v 46720
119.59/119.66 v 46721
119.59/119.66 v 46730
119.59/119.66 v 46733
119.59/119.66 v 46734
119.59/119.66 v 46736
119.59/119.66 v 46737
119.59/119.66 v 46738
119.59/119.66 v 46747
119.59/119.66 v 46750
119.59/119.66 v 46751
119.59/119.66 v 46753
119.59/119.66 v 46754
119.59/119.66 v 46755
119.59/119.66 v 46764
119.59/119.66 v 46767
119.59/119.66 v 46768
119.59/119.66 v 46770
119.59/119.66 v 46771
119.59/119.66 v 46772
119.59/119.66 v 46781
119.59/119.66 v 46784
119.59/119.66 v 46785
119.59/119.66 v 46787
119.59/119.66 v 46788
119.59/119.66 v 46789
119.59/119.66 v 46798
119.59/119.66 v 46801
119.59/119.66 v 46802
119.59/119.66 v 46804
119.59/119.66 v 46805
119.59/119.66 v 46806
119.59/119.66 v 46815
119.59/119.66 v 46818
119.59/119.66 v 46819
119.59/119.66 v 46821
119.59/119.66 v 46822
119.59/119.66 v 46823
119.59/119.66 v 46832
119.59/119.66 v 46835
119.59/119.66 v 46836
119.59/119.66 v 46838
119.59/119.66 v 46839
119.59/119.66 v 46840
119.59/119.66 v 46849
119.59/119.66 v 46852
119.59/119.66 v 46853
119.59/119.66 v 46855
119.59/119.66 v 46856
119.59/119.66 v 46857
119.59/119.66 v 46866
119.59/119.66 v 46869
119.59/119.66 v 46870
119.59/119.66 v 46872
119.59/119.66 v 46873
119.59/119.66 v 46874
119.59/119.66 v 46883
119.59/119.66 v 46886
119.59/119.66 v 46887
119.59/119.66 v 46889
119.59/119.66 v 46890
119.59/119.66 v 46891
119.59/119.66 v 46900
119.59/119.66 v 46903
119.59/119.66 v 46904
119.59/119.66 v 46906
119.59/119.66 v 46907
119.59/119.66 v 46908
119.59/119.66 v 46917
119.59/119.66 v 46920
119.59/119.66 v 46921
119.59/119.66 v 46923
119.59/119.66 v 46924
119.59/119.66 v 46925
119.59/119.66 v 46934
119.59/119.66 v 46937
119.59/119.66 v 46938
119.59/119.66 v 46940
119.59/119.66 v 46941
119.59/119.66 v 46942
119.59/119.66 v 46949
119.59/119.66 v 47044
119.59/119.66 v 47110
119.59/119.66 v 47205
119.59/119.66 v 47206
119.59/119.66 v 48937
119.59/119.66 v 48941
119.59/119.66 v 48945
119.59/119.66 v 48949
119.59/119.66 v 48953
119.59/119.66 v 48957
119.59/119.66 v 48961
119.59/119.66 v 48965
119.59/119.66 v 48969
119.59/119.66 v 48973
119.59/119.66 v 48977
119.59/119.66 v 48981
119.59/119.66 v 48985
119.59/119.66 v 48989
119.59/119.66 v 48993
119.59/119.66 v 48997
119.59/119.66 v 49001
119.59/119.66 v 49005
119.59/119.66 v 49009
119.59/119.66 v 49013
119.59/119.66 v 49017
119.59/119.66 v 49021
119.59/119.66 v 49025
119.59/119.66 v 49029
119.59/119.66 v 49033
119.59/119.66 v 49037
119.59/119.66 v 49041
119.59/119.66 v 49045
119.59/119.66 v 49049
119.59/119.66 v 49053
119.59/119.66 v 49057
119.59/119.66 v 49061
119.59/119.66 v 49064
119.59/119.66 v 49066
119.59/119.66 v 49068
119.59/119.66 v 49070
119.59/119.66 v 49072
119.59/119.66 v 49074
119.59/119.66 v 49076
119.59/119.66 v 49078
119.59/119.66 v 49080
119.59/119.66 v 49082
119.59/119.66 v 49084
119.59/119.66 v 49086
119.59/119.66 v 49088
119.59/119.66 v 49090
119.59/119.66 v 49092
119.59/119.66 v 49094
119.59/119.66 v 49096
119.59/119.66 v 49098
119.59/119.66 v 49100
119.59/119.66 v 49102
119.59/119.66 v 49104
119.59/119.66 v 49106
119.59/119.66 v 49108
119.59/119.66 v 49110
119.59/119.66 v 49112
119.59/119.66 v 49114
119.59/119.66 v 49116
119.59/119.66 v 49118
119.59/119.66 v 49120
119.59/119.66 v 49122
119.59/119.66 v 49124
119.59/119.66 v 49126
119.59/119.66 v 49128
119.59/119.66 v 49130
119.59/119.66 v 49131
119.59/119.66 v 49133
119.59/119.66 v 49134
119.59/119.66 v 49136
119.59/119.66 v 49137
119.59/119.66 v 49139
119.59/119.66 v 49140
119.59/119.66 v 49142
119.59/119.66 v 49143
119.59/119.66 v 49145
119.59/119.66 v 49146
119.59/119.66 v 49148
119.59/119.66 v 49149
119.59/119.66 v 49151
119.59/119.66 v 49152
119.59/119.66 v 49154
119.59/119.66 v 49155
119.59/119.66 v 49157
119.59/119.66 v 49158
119.59/119.66 v 49160
119.59/119.66 v 49161
119.59/119.66 v 49163
119.59/119.66 v 49164
119.59/119.66 v 49166
119.59/119.66 v 49167
119.59/119.66 v 49169
119.59/119.66 v 49170
119.59/119.66 v 49172
119.59/119.66 v 49173
119.59/119.66 v 49175
119.59/119.66 v 49176
119.59/119.66 v 49178
119.59/119.66 v 49179
119.59/119.66 v 49181
119.59/119.66 v 49182
119.59/119.66 v 49184
119.59/119.66 v 49185
119.59/119.66 v 49187
119.59/119.66 v 49188
119.59/119.66 v 49190
119.59/119.66 v 49191
119.59/119.66 v 49193
119.59/119.66 v 49194
119.59/119.66 v 49196
119.59/119.66 v 49197
119.59/119.66 v 49199
119.59/119.66 v 49200
119.59/119.66 v 49202
119.59/119.66 v 49203
119.59/119.66 v 49205
119.59/119.66 v 49206
119.59/119.66 v 49208
119.59/119.66 v 49209
119.59/119.66 v 49211
119.59/119.66 v 49212
119.59/119.66 v 49214
119.59/119.66 v 49215
119.59/119.66 v 49217
119.59/119.66 v 49218
119.59/119.66 v 49220
119.59/119.66 v 49221
119.59/119.66 v 49222
119.59/119.66 v 58824
119.59/119.66 v 58827
119.59/119.66 v 58830
119.59/119.66 v 58833
119.59/119.66 v 58836
119.59/119.66 v 58839
119.59/119.66 v 58842
119.59/119.66 v 58845
119.59/119.66 v 58848
119.59/119.66 v 58851
119.59/119.66 v 58854
119.59/119.66 v 58857
119.59/119.66 v 58860
119.59/119.66 v 58863
119.59/119.66 v 58866
119.59/119.66 v 58869
119.59/119.66 v 58872
119.59/119.66 v 58875
119.59/119.66 v 58878
119.59/119.66 v 58881
119.59/119.66 v 58884
119.59/119.66 v 58887
119.59/119.66 v 58890
119.59/119.66 v 58893
119.59/119.66 v 58896
119.59/119.66 v 58899
119.59/119.66 v 58902
119.59/119.66 v 58905
119.59/119.66 v 58908
119.59/119.66 v 58911
119.59/119.66 v 58914
119.59/119.66 v 58917
119.59/119.66 v 58918
119.59/119.66 v 58920
119.59/119.66 v 58922
119.59/119.66 v 58924
119.59/119.66 v 58926
119.59/119.66 v 58928
119.59/119.66 v 58930
119.59/119.66 v 58932
119.59/119.66 v 58934
119.59/119.66 v 58936
119.59/119.66 v 58938
119.59/119.66 v 58940
119.59/119.66 v 58942
119.59/119.66 v 58944
119.59/119.66 v 58946
119.59/119.66 v 58948
119.59/119.66 v 58950
119.59/119.66 v 58952
119.59/119.66 v 58954
119.59/119.66 v 58956
119.59/119.66 v 58958
119.59/119.66 v 58960
119.59/119.66 v 58962
119.59/119.66 v 58964
119.59/119.66 v 58966
119.59/119.66 v 58968
119.59/119.66 v 58970
119.59/119.66 v 58972
119.59/119.66 v 58974
119.59/119.66 v 58976
119.59/119.66 v 58978
119.59/119.66 v 58980
119.59/119.66 v 58982
119.59/119.66 v 58984
119.59/119.66 v 58987
119.59/119.66 v 58990
119.59/119.66 v 58993
119.59/119.66 v 58996
119.59/119.66 v 58999
119.59/119.66 v 59002
119.59/119.66 v 59005
119.59/119.66 v 59008
119.59/119.66 v 59011
119.59/119.66 v 59014
119.59/119.66 v 59017
119.59/119.66 v 59020
119.59/119.66 v 59023
119.59/119.66 v 59026
119.59/119.66 v 59029
119.59/119.66 v 59032
119.59/119.66 v 59035
119.59/119.66 v 59038
119.59/119.66 v 59041
119.59/119.66 v 59044
119.59/119.66 v 59047
119.59/119.66 v 59050
119.59/119.66 v 59053
119.59/119.66 v 59056
119.59/119.66 v 59059
119.59/119.66 v 59062
119.59/119.66 v 59065
119.59/119.66 v 59068
119.59/119.66 v 59071
119.59/119.66 v 59074
119.59/119.66 v 59078
119.59/119.66 v 59080
119.59/119.66 v 59083
119.59/119.66 v 59182
119.59/119.66 v 59185
119.59/119.66 v 59188
119.59/119.66 v 59191
119.59/119.66 v 59194
119.59/119.66 v 59197
119.59/119.66 v 59200
119.59/119.66 v 59203
119.59/119.66 v 59206
119.59/119.66 v 59209
119.59/119.66 v 59212
119.59/119.66 v 59215
119.59/119.66 v 59218
119.59/119.66 v 59221
119.59/119.66 v 59224
119.59/119.66 v 59227
119.59/119.66 v 59230
119.59/119.66 v 59233
119.59/119.66 v 59236
119.59/119.66 v 59239
119.59/119.66 v 59242
119.59/119.66 v 59245
119.59/119.66 v 59248
119.59/119.66 v 59251
119.59/119.66 v 59254
119.59/119.66 v 59257
119.59/119.66 v 59260
119.59/119.66 v 59263
119.59/119.66 v 59266
119.59/119.66 v 59269
119.59/119.66 v 59272
119.59/119.66 v 59275
119.59/119.66 v 59276
119.59/119.66 v 59278
119.59/119.66 v 59280
119.59/119.66 v 59282
119.59/119.66 v 59284
119.59/119.66 v 59286
119.59/119.66 v 59288
119.59/119.66 v 59290
119.59/119.66 v 59292
119.59/119.66 v 59294
119.59/119.66 v 59296
119.59/119.66 v 59298
119.59/119.66 v 59300
119.59/119.66 v 59302
119.59/119.66 v 59304
119.59/119.66 v 59306
119.59/119.66 v 59308
119.59/119.66 v 59310
119.59/119.66 v 59312
119.59/119.66 v 59314
119.59/119.66 v 59316
119.59/119.66 v 59318
119.59/119.66 v 59320
119.59/119.66 v 59322
119.59/119.66 v 59324
119.59/119.66 v 59326
119.59/119.66 v 59328
119.59/119.66 v 59330
119.59/119.66 v 59332
119.59/119.66 v 59334
119.59/119.66 v 59336
119.59/119.66 v 59338
119.59/119.66 v 59340
119.59/119.66 v 59342
119.59/119.66 v 59345
119.59/119.66 v 59348
119.59/119.66 v 59351
119.59/119.66 v 59354
119.59/119.66 v 59357
119.59/119.66 v 59360
119.59/119.66 v 59363
119.59/119.66 v 59366
119.59/119.66 v 59369
119.59/119.66 v 59372
119.59/119.66 v 59375
119.59/119.66 v 59378
119.59/119.66 v 59381
119.59/119.66 v 59384
119.59/119.66 v 59387
119.59/119.66 v 59390
119.59/119.66 v 59393
119.59/119.66 v 59396
119.59/119.66 v 59399
119.59/119.66 v 59402
119.59/119.66 v 59405
119.59/119.66 v 59408
119.59/119.66 v 59411
119.59/119.66 v 59414
119.59/119.66 v 59417
119.59/119.66 v 59420
119.59/119.66 v 59423
119.59/119.66 v 59426
119.59/119.66 v 59429
119.59/119.66 v 59432
119.59/119.66 v 59436
119.59/119.66 v 62535
119.59/119.66 v 62539
119.59/119.66 v 62543
119.59/119.66 v 62547
119.59/119.66 v 62551
119.59/119.66 v 62555
119.59/119.66 v 62559
119.59/119.66 v 62563
119.59/119.66 v 62567
119.59/119.66 v 62571
119.59/119.66 v 62575
119.59/119.66 v 62579
119.59/119.66 v 62583
119.59/119.66 v 62587
119.59/119.66 v 62591
119.59/119.66 v 62595
119.59/119.66 v 62599
119.59/119.66 v 62603
119.59/119.66 v 62607
119.59/119.66 v 62611
119.59/119.66 v 62615
119.59/119.66 v 62619
119.59/119.66 v 62623
119.59/119.66 v 62627
119.59/119.66 v 62631
119.59/119.66 v 62635
119.59/119.66 v 62639
119.59/119.66 v 62643
119.59/119.66 v 62647
119.59/119.66 v 62651
119.59/119.66 v 62655
119.59/119.66 v 62659
119.59/119.66 v 62662
119.59/119.66 v 62664
119.59/119.66 v 62666
119.59/119.66 v 62668
119.59/119.66 v 62670
119.59/119.66 v 62672
119.59/119.66 v 62674
119.59/119.66 v 62676
119.59/119.66 v 62678
119.59/119.66 v 62680
119.59/119.66 v 62682
119.59/119.66 v 62684
119.59/119.66 v 62686
119.59/119.66 v 62688
119.59/119.66 v 62690
119.59/119.66 v 62692
119.59/119.66 v 62694
119.59/119.66 v 62696
119.59/119.66 v 62698
119.59/119.66 v 62700
119.59/119.66 v 62702
119.59/119.66 v 62704
119.59/119.66 v 62706
119.59/119.66 v 62708
119.59/119.66 v 62710
119.59/119.66 v 62712
119.59/119.66 v 62714
119.59/119.66 v 62716
119.59/119.66 v 62718
119.59/119.66 v 62720
119.59/119.66 v 62722
119.59/119.66 v 62724
119.59/119.66 v 62726
119.59/119.66 v 62728
119.59/119.66 v 62729
119.59/119.66 v 62731
119.59/119.66 v 62732
119.59/119.66 v 62734
119.59/119.66 v 62735
119.59/119.66 v 62737
119.59/119.66 v 62738
119.59/119.66 v 62740
119.59/119.66 v 62741
119.59/119.66 v 62743
119.59/119.66 v 62744
119.59/119.66 v 62746
119.59/119.66 v 62747
119.59/119.66 v 62749
119.59/119.66 v 62750
119.59/119.66 v 62752
119.59/119.66 v 62753
119.59/119.66 v 62755
119.59/119.66 v 62756
119.59/119.66 v 62758
119.59/119.66 v 62759
119.59/119.66 v 62761
119.59/119.66 v 62762
119.59/119.66 v 62764
119.59/119.66 v 62765
119.59/119.66 v 62767
119.59/119.66 v 62768
119.59/119.66 v 62770
119.59/119.66 v 62771
119.59/119.66 v 62773
119.59/119.66 v 62774
119.59/119.66 v 62776
119.59/119.66 v 62777
119.59/119.66 v 62779
119.59/119.66 v 62780
119.59/119.66 v 62782
119.59/119.66 v 62783
119.59/119.66 v 62785
119.59/119.66 v 62786
119.59/119.66 v 62788
119.59/119.66 v 62789
119.59/119.66 v 62791
119.59/119.66 v 62792
119.59/119.66 v 62794
119.59/119.66 v 62795
119.59/119.66 v 62797
119.59/119.66 v 62798
119.59/119.66 v 62800
119.59/119.66 v 62801
119.59/119.66 v 62803
119.59/119.66 v 62804
119.59/119.66 v 62806
119.59/119.66 v 62807
119.59/119.66 v 62809
119.59/119.66 v 62810
119.59/119.66 v 62812
119.59/119.66 v 62813
119.59/119.66 v 62815
119.59/119.66 v 62816
119.59/119.66 v 62818
119.59/119.66 v 62819
119.59/119.66 v 62820
119.59/119.66 v 63410
119.59/119.66 v 63414
119.59/119.66 v 63418
119.59/119.66 v 63421
119.59/119.66 v 63422
119.59/119.66 v 63425
119.59/119.66 v 63426
119.59/119.66 v 63429
119.59/119.66 v 63430
119.59/119.66 v 63433
119.59/119.66 v 63434
119.59/119.66 v 63437
119.59/119.66 v 63438
119.59/119.66 v 63439
119.59/119.66 v 63441
119.59/119.66 v 63443
119.59/119.66 v 63445
119.59/119.66 v 63446
119.59/119.66 v 63447
119.59/119.66 v 63448
119.59/119.66 v 63449
119.59/119.66 v 63450
119.59/119.66 v 63451
119.59/119.66 v 63452
119.59/119.66 v 63453
119.59/119.66 v 63454
119.59/119.66 v 63698
119.59/119.66 v 63702
119.59/119.66 v 63706
119.59/119.66 v 63709
119.59/119.66 v 63710
119.59/119.66 v 63713
119.59/119.66 v 63714
119.59/119.66 v 63717
119.59/119.66 v 63718
119.59/119.66 v 63721
119.59/119.66 v 63722
119.59/119.66 v 63725
119.59/119.66 v 63726
119.59/119.66 v 63824
119.59/119.66 v 63827
119.59/119.66 v 63830
119.59/119.66 v 63832
119.59/119.66 v 63833
119.59/119.66 v 63835
119.59/119.66 v 63836
119.59/119.66 v 63838
119.59/119.66 v 63839
119.59/119.66 v 63841
119.59/119.66 v 63842
119.59/119.66 v 63844
119.59/119.66 v 63845
119.59/119.66 v 63919
119.59/119.66 v 63921
119.59/119.66 v 63923
119.59/119.66 v 63925
119.59/119.66 v 63926
119.59/119.66 v 63927
119.59/119.66 v 63928
119.59/119.66 v 63929
119.59/119.66 v 63930
119.59/119.66 v 63931
119.59/119.66 v 63932
119.59/119.66 v 63933
119.59/119.66 v 63934
119.59/119.66 v 63935
119.59/119.66 v 63937
119.59/119.66 v 63939
119.59/119.66 v 63941
119.59/119.66 v 63942
119.59/119.66 v 63943
119.59/119.66 v 63944
119.59/119.66 v 63945
119.59/119.66 v 63946
119.59/119.66 v 63947
119.59/119.66 v 63948
119.59/119.66 v 63949
119.59/119.66 v 63950
119.59/119.66 v 63951
119.59/119.66 v 63952
119.59/119.66 v 63953
119.59/119.66 v 63954
119.59/119.66 v 63955
119.59/119.66 v 63956
119.59/119.66 v 63957
119.59/119.66 v 63958
119.59/119.66 v 63959
119.59/119.66 v 63960
119.59/119.66 v 63961
119.59/119.66 v 63962
119.59/119.66 v 63963
119.59/119.66 v 63964
119.59/119.66 v 63965
119.59/119.66 v 63966
119.59/119.66 v 63967
119.59/119.66 v 63968
119.59/119.66 v 63969
119.59/119.66 v 63970
119.59/119.66 v 63971
119.59/119.66 v 63972
119.59/119.66 v 63973
119.59/119.66 v 63974
119.59/119.66 v 63975
119.59/119.66 v 63976
119.59/119.66 v 63977
119.59/119.66 v 63978
119.59/119.66 v 63979
119.59/119.66 v 63980
119.59/119.66 v 63981
119.59/119.66 v 63982
119.59/119.66 v 63983
119.59/119.66 v 63984
119.59/119.66 v 63985
119.59/119.66 v 63986
119.59/119.66 v 63987
119.59/119.66 v 63988
119.59/119.66 v 63989
119.59/119.66 v 63990
119.59/119.66 v 63991
119.59/119.66 v 63992
119.59/119.66 v 63993
119.59/119.66 v 63994
119.59/119.66 v 63995
119.59/119.66 v 63996
119.59/119.66 v 63997
119.59/119.66 v 63998
119.59/119.66 v 64000
119.59/119.66 v 64004
119.59/119.66 v 64006
119.59/119.66 v 64010
119.59/119.66 v 64012
119.59/119.66 v 64016
119.59/119.66 v 64018
119.59/119.66 v 64019
119.59/119.66 v 64020
119.59/119.66 v 64022
119.59/119.66 v 64023
119.59/119.66 v 64025
119.59/119.66 v 64026
119.59/119.66 v 64027
119.59/119.66 v 64028
119.59/119.66 v 64029
119.59/119.66 v 64030
119.59/119.66 v 64032
119.59/119.66 v 64033
119.59/119.66 v 64034
119.59/119.66 v 64035
119.59/119.66 v 64038
119.59/119.66 v 64039
119.59/119.66 v 64040
119.59/119.66 v 64041
119.59/119.66 v 64043
119.59/119.66 v 64044
119.59/119.66 v 64045
119.59/119.66 v 64046
119.59/119.66 v 64047
119.59/119.66 v 64050
119.59/119.66 v 64051
119.59/119.66 v 64052
119.59/119.66 v 64053
119.59/119.66 v 64055
119.59/119.66 v 64056
119.59/119.66 v 64057
119.59/119.66 v 64058
119.59/119.66 v 64059
119.59/119.66 v 64062
119.59/119.66 v 64063
119.59/119.66 v 64064
119.59/119.66 v 64065
119.59/119.66 v 64067
119.59/119.66 v 64068
119.59/119.67 v 64070
119.59/119.67 v 64071
119.59/119.67 v 64074
119.59/119.67 v 64075
119.59/119.67 v 64076
119.59/119.67 v 64077
119.59/119.67 v 64079
119.59/119.67 v 64081
119.59/119.67 v 64082
119.59/119.67 v 64083
119.59/119.67 v 64086
119.59/119.67 v 64087
119.59/119.67 v 64088
119.59/119.67 v 64089
119.59/119.67 v 64091
119.59/119.67 v 64093
119.59/119.67 v 64094
119.59/119.67 v 64095
119.59/119.67 v 64098
119.59/119.67 v 64099
119.59/119.67 v 64100
119.59/119.67 v 64101
119.59/119.67 v 64103
119.59/119.67 v 64105
119.59/119.67 v 64106
119.59/119.67 v 64107
119.59/119.67 v 64110
119.59/119.67 v 64111
119.59/119.67 v 64112
119.59/119.67 v 64113
119.59/119.67 v 64115
119.59/119.67 v 64117
119.59/119.67 v 64118
119.59/119.67 v 64119
119.59/119.67 v 64122
119.59/119.67 v 64123
119.59/119.67 v 64124
119.59/119.67 v 64125
119.59/119.67 v 64127
119.59/119.67 v 64129
119.59/119.67 v 64130
119.59/119.67 v 64131
119.59/119.67 v 64134
119.59/119.67 v 64135
119.59/119.67 v 64136
119.59/119.67 v 64137
119.59/119.67 v 64139
119.59/119.67 v 64141
119.59/119.67 v 64142
119.59/119.67 v 64143
119.59/119.67 v 64146
119.59/119.67 v 64147
119.59/119.67 v 64148
119.59/119.67 v 64149
119.59/119.67 v 64151
119.59/119.67 v 64153
119.59/119.67 v 64154
119.59/119.67 v 64155
119.59/119.67 v 64158
119.59/119.67 v 64159
119.59/119.67 v 64160
119.59/119.67 v 64161
119.59/119.67 v 64163
119.59/119.67 v 64165
119.59/119.67 v 64166
119.59/119.67 v 64167
119.59/119.67 v 64170
119.59/119.67 v 64171
119.59/119.67 v 64172
119.59/119.67 v 64173
119.59/119.67 v 64175
119.59/119.67 v 64177
119.59/119.67 v 64178
119.59/119.67 v 64179
119.59/119.67 v 64182
119.59/119.67 v 64183
119.59/119.67 v 64184
119.59/119.67 v 64185
119.59/119.67 v 64187
119.59/119.67 v 64189
119.59/119.67 v 64190
119.59/119.67 v 64191
119.59/119.67 v 64194
119.59/119.67 v 64195
119.59/119.67 v 64196
119.59/119.67 v 64197
119.59/119.67 v 64199
119.59/119.67 v 64201
119.59/119.67 v 64202
119.59/119.67 v 64203
119.59/119.67 v 64206
119.59/119.67 v 64207
119.59/119.67 v 64208
119.59/119.67 v 64209
119.59/119.67 v 64211
119.59/119.67 v 64213
119.59/119.67 v 64214
119.59/119.67 v 64215
119.59/119.67 v 64218
119.59/119.67 v 64219
119.59/119.67 v 64220
119.59/119.67 v 64221
119.59/119.67 v 64223
119.59/119.67 v 64225
119.59/119.67 v 64226
119.59/119.67 v 64227
119.59/119.67 v 64230
119.59/119.67 v 64231
119.59/119.67 v 64232
119.59/119.67 v 64233
119.59/119.67 v 64235
119.59/119.67 v 64237
119.59/119.67 v 64238
119.59/119.67 v 64239
119.59/119.67 v 64242
119.59/119.67 v 64243
119.59/119.67 v 64244
119.59/119.67 v 64245
119.59/119.67 v 64247
119.59/119.67 v 64249
119.59/119.67 v 64250
119.59/119.67 v 64251
119.59/119.67 v 64254
119.59/119.67 v 64255
119.59/119.67 v 64256
119.59/119.67 v 64257
119.59/119.67 v 64259
119.59/119.67 v 64261
119.59/119.67 v 64262
119.59/119.67 v 64263
119.59/119.67 v 64266
119.59/119.67 v 64267
119.59/119.67 v 64268
119.59/119.67 v 64269
119.59/119.67 v 64271
119.59/119.67 v 64273
119.59/119.67 v 64274
119.59/119.67 v 64275
119.59/119.67 v 64278
119.59/119.67 v 64279
119.59/119.67 v 64280
119.59/119.67 v 64281
119.59/119.67 v 64283
119.59/119.67 v 64285
119.59/119.67 v 64286
119.59/119.67 v 64287
119.59/119.67 v 64290
119.59/119.67 v 64291
119.59/119.67 v 64292
119.59/119.67 v 64293
119.59/119.67 v 64295
119.59/119.67 v 64297
119.59/119.67 v 64298
119.59/119.67 v 64299
119.59/119.67 v 64302
119.59/119.67 v 64303
119.59/119.67 v 64304
119.59/119.67 v 64305
119.59/119.67 v 64307
119.59/119.67 v 64309
119.59/119.67 v 64310
119.59/119.67 v 64311
119.59/119.67 v 64314
119.59/119.67 v 64315
119.59/119.67 v 64316
119.59/119.67 v 64317
119.59/119.67 v 64319
119.59/119.67 v 64321
119.59/119.67 v 64322
119.59/119.67 v 64323
119.59/119.67 v 64326
119.59/119.67 v 64327
119.59/119.67 v 64328
119.59/119.67 v 64329
119.59/119.67 v 64331
119.59/119.67 v 64333
119.59/119.67 v 64334
119.59/119.67 v 64335
119.59/119.67 v 64338
119.59/119.67 v 64339
119.59/119.67 v 64340
119.59/119.67 v 64341
119.59/119.67 v 64343
119.59/119.67 v 64345
119.59/119.67 v 64346
119.59/119.67 v 64347
119.59/119.67 v 64350
119.59/119.67 v 64351
119.59/119.67 v 64352
119.59/119.67 v 64353
119.59/119.67 v 64362
119.59/119.67 v 64363
119.59/119.67 v 64364
119.59/119.67 v 64366
119.59/119.67 v 64368
119.59/119.67 v 64370
119.59/119.67 v 64372
119.59/119.67 v 64374
119.59/119.67 v 64376
119.59/119.67 v 64378
119.59/119.67 v 64380
119.59/119.67 v 64382
119.59/119.67 v 64384
119.59/119.67 v 64386
119.59/119.67 v 64388
119.59/119.67 v 64390
119.59/119.67 v 64392
119.59/119.67 v 64394
119.59/119.67 v 64396
119.59/119.67 v 64398
119.59/119.67 v 64400
119.59/119.67 v 64402
119.59/119.67 v 64404
119.59/119.67 v 64406
119.59/119.67 v 64408
119.59/119.67 v 64410
119.59/119.67 v 64412
119.59/119.67 v 64414
119.59/119.67 v 64416
119.59/119.67 v 64418
119.59/119.67 v 64420
119.59/119.67 v 64422
119.59/119.67 v 64424
119.59/119.67 v 64426
119.59/119.67 v 64428
119.59/119.67 v 64429
119.59/119.67 v 64432
119.59/119.67 v 64435
119.59/119.67 v 64438
119.59/119.67 v 64439
119.59/119.67 v 64442
119.59/119.67 v 64443
119.59/119.67 v 64446
119.59/119.67 v 64449
119.59/119.67 v 64453
119.59/119.67 v 64454
119.59/119.67 v 64459
119.59/119.67 v 64460
119.59/119.67 v 64463
119.59/119.67 v 64466
119.59/119.67 v 64470
119.59/119.67 v 64471
119.59/119.67 v 64476
119.59/119.67 v 64477
119.59/119.67 v 64480
119.59/119.67 v 64483
119.59/119.67 v 64487
119.59/119.67 v 64488
119.59/119.67 v 64493
119.59/119.67 v 64494
119.59/119.67 v 64497
119.59/119.67 v 64500
119.59/119.67 v 64504
119.59/119.67 v 64505
119.59/119.67 v 64510
119.59/119.67 v 64511
119.59/119.67 v 64514
119.59/119.67 v 64517
119.59/119.67 v 64521
119.59/119.67 v 64522
119.59/119.67 v 64527
119.59/119.67 v 64528
119.59/119.67 v 64531
119.59/119.67 v 64534
119.59/119.67 v 64538
119.59/119.67 v 64539
119.59/119.67 v 64544
119.59/119.67 v 64545
119.59/119.67 v 64548
119.59/119.67 v 64551
119.59/119.67 v 64555
119.59/119.67 v 64556
119.59/119.67 v 64561
119.59/119.67 v 64562
119.59/119.67 v 64565
119.59/119.67 v 64568
119.59/119.67 v 64572
119.59/119.67 v 64573
119.59/119.67 v 64578
119.59/119.67 v 64579
119.59/119.67 v 64582
119.59/119.67 v 64585
119.59/119.67 v 64589
119.59/119.67 v 64590
119.59/119.67 v 64595
119.59/119.67 v 64596
119.59/119.67 v 64599
119.59/119.67 v 64602
119.59/119.67 v 64606
119.59/119.67 v 64607
119.59/119.67 v 64612
119.59/119.67 v 64613
119.59/119.67 v 64616
119.59/119.67 v 64619
119.59/119.67 v 64623
119.59/119.67 v 64624
119.59/119.67 v 64629
119.59/119.67 v 64630
119.59/119.67 v 64633
119.59/119.67 v 64636
119.59/119.67 v 64640
119.59/119.67 v 64641
119.59/119.67 v 64646
119.59/119.67 v 64647
119.59/119.67 v 64650
119.59/119.67 v 64653
119.59/119.67 v 64657
119.59/119.67 v 64658
119.59/119.67 v 64663
119.59/119.67 v 64664
119.59/119.67 v 64667
119.59/119.67 v 64670
119.59/119.67 v 64674
119.59/119.67 v 64675
119.59/119.67 v 64680
119.59/119.67 v 64681
119.59/119.67 v 64684
119.59/119.67 v 64687
119.59/119.67 v 64691
119.59/119.67 v 64692
119.59/119.67 v 64697
119.59/119.67 v 64698
119.59/119.67 v 64701
119.59/119.67 v 64704
119.59/119.67 v 64708
119.59/119.67 v 64709
119.59/119.67 v 64714
119.59/119.67 v 64715
119.59/119.67 v 64718
119.59/119.67 v 64721
119.59/119.67 v 64725
119.59/119.67 v 64726
119.59/119.67 v 64731
119.59/119.67 v 64732
119.59/119.67 v 64735
119.59/119.67 v 64738
119.59/119.67 v 64742
119.59/119.67 v 64743
119.59/119.67 v 64748
119.59/119.67 v 64749
119.59/119.67 v 64752
119.59/119.67 v 64755
119.59/119.67 v 64759
119.59/119.67 v 64760
119.59/119.67 v 64765
119.59/119.67 v 64766
119.59/119.67 v 64769
119.59/119.67 v 64772
119.59/119.67 v 64776
119.59/119.67 v 64777
119.59/119.67 v 64782
119.59/119.67 v 64783
119.59/119.67 v 64786
119.59/119.67 v 64789
119.59/119.67 v 64793
119.59/119.67 v 64794
119.59/119.67 v 64799
119.59/119.67 v 64800
119.59/119.67 v 64803
119.59/119.67 v 64806
119.59/119.67 v 64810
119.59/119.67 v 64811
119.59/119.67 v 64816
119.59/119.67 v 64817
119.59/119.67 v 64820
119.59/119.67 v 64823
119.59/119.67 v 64827
119.59/119.67 v 64828
119.59/119.67 v 64833
119.59/119.67 v 64834
119.59/119.67 v 64837
119.59/119.67 v 64840
119.59/119.67 v 64844
119.59/119.67 v 64845
119.59/119.67 v 64850
119.59/119.67 v 64851
119.59/119.67 v 64854
119.59/119.67 v 64857
119.59/119.67 v 64861
119.59/119.67 v 64862
119.59/119.67 v 64867
119.59/119.67 v 64868
119.59/119.67 v 64871
119.59/119.67 v 64874
119.59/119.67 v 64878
119.59/119.67 v 64879
119.59/119.67 v 64884
119.59/119.67 v 64885
119.59/119.67 v 64888
119.59/119.67 v 64891
119.59/119.67 v 64895
119.59/119.67 v 64896
119.59/119.67 v 64901
119.59/119.67 v 64902
119.59/119.67 v 64905
119.59/119.67 v 64908
119.59/119.67 v 64912
119.59/119.67 v 64913
119.59/119.67 v 64918
119.59/119.67 v 64919
119.59/119.67 v 64922
119.59/119.67 v 64925
119.59/119.67 v 64929
119.59/119.67 v 64930
119.59/119.67 v 64935
119.59/119.67 v 64936
119.59/119.67 v 64939
119.59/119.67 v 64942
119.59/119.67 v 64946
119.59/119.67 v 64947
119.59/119.67 v 64952
119.59/119.67 v 64953
119.59/119.67 v 64956
119.59/119.67 v 64959
119.59/119.67 v 64963
119.59/119.67 v 64964
119.59/119.67 v 64970
119.59/119.67 v 67340
119.59/119.67 v 67344
119.59/119.67 v 67348
119.59/119.67 v 67352
119.59/119.67 v 67356
119.59/119.67 v 67360
119.59/119.67 v 67364
119.59/119.67 v 67368
119.59/119.67 v 67372
119.59/119.67 v 67376
119.59/119.67 v 67380
119.59/119.67 v 67384
119.59/119.67 v 67388
119.59/119.67 v 67392
119.59/119.67 v 67396
119.59/119.67 v 67400
119.59/119.67 v 67404
119.59/119.67 v 67408
119.59/119.67 v 67412
119.59/119.67 v 67416
119.59/119.67 v 67420
119.59/119.67 v 67424
119.59/119.67 v 67428
119.59/119.67 v 67432
119.59/119.67 v 67436
119.59/119.67 v 67440
119.59/119.67 v 67444
119.59/119.67 v 67448
119.59/119.67 v 67452
119.59/119.67 v 67456
119.59/119.67 v 67460
119.59/119.67 v 67464
119.59/119.67 v 67468
119.59/119.67 v 67472
119.59/119.67 v 67476
119.59/119.67 v 67480
119.59/119.67 v 67484
119.59/119.67 v 67488
119.59/119.67 v 67492
119.59/119.67 v 67496
119.59/119.67 v 67500
119.59/119.67 v 67504
119.59/119.67 v 67508
119.59/119.67 v 67512
119.59/119.67 v 67516
119.59/119.67 v 67520
119.59/119.67 v 67524
119.59/119.67 v 67528
119.59/119.67 v 67532
119.59/119.67 v 67536
119.59/119.67 v 67540
119.59/119.67 v 67544
119.59/119.67 v 67548
119.59/119.67 v 67552
119.59/119.67 v 67556
119.59/119.67 v 67560
119.59/119.67 v 67564
119.59/119.67 v 67568
119.59/119.67 v 67572
119.59/119.67 v 67576
119.59/119.67 v 67580
119.59/119.67 v 67584
119.59/119.67 v 67588
119.59/119.67 v 67592
119.59/119.67 v 67693
119.59/119.67 v 67697
119.59/119.67 v 67701
119.59/119.67 v 67704
119.59/119.67 v 67705
119.59/119.67 v 67708
119.59/119.67 v 67709
119.59/119.67 v 67712
119.59/119.67 v 67713
119.59/119.67 v 67716
119.59/119.67 v 67717
119.59/119.67 v 67720
119.59/119.67 v 67721
119.59/119.67 v 67722
119.59/119.67 v 67724
119.59/119.67 v 67726
119.59/119.67 v 67728
119.59/119.67 v 67729
119.59/119.67 v 67730
119.59/119.67 v 67731
119.59/119.67 v 67732
119.59/119.67 v 67733
119.59/119.67 v 67734
119.59/119.67 v 67735
119.59/119.67 v 67736
119.59/119.67 v 67737
119.59/119.67 v 68045
119.59/119.67 v 68049
119.59/119.67 v 68053
119.59/119.67 v 68056
119.59/119.67 v 68057
119.59/119.67 v 68060
119.59/119.67 v 68061
119.59/119.67 v 68064
119.59/119.67 v 68065
119.59/119.67 v 68068
119.59/119.67 v 68069
119.59/119.67 v 68072
119.59/119.67 v 68073
119.59/119.67 v 68171
119.59/119.67 v 68175
119.59/119.67 v 68179
119.59/119.67 v 68182
119.59/119.67 v 68183
119.59/119.67 v 68186
119.59/119.67 v 68187
119.59/119.67 v 68190
119.59/119.67 v 68191
119.59/119.67 v 68194
119.59/119.67 v 68195
119.59/119.67 v 68198
119.59/119.67 v 68199
119.59/119.67 v 68298
119.59/119.67 v 68300
119.59/119.67 v 68302
119.59/119.67 v 68304
119.59/119.67 v 68305
119.59/119.67 v 68306
119.59/119.67 v 68307
119.59/119.67 v 68308
119.59/119.67 v 68309
119.59/119.67 v 68310
119.59/119.67 v 68311
119.59/119.67 v 68312
119.59/119.67 v 68313
119.59/119.67 v 68314
119.59/119.67 v 68316
119.59/119.67 v 68318
119.59/119.67 v 68320
119.59/119.67 v 68321
119.59/119.67 v 68322
119.59/119.67 v 68323
119.59/119.67 v 68324
119.59/119.67 v 68325
119.59/119.67 v 68326
119.59/119.67 v 68327
119.59/119.67 v 68328
119.59/119.67 v 68329
119.59/119.67 v 68330
119.59/119.67 v 68331
119.59/119.67 v 68332
119.59/119.67 v 68333
119.59/119.67 v 68334
119.59/119.67 v 68335
119.59/119.67 v 68336
119.59/119.67 v 68337
119.59/119.67 v 68338
119.59/119.67 v 68339
119.59/119.67 v 68340
119.59/119.67 v 68341
119.59/119.67 v 68342
119.59/119.67 v 68343
119.59/119.67 v 68344
119.59/119.67 v 68345
119.59/119.67 v 68346
119.59/119.67 v 68347
119.59/119.67 v 68348
119.59/119.67 v 68349
119.59/119.67 v 68350
119.59/119.67 v 68351
119.59/119.67 v 68352
119.59/119.67 v 68353
119.59/119.67 v 68354
119.59/119.67 v 68355
119.59/119.67 v 68356
119.59/119.67 v 68357
119.59/119.67 v 68358
119.59/119.67 v 68359
119.59/119.67 v 68360
119.59/119.67 v 68361
119.59/119.67 v 68362
119.59/119.67 v 68363
119.59/119.67 v 68364
119.59/119.67 v 68365
119.59/119.67 v 68366
119.59/119.67 v 68367
119.59/119.67 v 68368
119.59/119.67 v 68369
119.59/119.67 v 68370
119.59/119.67 v 68371
119.59/119.67 v 68372
119.59/119.67 v 68373
119.59/119.67 v 68374
119.59/119.67 v 68375
119.59/119.67 v 68376
119.59/119.67 v 68377
119.59/119.67 v 68379
119.59/119.67 v 68383
119.59/119.67 v 68385
119.59/119.67 v 68389
119.59/119.67 v 68391
119.59/119.67 v 68395
119.59/119.67 v 68397
119.59/119.67 v 68398
119.59/119.67 v 68399
119.59/119.67 v 68401
119.59/119.67 v 68402
119.59/119.67 v 68404
119.59/119.67 v 68405
119.59/119.67 v 68406
119.59/119.67 v 68407
119.59/119.67 v 68408
119.59/119.67 v 68409
119.59/119.67 v 68411
119.59/119.67 v 68412
119.59/119.67 v 68413
119.59/119.67 v 68414
119.59/119.67 v 68417
119.59/119.67 v 68418
119.59/119.67 v 68419
119.59/119.67 v 68420
119.59/119.67 v 68422
119.59/119.67 v 68423
119.59/119.67 v 68424
119.59/119.67 v 68425
119.59/119.67 v 68426
119.59/119.67 v 68429
119.59/119.67 v 68430
119.59/119.67 v 68431
119.59/119.67 v 68432
119.59/119.67 v 68434
119.59/119.67 v 68435
119.59/119.67 v 68436
119.59/119.67 v 68437
119.59/119.67 v 68438
119.59/119.67 v 68441
119.59/119.67 v 68442
119.59/119.67 v 68443
119.59/119.67 v 68444
119.59/119.67 v 68446
119.59/119.67 v 68447
119.59/119.67 v 68449
119.59/119.67 v 68450
119.59/119.67 v 68453
119.59/119.67 v 68454
119.59/119.67 v 68455
119.59/119.67 v 68456
119.59/119.67 v 68458
119.59/119.67 v 68460
119.59/119.67 v 68461
119.59/119.67 v 68462
119.59/119.67 v 68465
119.59/119.67 v 68466
119.59/119.67 v 68467
119.59/119.67 v 68468
119.59/119.67 v 68470
119.59/119.67 v 68472
119.59/119.67 v 68473
119.59/119.67 v 68474
119.59/119.67 v 68477
119.59/119.67 v 68478
119.59/119.67 v 68479
119.59/119.67 v 68480
119.59/119.67 v 68482
119.59/119.67 v 68484
119.59/119.67 v 68485
119.59/119.67 v 68486
119.59/119.67 v 68489
119.59/119.67 v 68490
119.59/119.67 v 68491
119.59/119.67 v 68492
119.59/119.67 v 68494
119.59/119.67 v 68496
119.59/119.67 v 68497
119.59/119.67 v 68498
119.59/119.67 v 68501
119.59/119.67 v 68502
119.59/119.67 v 68503
119.59/119.67 v 68504
119.59/119.67 v 68506
119.59/119.67 v 68508
119.59/119.67 v 68509
119.59/119.67 v 68510
119.59/119.67 v 68513
119.59/119.67 v 68514
119.59/119.67 v 68515
119.59/119.67 v 68516
119.59/119.67 v 68518
119.59/119.67 v 68520
119.59/119.67 v 68521
119.59/119.67 v 68522
119.59/119.67 v 68525
119.59/119.67 v 68526
119.59/119.67 v 68527
119.59/119.67 v 68528
119.59/119.67 v 68530
119.59/119.67 v 68532
119.59/119.67 v 68533
119.59/119.67 v 68534
119.59/119.67 v 68537
119.59/119.67 v 68538
119.59/119.67 v 68539
119.59/119.67 v 68540
119.59/119.67 v 68542
119.59/119.67 v 68544
119.59/119.67 v 68545
119.59/119.67 v 68546
119.59/119.67 v 68549
119.59/119.67 v 68550
119.59/119.67 v 68551
119.59/119.67 v 68552
119.59/119.67 v 68554
119.59/119.67 v 68556
119.59/119.67 v 68557
119.59/119.67 v 68558
119.59/119.67 v 68561
119.59/119.67 v 68562
119.59/119.67 v 68563
119.59/119.67 v 68564
119.59/119.67 v 68566
119.59/119.67 v 68568
119.59/119.67 v 68569
119.59/119.67 v 68570
119.59/119.67 v 68573
119.59/119.67 v 68574
119.59/119.67 v 68575
119.59/119.67 v 68576
119.59/119.67 v 68578
119.59/119.67 v 68580
119.59/119.67 v 68581
119.59/119.67 v 68582
119.59/119.67 v 68585
119.59/119.67 v 68586
119.59/119.67 v 68587
119.59/119.67 v 68588
119.59/119.67 v 68590
119.59/119.67 v 68592
119.59/119.67 v 68593
119.59/119.67 v 68594
119.59/119.67 v 68597
119.59/119.67 v 68598
119.59/119.67 v 68599
119.59/119.67 v 68600
119.59/119.67 v 68602
119.59/119.67 v 68604
119.59/119.67 v 68605
119.59/119.67 v 68606
119.59/119.67 v 68609
119.59/119.67 v 68610
119.59/119.67 v 68611
119.59/119.67 v 68612
119.59/119.67 v 68614
119.59/119.67 v 68616
119.59/119.67 v 68617
119.59/119.67 v 68618
119.59/119.67 v 68621
119.59/119.67 v 68622
119.59/119.67 v 68623
119.59/119.67 v 68624
119.59/119.67 v 68626
119.59/119.67 v 68628
119.59/119.67 v 68629
119.59/119.67 v 68630
119.59/119.67 v 68633
119.59/119.67 v 68634
119.59/119.67 v 68635
119.59/119.67 v 68636
119.59/119.67 v 68638
119.59/119.67 v 68640
119.59/119.67 v 68641
119.59/119.67 v 68642
119.59/119.67 v 68645
119.59/119.67 v 68646
119.59/119.67 v 68647
119.59/119.67 v 68648
119.59/119.67 v 68650
119.59/119.67 v 68652
119.59/119.67 v 68653
119.59/119.67 v 68654
119.59/119.67 v 68657
119.59/119.67 v 68658
119.59/119.67 v 68659
119.59/119.67 v 68660
119.59/119.67 v 68662
119.59/119.67 v 68664
119.59/119.67 v 68665
119.59/119.67 v 68666
119.59/119.67 v 68669
119.59/119.67 v 68670
119.59/119.67 v 68671
119.59/119.67 v 68672
119.59/119.67 v 68674
119.59/119.67 v 68676
119.59/119.67 v 68677
119.59/119.67 v 68678
119.59/119.67 v 68681
119.59/119.67 v 68682
119.59/119.67 v 68683
119.59/119.67 v 68684
119.59/119.67 v 68686
119.59/119.67 v 68688
119.59/119.67 v 68689
119.59/119.67 v 68690
119.59/119.67 v 68693
119.59/119.67 v 68694
119.59/119.67 v 68695
119.59/119.67 v 68696
119.59/119.67 v 68698
119.59/119.67 v 68700
119.59/119.67 v 68701
119.59/119.67 v 68702
119.59/119.67 v 68705
119.59/119.67 v 68706
119.59/119.67 v 68707
119.59/119.67 v 68708
119.59/119.67 v 68710
119.59/119.67 v 68712
119.59/119.67 v 68713
119.59/119.67 v 68714
119.59/119.67 v 68717
119.59/119.67 v 68718
119.59/119.67 v 68719
119.59/119.67 v 68720
119.59/119.67 v 68722
119.59/119.67 v 68724
119.59/119.67 v 68725
119.59/119.67 v 68726
119.59/119.67 v 68729
119.59/119.67 v 68730
119.59/119.67 v 68731
119.59/119.67 v 68732
119.59/119.67 v 68741
119.59/119.67 v 68742
119.59/119.67 v 68743
119.59/119.67 v 68745
119.59/119.67 v 68747
119.59/119.67 v 68749
119.59/119.67 v 68751
119.59/119.67 v 68753
119.59/119.67 v 68755
119.59/119.67 v 68757
119.59/119.67 v 68759
119.59/119.67 v 68761
119.59/119.67 v 68763
119.59/119.67 v 68765
119.59/119.67 v 68767
119.59/119.67 v 68769
119.59/119.67 v 68771
119.59/119.67 v 68773
119.59/119.67 v 68775
119.59/119.67 v 68777
119.59/119.67 v 68779
119.59/119.67 v 68781
119.59/119.67 v 68783
119.59/119.67 v 68785
119.59/119.67 v 68787
119.59/119.67 v 68789
119.59/119.67 v 68791
119.59/119.67 v 68793
119.59/119.67 v 68795
119.59/119.67 v 68797
119.59/119.67 v 68799
119.59/119.67 v 68801
119.59/119.67 v 68803
119.59/119.67 v 68805
119.59/119.67 v 68807
119.59/119.67 v 68809
119.59/119.67 v 68811
119.59/119.67 v 68813
119.59/119.67 v 68815
119.59/119.67 v 68817
119.59/119.67 v 68819
119.59/119.67 v 68821
119.59/119.67 v 68823
119.59/119.67 v 68825
119.59/119.67 v 68827
119.59/119.67 v 68829
119.59/119.67 v 68831
119.59/119.67 v 68833
119.59/119.67 v 68835
119.59/119.67 v 68837
119.59/119.67 v 68839
119.59/119.67 v 68841
119.59/119.67 v 68843
119.59/119.67 v 68845
119.59/119.67 v 68847
119.59/119.67 v 68849
119.59/119.67 v 68851
119.59/119.67 v 68853
119.59/119.67 v 68855
119.59/119.67 v 68857
119.59/119.67 v 68859
119.59/119.67 v 68861
119.59/119.67 v 68863
119.59/119.67 v 68865
119.59/119.67 v 68867
119.59/119.67 v 68869
119.59/119.67 v 68871
119.59/119.67 v 68873
119.59/119.67 v 68875
119.59/119.67 v 68877
119.59/119.67 v 68879
119.59/119.67 v 68881
119.59/119.67 v 68883
119.59/119.67 v 68885
119.59/119.67 v 68887
119.59/119.67 v 68889
119.59/119.67 v 68891
119.59/119.67 v 68893
119.59/119.67 v 68895
119.59/119.67 v 68897
119.59/119.67 v 68899
119.59/119.67 v 68901
119.59/119.67 v 68903
119.59/119.67 v 68905
119.59/119.67 v 68907
119.59/119.67 v 68909
119.59/119.67 v 68911
119.59/119.67 v 68913
119.59/119.67 v 68915
119.59/119.67 v 68917
119.59/119.67 v 68919
119.59/119.67 v 68921
119.59/119.67 v 68923
119.59/119.67 v 68925
119.59/119.67 v 68927
119.59/119.67 v 68929
119.59/119.67 v 68931
119.59/119.67 v 68933
119.59/119.67 v 68935
119.59/119.67 v 68937
119.59/119.67 v 68939
119.59/119.67 v 68941
119.59/119.67 v 68943
119.59/119.67 v 68945
119.59/119.67 v 68947
119.59/119.67 v 68949
119.59/119.67 v 68951
119.59/119.67 v 68953
119.59/119.67 v 68955
119.59/119.67 v 68957
119.59/119.67 v 68959
119.59/119.67 v 68961
119.59/119.67 v 68963
119.59/119.67 v 68965
119.59/119.67 v 68967
119.59/119.67 v 68969
119.59/119.67 v 68971
119.59/119.67 v 68973
119.59/119.67 v 68975
119.59/119.67 v 68977
119.59/119.67 v 68979
119.59/119.67 v 68981
119.59/119.67 v 68983
119.59/119.67 v 68985
119.59/119.67 v 68987
119.59/119.67 v 68989
119.59/119.67 v 68991
119.59/119.67 v 68993
119.59/119.67 v 68995
119.59/119.67 v 68997
119.59/119.67 v 68999
119.59/119.67 v 69000
119.59/119.67 v 69003
119.59/119.67 v 69006
119.59/119.67 v 69009
119.59/119.67 v 69010
119.59/119.67 v 69013
119.59/119.67 v 69014
119.59/119.67 v 69017
119.59/119.67 v 69020
119.59/119.67 v 69024
119.59/119.67 v 69025
119.59/119.67 v 69030
119.59/119.67 v 69031
119.59/119.67 v 69034
119.59/119.67 v 69037
119.59/119.67 v 69041
119.59/119.67 v 69042
119.59/119.67 v 69047
119.59/119.67 v 69048
119.59/119.67 v 69051
119.59/119.67 v 69054
119.59/119.67 v 69058
119.59/119.67 v 69059
119.59/119.67 v 69064
119.59/119.67 v 69065
119.59/119.67 v 69068
119.59/119.67 v 69071
119.59/119.67 v 69075
119.59/119.67 v 69076
119.59/119.67 v 69081
119.59/119.67 v 69082
119.59/119.67 v 69085
119.59/119.67 v 69088
119.59/119.67 v 69092
119.59/119.67 v 69093
119.59/119.67 v 69098
119.59/119.67 v 69099
119.59/119.67 v 69102
119.59/119.67 v 69105
119.59/119.67 v 69109
119.59/119.67 v 69110
119.59/119.67 v 69115
119.59/119.67 v 69116
119.59/119.67 v 69119
119.59/119.67 v 69122
119.59/119.67 v 69126
119.59/119.67 v 69127
119.59/119.67 v 69132
119.59/119.67 v 69133
119.59/119.67 v 69136
119.59/119.67 v 69139
119.59/119.67 v 69143
119.59/119.67 v 69144
119.59/119.67 v 69149
119.59/119.67 v 69150
119.59/119.67 v 69153
119.59/119.67 v 69156
119.59/119.67 v 69160
119.59/119.67 v 69161
119.59/119.67 v 69166
119.59/119.67 v 69167
119.59/119.67 v 69170
119.59/119.67 v 69173
119.59/119.67 v 69177
119.59/119.67 v 69178
119.59/119.67 v 69183
119.59/119.67 v 69184
119.59/119.67 v 69187
119.59/119.67 v 69190
119.59/119.67 v 69194
119.59/119.67 v 69195
119.59/119.67 v 69200
119.59/119.67 v 69201
119.59/119.67 v 69204
119.59/119.67 v 69207
119.59/119.67 v 69211
119.59/119.67 v 69212
119.59/119.67 v 69217
119.59/119.67 v 69218
119.59/119.67 v 69221
119.59/119.67 v 69224
119.59/119.67 v 69228
119.59/119.67 v 69229
119.59/119.67 v 69234
119.59/119.67 v 69235
119.59/119.67 v 69238
119.59/119.67 v 69241
119.59/119.67 v 69245
119.59/119.67 v 69246
119.59/119.67 v 69251
119.59/119.67 v 69252
119.59/119.67 v 69255
119.59/119.67 v 69258
119.59/119.67 v 69262
119.59/119.67 v 69263
119.59/119.67 v 69268
119.59/119.67 v 69269
119.59/119.67 v 69272
119.59/119.67 v 69275
119.59/119.67 v 69279
119.59/119.67 v 69280
119.59/119.67 v 69285
119.59/119.67 v 69286
119.59/119.67 v 69289
119.59/119.67 v 69292
119.59/119.67 v 69296
119.59/119.67 v 69297
119.59/119.67 v 69302
119.59/119.67 v 69303
119.59/119.67 v 69306
119.59/119.67 v 69309
119.59/119.67 v 69313
119.59/119.67 v 69314
119.59/119.67 v 69319
119.59/119.67 v 69320
119.59/119.67 v 69323
119.59/119.67 v 69326
119.59/119.67 v 69330
119.59/119.67 v 69331
119.59/119.67 v 69336
119.59/119.67 v 69337
119.59/119.67 v 69340
119.59/119.67 v 69343
119.59/119.67 v 69347
119.59/119.67 v 69348
119.59/119.67 v 69353
119.59/119.67 v 69354
119.59/119.67 v 69357
119.59/119.67 v 69360
119.59/119.67 v 69364
119.59/119.67 v 69365
119.59/119.67 v 69370
119.59/119.67 v 69371
119.59/119.67 v 69374
119.59/119.67 v 69377
119.59/119.67 v 69381
119.59/119.67 v 69382
119.59/119.67 v 69387
119.59/119.67 v 69388
119.59/119.67 v 69391
119.59/119.67 v 69394
119.59/119.67 v 69398
119.59/119.67 v 69399
119.59/119.67 v 69404
119.59/119.67 v 69405
119.59/119.67 v 69408
119.59/119.67 v 69411
119.59/119.67 v 69415
119.59/119.67 v 69416
119.59/119.67 v 69421
119.59/119.67 v 69422
119.59/119.67 v 69425
119.59/119.67 v 69428
119.59/119.67 v 69432
119.59/119.67 v 69433
119.59/119.67 v 69438
119.59/119.67 v 69439
119.59/119.67 v 69442
119.59/119.67 v 69445
119.59/119.67 v 69449
119.59/119.67 v 69450
119.59/119.67 v 69455
119.59/119.67 v 69456
119.59/119.67 v 69459
119.59/119.67 v 69462
119.59/119.67 v 69466
119.59/119.67 v 69467
119.59/119.67 v 69472
119.59/119.67 v 69473
119.59/119.67 v 69476
119.59/119.67 v 69479
119.59/119.67 v 69483
119.59/119.67 v 69484
119.59/119.67 v 69489
119.59/119.67 v 69490
119.59/119.67 v 69493
119.59/119.67 v 69496
119.59/119.67 v 69500
119.59/119.67 v 69501
119.59/119.67 v 69506
119.59/119.67 v 69507
119.59/119.67 v 69510
119.59/119.67 v 69513
119.59/119.67 v 69517
119.59/119.67 v 69518
119.59/119.67 v 69523
119.59/119.67 v 69524
119.59/119.67 v 69527
119.59/119.67 v 69530
119.59/119.67 v 69534
119.59/119.67 v 69535
119.59/119.67 v 69540
119.59/119.67 v 69541
119.59/119.67 v 69544
119.59/119.67 v 69547
119.59/119.67 v 69551
119.59/119.67 v 69552
119.59/119.67 v 69557
119.59/119.67 v 69558
119.59/119.67 v 69561
119.59/119.67 v 69564
119.59/119.67 v 69568
119.59/119.67 v 69569
119.59/119.67 v 69574
119.59/119.67 v 69575
119.59/119.67 v 69578
119.59/119.67 v 69581
119.59/119.67 v 69585
119.59/119.67 v 69586
119.59/119.67 v 69591
119.59/119.67 v 69592
119.59/119.67 v 69595
119.59/119.67 v 69598
119.59/119.67 v 69602
119.59/119.67 v 69603
119.59/119.67 v 69608
119.59/119.67 v 69609
119.59/119.67 v 69612
119.59/119.67 v 69615
119.59/119.67 v 69619
119.59/119.67 v 69620
119.59/119.67 v 69625
119.59/119.67 v 69626
119.59/119.67 v 69629
119.59/119.67 v 69632
119.59/119.67 v 69636
119.59/119.67 v 69637
119.59/119.67 v 69642
119.59/119.67 v 69643
119.59/119.67 v 69646
119.59/119.67 v 69649
119.59/119.67 v 69653
119.59/119.67 v 69654
119.59/119.67 v 69659
119.59/119.67 v 69660
119.59/119.67 v 69663
119.59/119.67 v 69666
119.59/119.67 v 69670
119.59/119.67 v 69671
119.59/119.67 v 69676
119.59/119.67 v 69677
119.59/119.67 v 69680
119.59/119.67 v 69683
119.59/119.67 v 69687
119.59/119.67 v 69688
119.59/119.67 v 69693
119.59/119.67 v 69694
119.59/119.67 v 69697
119.59/119.67 v 69700
119.59/119.67 v 69704
119.59/119.67 v 69705
119.59/119.67 v 69710
119.59/119.67 v 69711
119.59/119.67 v 69714
119.59/119.67 v 69717
119.59/119.67 v 69721
119.59/119.67 v 69722
119.59/119.67 v 69727
119.59/119.67 v 69728
119.59/119.67 v 69731
119.59/119.67 v 69734
119.59/119.67 v 69738
119.59/119.67 v 69739
119.59/119.67 v 69744
119.59/119.67 v 69745
119.59/119.67 v 69748
119.59/119.67 v 69751
119.59/119.67 v 69755
119.59/119.67 v 69756
119.59/119.67 v 69761
119.59/119.67 v 69762
119.59/119.67 v 69765
119.59/119.67 v 69768
119.59/119.67 v 69772
119.59/119.67 v 69773
119.59/119.67 v 69778
119.59/119.67 v 69779
119.59/119.67 v 69782
119.59/119.67 v 69785
119.59/119.67 v 69789
119.59/119.67 v 69790
119.59/119.67 v 69795
119.59/119.67 v 69796
119.59/119.67 v 69799
119.59/119.67 v 69802
119.59/119.67 v 69806
119.59/119.67 v 69807
119.59/119.67 v 69812
119.59/119.67 v 69813
119.59/119.67 v 69816
119.59/119.67 v 69819
119.59/119.67 v 69823
119.59/119.67 v 69824
119.59/119.67 v 69829
119.59/119.67 v 69830
119.59/119.67 v 69833
119.59/119.67 v 69836
119.59/119.67 v 69840
119.59/119.67 v 69841
119.59/119.67 v 69846
119.59/119.67 v 69847
119.59/119.67 v 69850
119.59/119.67 v 69853
119.59/119.67 v 69857
119.59/119.67 v 69858
119.59/119.67 v 69863
119.59/119.67 v 69864
119.59/119.67 v 69867
119.59/119.67 v 69870
119.59/119.67 v 69874
119.59/119.67 v 69875
119.59/119.67 v 69880
119.59/119.67 v 69881
119.59/119.67 v 69884
119.59/119.67 v 69887
119.59/119.67 v 69891
119.59/119.67 v 69892
119.59/119.67 v 69897
119.59/119.67 v 69898
119.59/119.67 v 69901
119.59/119.67 v 69904
119.59/119.67 v 69908
119.59/119.67 v 69909
119.59/119.67 v 69914
119.59/119.67 v 69915
119.59/119.67 v 69918
119.59/119.67 v 69921
119.59/119.67 v 69925
119.59/119.67 v 69926
119.59/119.67 v 69931
119.59/119.67 v 69932
119.59/119.67 v 69935
119.59/119.67 v 69938
119.59/119.67 v 69942
119.59/119.67 v 69943
119.59/119.67 v 69948
119.59/119.67 v 69949
119.59/119.67 v 69952
119.59/119.67 v 69955
119.59/119.67 v 69959
119.59/119.67 v 69960
119.59/119.67 v 69965
119.59/119.67 v 69966
119.59/119.67 v 69969
119.59/119.67 v 69972
119.59/119.67 v 69976
119.59/119.67 v 69977
119.59/119.67 v 69982
119.59/119.67 v 69983
119.59/119.67 v 69986
119.59/119.67 v 69989
119.59/119.67 v 69993
119.59/119.67 v 69994
119.59/119.67 v 69999
119.59/119.67 v 70000
119.59/119.67 v 70003
119.59/119.67 v 70006
119.59/119.67 v 70010
119.59/119.67 v 70011
119.59/119.67 v 70016
119.59/119.67 v 70017
119.59/119.67 v 70020
119.59/119.67 v 70023
119.59/119.67 v 70027
119.59/119.67 v 70028
119.59/119.67 v 70033
119.59/119.67 v 70034
119.59/119.67 v 70037
119.59/119.67 v 70040
119.59/119.67 v 70044
119.59/119.67 v 70045
119.59/119.67 v 70050
119.59/119.67 v 70051
119.59/119.67 v 70054
119.59/119.67 v 70057
119.59/119.67 v 70061
119.59/119.67 v 70062
119.59/119.67 v 70067
119.59/119.67 v 70068
119.59/119.67 v 70071
119.59/119.67 v 70074
119.59/119.67 v 70078
119.59/119.67 v 70079
119.59/119.67 v 70085
119.59/119.67 v 70087
119.59/119.67 v 70088
119.59/119.67 v 70090
119.59/119.67 v 70092
119.59/119.67 v 70094
119.59/119.67 v 70096
119.59/119.67 v 70098
119.59/119.67 v 70100
119.59/119.67 v 70102
119.59/119.67 v 70104
119.59/119.67 v 70106
119.59/119.67 v 70108
119.59/119.67 v 70110
119.59/119.67 v 70112
119.59/119.67 v 70114
119.59/119.67 v 70116
119.59/119.67 v 70118
119.59/119.67 v 70120
119.59/119.67 v 70122
119.59/119.67 v 70124
119.59/119.67 v 70126
119.59/119.67 v 70128
119.59/119.67 v 70130
119.59/119.67 v 70132
119.59/119.67 v 70134
119.59/119.67 v 70136
119.59/119.67 v 70138
119.59/119.67 v 70140
119.59/119.67 v 70142
119.59/119.67 v 70144
119.59/119.67 v 70146
119.59/119.67 v 70148
119.59/119.67 v 70150
119.59/119.67 v 70153
119.59/119.67 v 70155
119.59/119.67 v 70157
119.59/119.67 v 70158
119.59/119.67 v 70160
119.59/119.67 v 70324
119.59/119.67 v 70327
119.59/119.67 v 70328
119.59/119.67 v 70330
119.59/119.67 v 70331
119.59/119.67 v 0
119.59/119.67 c [picomus] computed 3073 irredundant clauses 4%
119.59/119.67 c [picomus] 88 reductions in 119.7 seconds
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493486-1307799035/watcher-3493486-1307799035 -o /tmp/evaluation-result-3493486-1307799035/solver-3493486-1307799035 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493486-1307799035.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.12 2.31 1.39 5/190 24037
/proc/meminfo: memFree=31155588/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=1884 CPUtime=0 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 229 0 0 0 0 0 0 0 25 0 1 0 891501736 1929216 183 33554432000 134512640 135072097 4291129328 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 471 183 53 137 0 332 0
[startup+0.057553 s]
/proc/loadavg: 4.12 2.31 1.39 5/190 24037
/proc/meminfo: memFree=31155588/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=7436 CPUtime=0.05 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 1740 0 0 0 5 0 0 0 25 0 1 0 891501736 7614464 1693 33554432000 134512640 135072097 4291129328 18446744073709551615 134536888 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 1859 1693 68 137 0 1720 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7436
[startup+0.100581 s]
/proc/loadavg: 4.12 2.31 1.39 5/190 24037
/proc/meminfo: memFree=31155588/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=7568 CPUtime=0.09 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 1773 0 0 0 9 0 0 0 25 0 1 0 891501736 7749632 1726 33554432000 134512640 135072097 4291129328 18446744073709551615 134565963 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 1892 1726 68 137 0 1753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7568
[startup+0.300508 s]
/proc/loadavg: 4.12 2.31 1.39 5/190 24037
/proc/meminfo: memFree=31155588/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=5404 CPUtime=0.29 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 3629 0 0 0 29 0 0 0 25 0 1 0 891501736 5533696 1178 33554432000 134512640 135072097 4291129328 18446744073709551615 134543434 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 1351 1178 76 137 0 1212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5404
[startup+0.700431 s]
/proc/loadavg: 4.12 2.31 1.39 5/190 24037
/proc/meminfo: memFree=31155588/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10288 CPUtime=0.68 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6203 0 0 0 68 0 0 0 25 0 1 0 891501736 10534912 2341 33554432000 134512640 135072097 4291129328 18446744073709551615 134518160 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2572 2341 77 137 0 2433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10288
[startup+1.50031 s]
/proc/loadavg: 4.12 2.31 1.39 5/191 24038
/proc/meminfo: memFree=31146552/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10288 CPUtime=1.48 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6203 0 0 0 148 0 0 0 25 0 1 0 891501736 10534912 2341 33554432000 134512640 135072097 4291129328 18446744073709551615 134583714 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2572 2341 77 137 0 2433 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10288
[startup+3.10103 s]
/proc/loadavg: 4.12 2.31 1.39 5/191 24038
/proc/meminfo: memFree=31145932/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10288 CPUtime=3.09 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6203 0 0 0 309 0 0 0 25 0 1 0 891501736 10534912 2341 33554432000 134512640 135072097 4291129328 18446744073709551615 134549036 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2572 2341 77 137 0 2433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10288
[startup+6.30041 s]
/proc/loadavg: 4.11 2.34 1.40 5/191 24038
/proc/meminfo: memFree=31146008/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10288 CPUtime=6.29 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6203 0 0 0 629 0 0 0 25 0 1 0 891501736 10534912 2341 33554432000 134512640 135072097 4291129328 18446744073709551615 134543512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2572 2341 77 137 0 2433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10288
[startup+12.7003 s]
/proc/loadavg: 4.10 2.36 1.41 5/191 24039
/proc/meminfo: memFree=31145524/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10288 CPUtime=12.68 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6203 0 0 0 1268 0 0 0 25 0 1 0 891501736 10534912 2341 33554432000 134512640 135072097 4291129328 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2572 2341 77 137 0 2433 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10288
[startup+25.5009 s]
/proc/loadavg: 4.08 2.44 1.45 5/191 24039
/proc/meminfo: memFree=31145636/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10420 CPUtime=25.49 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6214 0 0 0 2548 1 0 0 25 0 1 0 891501736 10670080 2352 33554432000 134512640 135072097 4291129328 18446744073709551615 134585038 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2605 2352 77 137 0 2466 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10420
[startup+51.1003 s]
/proc/loadavg: 4.05 2.57 1.52 5/191 24040
/proc/meminfo: memFree=31145564/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10552 CPUtime=51.09 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6264 0 0 0 5107 2 0 0 25 0 1 0 891501736 10805248 2402 33554432000 134512640 135072097 4291129328 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2638 2402 77 137 0 2499 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10552
[startup+102.307 s]
/proc/loadavg: 4.02 2.79 1.65 5/191 24041
/proc/meminfo: memFree=31111416/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=102.3 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 10228 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134518194 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 10816
Solver just ended. Dumping a history of the last processes samples
[startup+108.701 s]
/proc/loadavg: 4.02 2.81 1.66 5/191 24041
/proc/meminfo: memFree=31111532/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=108.69 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 10867 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 10816
[startup+115.101 s]
/proc/loadavg: 4.02 2.83 1.67 5/191 24041
/proc/meminfo: memFree=31111528/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=115.09 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 11507 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 10816
[startup+116.7 s]
/proc/loadavg: 4.01 2.84 1.68 5/191 24041
/proc/meminfo: memFree=31111404/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=116.69 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 11667 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134583809 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (KiB) 10816
[startup+118.301 s]
/proc/loadavg: 4.01 2.84 1.68 5/191 24041
/proc/meminfo: memFree=31111404/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=118.29 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 11827 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134518160 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 118.29
Current children cumulated vsize (KiB) 10816
[startup+119.101 s]
/proc/loadavg: 4.01 2.84 1.68 5/191 24041
/proc/meminfo: memFree=31111404/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=119.09 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 11907 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134585057 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 119.09
Current children cumulated vsize (KiB) 10816
[startup+119.501 s]
/proc/loadavg: 4.01 2.84 1.68 5/191 24041
/proc/meminfo: memFree=31111404/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=119.49 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 11947 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134518239 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 119.49
Current children cumulated vsize (KiB) 10816
[startup+119.601 s]
/proc/loadavg: 4.01 2.84 1.68 5/191 24041
/proc/meminfo: memFree=31111404/32951124 swapFree=67063556/67111528
[pid=24037] ppid=24035 vsize=10816 CPUtime=119.59 cores=0,2
/proc/24037/stat : 24037 (picomus) R 24035 24037 23765 0 -1 4202496 6326 0 0 0 11957 2 0 0 25 0 1 0 891501736 11075584 2464 33554432000 134512640 135072097 4291129328 18446744073709551615 134585038 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24037/statm: 2704 2464 77 137 0 2565 0
Current children cumulated CPU time (s) 119.59
Current children cumulated vsize (KiB) 10816
Child status: 20
Real time (s): 119.671
CPU time (s): 119.669
CPU user time (s): 119.639
CPU system time (s): 0.029995
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 10816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.639
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6327
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= 4
involuntary context switches= 498
runsolver used 0.211967 second user time and 0.45893 second system time
The end
Begin job on node134 at 2011-06-11 15:30:35
IDJOB=3493486
IDBENCH=89565
IDSOLVER=1974
FILE ID=node134/3493486-1307799035
RUNJOBID= node134-1307798803-23783
PBS_JOBID= 13551014
Free space on /tmp= 74112 MiB
SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/software-verification/bin_libsmbsharemodes_vc4083.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493486-1307799035/watcher-3493486-1307799035 -o /tmp/evaluation-result-3493486-1307799035/solver-3493486-1307799035 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493486-1307799035.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b90910fdef31a071a98135b45fb07f7d
RANDOM SEED=2018114244
node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 7186.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31156256 kB
Buffers: 316788 kB
Cached: 720428 kB
SwapCached: 10284 kB
Active: 1052076 kB
Inactive: 540920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31156256 kB
SwapTotal: 67111528 kB
SwapFree: 67063556 kB
Dirty: 1988 kB
Writeback: 0 kB
AnonPages: 553008 kB
Mapped: 11092 kB
Slab: 137152 kB
PageTables: 5528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 761736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74108 MiB
End job on node134 at 2011-06-11 15:32:35