--2013-09-29 21:09:46-- http://frama-c.com/download/frama-c-Fluorine-20130601.tar.gz Resolving frama-c.com... 91.121.30.32 Connecting to frama-c.com|91.121.30.32|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 9729343 (9.3M) [application/x-gzip] Saving to: `./frama-c-Fluorine-20130601.tar.gz' 0K .......... .......... .......... .......... .......... 0% 64.5K 2m27s 50K .......... .......... .......... .......... .......... 1% 156K 1m43s 100K .......... .......... .......... .......... .......... 1% 88.5K 1m44s 150K .......... .......... .......... .......... .......... 2% 88.8K 1m43s 200K .......... .......... .......... .......... .......... 2% 75.6K 1m47s 250K .......... .......... .......... .......... .......... 3% 95.2K 1m45s 300K .......... .......... .......... .......... .......... 3% 86.0K 1m44s 350K .......... .......... .......... .......... .......... 4% 95.8K 1m43s 400K .......... .......... .......... .......... .......... 4% 102K 1m41s 450K .......... .......... .......... .......... .......... 5% 96.7K 99s 500K .......... .......... .......... .......... .......... 5% 106K 98s 550K .......... .......... .......... .......... .......... 6% 100K 96s 600K .......... .......... .......... .......... .......... 6% 102K 95s 650K .......... .......... .......... .......... .......... 7% 111K 93s 700K .......... .......... .......... .......... .......... 7% 140K 91s 750K .......... .......... .......... .......... .......... 8% 106K 90s 800K .......... .......... .......... .......... .......... 8% 129K 88s 850K .......... .......... .......... .......... .......... 9% 115K 87s 900K .......... .......... .......... .......... .......... 9% 102K 86s 950K .......... .......... .......... .......... .......... 10% 101K 86s 1000K .......... .......... .......... .......... .......... 11% 118K 85s 1050K .......... .......... .......... .......... .......... 11% 116K 83s 1100K .......... .......... .......... .......... .......... 12% 119K 82s 1150K .......... .......... .......... .......... .......... 12% 133K 81s 1200K .......... .......... .......... .......... .......... 13% 117K 80s 1250K .......... .......... .......... .......... .......... 13% 133K 79s 1300K .......... .......... .......... .......... .......... 14% 121K 78s 1350K .......... .......... .......... .......... .......... 14% 135K 77s 1400K .......... .......... .......... .......... .......... 15% 103K 77s 1450K .......... .......... .......... .......... .......... 15% 157K 75s 1500K .......... .......... .......... .......... .......... 16% 123K 75s 1550K .......... .......... .......... .......... .......... 16% 155K 73s 1600K .......... .......... .......... .......... .......... 17% 129K 72s 1650K .......... .......... .......... .......... .......... 17% 155K 71s 1700K .......... .......... .......... .......... .......... 18% 106K 71s 1750K .......... .......... .......... .......... .......... 18% 132K 70s 1800K .......... .......... .......... .......... .......... 19% 157K 69s 1850K .......... .......... .......... .......... .......... 19% 146K 68s 1900K .......... .......... .......... .......... .......... 20% 151K 67s 1950K .......... .......... .......... .......... .......... 21% 124K 67s 2000K .......... .......... .......... .......... .......... 21% 112K 66s 2050K .......... .......... .......... .......... .......... 22% 125K 66s 2100K .......... .......... .......... .......... .......... 22% 109K 65s 2150K .......... .......... .......... .......... .......... 23% 129K 65s 2200K .......... .......... .......... .......... .......... 23% 124K 64s 2250K .......... .......... .......... .......... .......... 24% 156K 63s 2300K .......... .......... .......... .......... .......... 24% 77.2K 64s 2350K .......... .......... .......... .......... .......... 25% 51.6K 65s 2400K .......... .......... .......... .......... .......... 25% 51.9K 66s 2450K .......... .......... .......... .......... .......... 26% 58.1K 66s 2500K .......... .......... .......... .......... .......... 26% 52.7K 67s 2550K .......... .......... .......... .......... .......... 27% 57.9K 68s 2600K .......... .......... .......... .......... .......... 27% 60.3K 68s 2650K .......... .......... .......... .......... .......... 28% 73.6K 68s 2700K .......... .......... .......... .......... .......... 28% 88.9K 68s 2750K .......... .......... .......... .......... .......... 29% 76.7K 67s 2800K .......... .......... .......... .......... .......... 29% 78.1K 67s 2850K .......... .......... .......... .......... .......... 30% 89.9K 67s 2900K .......... .......... .......... .......... .......... 31% 73.3K 67s 2950K .......... .......... .......... .......... .......... 31% 84.5K 66s 3000K .......... .......... .......... .......... .......... 32% 55.0K 67s 3050K .......... .......... .......... .......... .......... 32% 53.4K 67s 3100K .......... .......... .......... .......... .......... 33% 51.5K 68s 3150K .......... .......... .......... .......... .......... 33% 52.1K 68s 3200K .......... .......... .......... .......... .......... 34% 62.3K 68s 3250K .......... .......... .......... .......... .......... 34% 55.7K 68s 3300K .......... .......... .......... .......... .......... 35% 79.6K 68s 3350K .......... .......... .......... .......... .......... 35% 72.9K 67s 3400K .......... .......... .......... .......... .......... 36% 75.0K 67s 3450K .......... .......... .......... .......... .......... 36% 78.3K 66s 3500K .......... .......... .......... .......... .......... 37% 85.0K 66s 3550K .......... .......... .......... .......... .......... 37% 93.4K 65s 3600K .......... .......... .......... .......... .......... 38% 110K 65s 3650K .......... .......... .......... .......... .......... 38% 102K 64s 3700K .......... .......... .......... .......... .......... 39% 128K 63s 3750K .......... .......... .......... .......... .......... 39% 156K 62s 3800K .......... .......... .......... .......... .......... 40% 193K 61s 3850K .......... .......... .......... .......... .......... 41% 157K 61s 3900K .......... .......... .......... .......... .......... 41% 104K 60s 3950K .......... .......... .......... .......... .......... 42% 161K 59s 4000K .......... .......... .......... .......... .......... 42% 156K 58s 4050K .......... .......... .......... .......... .......... 43% 115K 58s 4100K .......... .......... .......... .......... .......... 43% 135K 57s 4150K .......... .......... .......... .......... .......... 44% 126K 56s 4200K .......... .......... .......... .......... .......... 44% 103K 56s 4250K .......... .......... .......... .......... .......... 45% 151K 55s 4300K .......... .......... .......... .......... .......... 45% 73.1K 54s 4350K .......... .......... .......... .......... .......... 46% 85.8K 54s 4400K .......... .......... .......... .......... .......... 46% 78.5K 54s 4450K .......... .......... .......... .......... .......... 47% 104K 53s 4500K .......... .......... .......... .......... .......... 47% 79.0K 53s 4550K .......... .......... .......... .......... .......... 48% 80.0K 52s 4600K .......... .......... .......... .......... .......... 48% 104K 52s 4650K .......... .......... .......... .......... .......... 49% 98.3K 51s 4700K .......... .......... .......... .......... .......... 49% 79.4K 51s 4750K .......... .......... .......... .......... .......... 50% 104K 50s 4800K .......... .......... .......... .......... .......... 51% 117K 49s 4850K .......... .......... .......... .......... .......... 51% 131K 49s 4900K .......... .......... .......... .......... .......... 52% 106K 48s 4950K .......... .......... .......... .......... .......... 52% 154K 47s 5000K .......... .......... .......... .......... .......... 53% 152K 47s 5050K .......... .......... .......... .......... .......... 53% 157K 46s 5100K .......... .......... .......... .......... .......... 54% 161K 45s 5150K .......... .......... .......... .......... .......... 54% 150K 45s 5200K .......... .......... .......... .......... .......... 55% 160K 44s 5250K .......... .......... .......... .......... .......... 55% 158K 43s 5300K .......... .......... .......... .......... .......... 56% 155K 43s 5350K .......... .......... .......... .......... .......... 56% 151K 42s 5400K .......... .......... .......... .......... .......... 57% 156K 41s 5450K .......... .......... .......... .......... .......... 57% 155K 41s 5500K .......... .......... .......... .......... .......... 58% 109K 40s 5550K .......... .......... .......... .......... .......... 58% 140K 39s 5600K .......... .......... .......... .......... .......... 59% 141K 39s 5650K .......... .......... .......... .......... .......... 59% 151K 38s 5700K .......... .......... .......... .......... .......... 60% 162K 38s 5750K .......... .......... .......... .......... .......... 61% 152K 37s 5800K .......... .......... .......... .......... .......... 61% 153K 36s 5850K .......... .......... .......... .......... .......... 62% 150K 36s 5900K .......... .......... .......... .......... .......... 62% 157K 35s 5950K .......... .......... .......... .......... .......... 63% 157K 35s 6000K .......... .......... .......... .......... .......... 63% 159K 34s 6050K .......... .......... .......... .......... .......... 64% 156K 33s 6100K .......... .......... .......... .......... .......... 64% 153K 33s 6150K .......... .......... .......... .......... .......... 65% 113K 32s 6200K .......... .......... .......... .......... .......... 65% 94.5K 32s 6250K .......... .......... .......... .......... .......... 66% 101K 31s 6300K .......... .......... .......... .......... .......... 66% 105K 31s 6350K .......... .......... .......... .......... .......... 67% 84.8K 30s 6400K .......... .......... .......... .......... .......... 67% 133K 30s 6450K .......... .......... .......... .......... .......... 68% 104K 29s 6500K .......... .......... .......... .......... .......... 68% 109K 29s 6550K .......... .......... .......... .......... .......... 69% 128K 28s 6600K .......... .......... .......... .......... .......... 69% 98.8K 28s 6650K .......... .......... .......... .......... .......... 70% 94.0K 27s 6700K .......... .......... .......... .......... .......... 71% 123K 27s 6750K .......... .......... .......... .......... .......... 71% 91.3K 26s 6800K .......... .......... .......... .......... .......... 72% 102K 26s 6850K .......... .......... .......... .......... .......... 72% 94.3K 25s 6900K .......... .......... .......... .......... .......... 73% 84.9K 25s 6950K .......... .......... .......... .......... .......... 73% 95.9K 25s 7000K .......... .......... .......... .......... .......... 74% 100K 24s 7050K .......... .......... .......... .......... .......... 74% 101K 24s 7100K .......... .......... .......... .......... .......... 75% 90.3K 23s 7150K .......... .......... .......... .......... .......... 75% 97.9K 23s 7200K .......... .......... .......... .......... .......... 76% 95.6K 22s 7250K .......... .......... .......... .......... .......... 76% 82.1K 22s 7300K .......... .......... .......... .......... .......... 77% 105K 21s 7350K .......... .......... .......... .......... .......... 77% 99.0K 21s 7400K .......... .......... .......... .......... .......... 78% 85.6K 20s 7450K .......... .......... .......... .......... .......... 78% 92.1K 20s 7500K .......... .......... .......... .......... .......... 79% 87.5K 19s 7550K .......... .......... .......... .......... .......... 79% 105K 19s 7600K .......... .......... .......... .......... .......... 80% 93.5K 18s 7650K .......... .......... .......... .......... .......... 81% 118K 18s 7700K .......... .......... .......... .......... .......... 81% 105K 17s 7750K .......... .......... .......... .......... .......... 82% 106K 17s 7800K .......... .......... .......... .......... .......... 82% 116K 16s 7850K .......... .......... .......... .......... .......... 83% 72.0K 16s 7900K .......... .......... .......... .......... .......... 83% 131K 15s 7950K .......... .......... .......... .......... .......... 84% 87.3K 15s 8000K .......... .......... .......... .......... .......... 84% 104K 14s 8050K .......... .......... .......... .......... .......... 85% 105K 14s 8100K .......... .......... .......... .......... .......... 85% 113K 13s 8150K .......... .......... .......... .......... .......... 86% 97.9K 13s 8200K .......... .......... .......... .......... .......... 86% 112K 12s 8250K .......... .......... .......... .......... .......... 87% 98.3K 12s 8300K .......... .......... .......... .......... .......... 87% 105K 11s 8350K .......... .......... .......... .......... .......... 88% 91.7K 11s 8400K .......... .......... .......... .......... .......... 88% 113K 10s 8450K .......... .......... .......... .......... .......... 89% 112K 10s 8500K .......... .......... .......... .......... .......... 89% 107K 9s 8550K .......... .......... .......... .......... .......... 90% 133K 9s 8600K .......... .......... .......... .......... .......... 91% 112K 8s 8650K .......... .......... .......... .......... .......... 91% 106K 8s 8700K .......... .......... .......... .......... .......... 92% 142K 7s 8750K .......... .......... .......... .......... .......... 92% 114K 7s 8800K .......... .......... .......... .......... .......... 93% 104K 6s 8850K .......... .......... .......... .......... .......... 93% 132K 6s 8900K .......... .......... .......... .......... .......... 94% 104K 5s 8950K .......... .......... .......... .......... .......... 94% 119K 5s 9000K .......... .......... .......... .......... .......... 95% 80.0K 4s 9050K .......... .......... .......... .......... .......... 95% 158K 4s 9100K .......... .......... .......... .......... .......... 96% 73.4K 3s 9150K .......... .......... .......... .......... .......... 96% 77.9K 3s 9200K .......... .......... .......... .......... .......... 97% 63.0K 2s 9250K .......... .......... .......... .......... .......... 97% 54.2K 2s 9300K .......... .......... .......... .......... .......... 98% 73.0K 1s 9350K .......... .......... .......... .......... .......... 98% 76.1K 1s 9400K .......... .......... .......... .......... .......... 99% 78.1K 1s 9450K .......... .......... .......... .......... .......... 99% 79.3K 0s 9500K . 100% 2.56M=95s 2013-09-29 21:11:22 (100 KB/s) - `./frama-c-Fluorine-20130601.tar.gz' saved [9729343/9729343]