Getting https://gforge.inria.fr/frs/download.php/32925/cmsat-2.9.8.tar.gz to ./cmsat-2.9.8.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0  497k    0     0    0     0      0      0 --:--:--  0:00:01 --:--:--     0
 16  497k   16 81920    0     0  38021      0  0:00:13  0:00:02  0:00:11 38013
100  497k  100  497k    0     0   176k      0  0:00:02  0:00:02 --:--:--  176k