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

int main(void){
	long long N,M;
	cin >> N >> M;
	vector<pair<long long , long long >> v;
	for(int i=0;i<N;i++){
		long long a,b;
		cin >> a >> b;
		v.push_back({a,b});
	}
	sort(v.begin(),v.end());
	long long ans = 0;
	for(int i=0;i<N;i++){
		if(M>=v[i].second){
			ans += v[i].first*v[i].second;
			M -= v[i].second;
		}else{
			ans += M*v[i].first;
			break;
		}
	}
	cout << ans << endl;
}