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

typedef long long int lli;

int main() {
	lli N, M;
	cin >> N >> M;

	vector<pair<lli,lli>> P(N);
	for (lli i = 0; i < N; i++) {
		cin >> P[i].first >> P[i].second;
	}

	sort(P.begin(), P.end());

	lli sum = 0;
	lli tmp = 0;
	lli i = 0;
	while (tmp < M) {
		sum += P[i].first * min(P[i].second, max(0LL, M - tmp));
		tmp += P[i].second;
		i++;
	}

	cout << sum << endl;

	return 0;
}
