#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main() {
  ll n, m;
  cin>>n>>m;
  ll a[n], b[n];
  for(int i=0; i<n; i++) cin>>a[i]>>b[i];
  pair<ll, ll> p[n];
  for(int i=0; i<n; i++) p[i]={a[i], b[i]};
  sort(p, p+n);
  ll ans=0;
  for(int i=0; i<n; i++){
    ans+=min(p[i].second,m)*p[i].first;
		m-=min(m,p[i].second);
  }
  cout << ans << endl;
  return 0;
}
