N, M = gets.split.map(&:to_i)
AB = N.times.map { gets.split.map(&:to_i) }
AB.sort!{|i, j| i[0] <=> j[0]}

res = 0
AB.each do |ab|
  if ab[1] < M
    res += ab[0] * ab[1]
    M -= ab[1]
  else
    puts res + ab[0] * M
    break
  end  
end

