import std.stdio;
import std.conv;
import std.string;
import std.typecons;
import std.algorithm;
import std.array;
import std.range;
import std.math;
import std.regex : regex;
import std.container;
import std.bigint;
import std.numeric;


void main()
{
  int n, m;
  readf("%s %s\n", &n, &m);
  int[int] drink;
  foreach (_; 0..n) {
    auto x = readln.chomp.split.to!(int[]);
    drink[x[0]] += x[1];
  }

  auto keys = drink.keys;
  keys.sort();
  int cnt;
  long sum;
  a:foreach (k; keys) {
    while (drink[k] > 0) {
      cnt++;
      sum += k;
      drink[k]--;
      if (cnt == m) {
        break a;
      }
    }
  }
  sum.writeln;
}
