#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
    ios_base:: sync_with_stdio(false);
    cin.tie(NULL); cout.tie(NULL);
    ll tot=0,ans=0,n,m;cin>>n>>m;
    pair<ll,ll> a[n];
    for(ll i=0;i<n;i++)cin>>a[i].first>>a[i].second;
    sort(a,a+n);
    for(ll i=0;i<n && tot<m ;i++){
        ans+=min(m-tot,a[i].second)*a[i].first;
        tot+=min(m-tot,a[i].second);
    }
    cout<<ans;
}
