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

int main() {
  int N, M, c=0, i=0;
  long long ans = 0;
  cin >> N >> M;
  vector<pair<int, int>> A(N);
  for(int i = 0; i < N; i++) {
    cin >> A[i].first >> A[i].second;
  }
  sort(A.begin(), A.end());
  while(c < M){
    if(A[i].second > 0){
      c++;
      A[i].second--;
      ans += A[i].first;
    }else{
      i++;
    }
  }
  cout << ans;
}