n, m = gets.split.map(&:to_i)
ab = n.times.map{ gets.split.map(&:to_i) }.sort

sum = 0

n.times do |i|
  price = ab[i][0]
  num = ab[i][1]

  if m > num
    sum += num*price
    m -= num
  else
    sum += m*price
    break
  end
end

puts sum