#include<bits/stdc++.h>
using namespace std;
#define LL long long

int main()
{
  LL n,m,j=0,ans=0;
  pair<LL,LL> pii[100005];

  cin>>n>>m;

  for(int i=0; i<n; i++){
    cin>>pii[i].first>>pii[i].second;
  }

  sort(pii,pii+n);

  while(m>0){
    if(m>=pii[j].second){
      ans+=pii[j].second*pii[j].first;
      m-=pii[j].second;
      j++;
    }else{
      ans+=pii[j].first*m;
      m=0;
    }
  }
  cout<<ans<<'\n';
  return 0;
}
