--2013-09-29 21:42:50--  http://www.gecode.org/download/gecode-4.2.0.tar.gz
Resolving www.gecode.org... 89.110.157.92
Connecting to www.gecode.org|89.110.157.92|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 1891017 (1.8M) [application/x-gzip]
Saving to: `./gecode-4.2.0.tar.gz'

     0K .......... .......... .......... .......... ..........  2% 63.4K 28s
    50K .......... .......... .......... .......... ..........  5%  152K 20s
   100K .......... .......... .......... .......... ..........  8%  156K 16s
   150K .......... .......... .......... .......... .......... 10%  301K 13s
   200K .......... .......... .......... .......... .......... 13%  246K 12s
   250K .......... .......... .......... .......... .......... 16%  314K 10s
   300K .......... .......... .......... .......... .......... 18%  439K 9s
   350K .......... .......... .......... .......... .......... 21%  328K 8s
   400K .......... .......... .......... .......... .......... 24% 2.64M 7s
   450K .......... .......... .......... .......... .......... 27%  351K 6s
   500K .......... .......... .......... .......... .......... 29% 4.29M 6s
   550K .......... .......... .......... .......... .......... 32%  457K 5s
   600K .......... .......... .......... .......... .......... 35% 1.05M 5s
   650K .......... .......... .......... .......... .......... 37%  641K 4s
   700K .......... .......... .......... .......... .......... 40%  674K 4s
   750K .......... .......... .......... .......... .......... 43% 4.46M 4s
   800K .......... .......... .......... .......... .......... 46%  696K 3s
   850K .......... .......... .......... .......... .......... 48%  665K 3s
   900K .......... .......... .......... .......... .......... 51% 4.01M 3s
   950K .......... .......... .......... .......... .......... 54%  720K 2s
  1000K .......... .......... .......... .......... .......... 56% 1.01M 2s
  1050K .......... .......... .......... .......... .......... 59% 1.29M 2s
  1100K .......... .......... .......... .......... .......... 62%  849K 2s
  1150K .......... .......... .......... .......... .......... 64%  483K 2s
  1200K .......... .......... .......... .......... .......... 67%  440K 2s
  1250K .......... .......... .......... .......... .......... 70%  468K 1s
  1300K .......... .......... .......... .......... .......... 73%  477K 1s
  1350K .......... .......... .......... .......... .......... 75%  858K 1s
  1400K .......... .......... .......... .......... .......... 78%  508K 1s
  1450K .......... .......... .......... .......... .......... 81%  840K 1s
  1500K .......... .......... .......... .......... .......... 83%  630K 1s
  1550K .......... .......... .......... .......... .......... 86%  657K 1s
  1600K .......... .......... .......... .......... .......... 89% 4.22M 0s
  1650K .......... .......... .......... .......... .......... 92%  530K 0s
  1700K .......... .......... .......... .......... .......... 94%  747K 0s
  1750K .......... .......... .......... .......... .......... 97% 4.09M 0s
  1800K .......... .......... .......... .......... ......    100%  762K=4.1s

2013-09-29 21:42:55 (446 KB/s) - `./gecode-4.2.0.tar.gz' saved [1891017/1891017]