n, m = gets.chomp.split.map(&:to_i)

a = [*n]
b = [*n]

n.times do |i|
  ai, bi = gets.chomp.split.map(&:to_i)
  a[i] = ai
  b[i] = bi
end

c = a.sort

isbreak = false
i = 0
ans = 0
loop do
  n.times do |j|
    if a[j] == c[i] && b[j] < m
      m -= b[j]
      ans += a[j] * b[j]
    elsif a[j] == c[i]
      ans += a[j] * m
      isbreak = true
      break
    end
  end
  break if isbreak == true
  i += 1
end

puts ans