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

ab={}

ans = 0

num = 0

#{}でハッシュをつくる

n.times do
  a,b = gets.chop.split.map(&:to_i)

  if ab.has_key?(a)
    ab[a] += b
  else
    ab[a] = b
  end
end


ab = Hash[ab.sort]


ab.each{ |key, value|

  if num == m then
    break
  end


  if m >= num + value then
    num = num + value
    ans = ans + key * value
  else
    value.times do
      if num == m then
        break
      else
        num = num + 1
        ans = ans + key
      end
    end
  end
}

puts ans
