N,M=gets.split(" ").map &:to_i
arr =[]
N.times do |n|
  a, b = gets.split(" ").map(&:to_i)
  arr << [a,b]
end
#puts arr
arr.sort_by! do |item|
  item[0]
end

ans = 0
nokori = M
arr.each do |a,b|
  #puts "ans : #{ans} nokonri: #{nokori}"
  break if nokori == 0
  if b >= nokori
    ans += (a*nokori)
    nokori -= nokori
  else
    ans += (a*b)
    nokori -= b
  end
end
#puts "arr : #{arr}"
#puts "ans : #{ans}"

puts ans