n,m=gets.chomp.split(" ").map(&:to_i)
ab=[]
0.upto(n-1) do |i|
  ab.push(gets.chomp.split(" ").map(&:to_i))
end
ab.sort_by!(&:first)
count=0
while m>0
  kazu=ab[0][1]<m ? ab[0][1] : m
  count+=ab[0][0]*kazu
  ab.shift
  m-=kazu
end
puts count