n,m = gets.chomp.split.map{|i|i = i.to_i}
a=[]
n.times do|i|
  arr = gets.chomp.split.map{|i|i = i.to_i}
	a << [arr[0],arr[1]]
end
#puts "n=#{n}, m=#{m}"
a.sort_by!{|i|i[0]}

#puts "a=#{a}"
drink_num=0
sum_money=0
while drink_num<m do
	if (m-drink_num) < a[0][1] then
		sum_money += (m - drink_num) * a[0][0]
		drink_num += (m - drink_num)
		break
	else
		drink_num += a[0][1]
		sum_money += a[0][1] * a[0][0]
		a.delete_at(0)
	end
	#puts "now a = #{a}, drink_num = #{drink_num}, sum_money = #{sum_money}"
end
#puts "final, drink_num=#{drink_num}, sum_money=#{sum_money}"
puts sum_money
