n, m= gets.chomp.split.map(&:to_i)
a = Array.new(n).map{Array.new(2)}
n.times do |i|
    a[i] = gets.chomp.split.map(&:to_i)
end

a.sort!
ans = 0
while m > 0 do
    
    if m > a[0][1] then
        ans += a[0][0] * a[0][1]
    else
        ans += a[0][0] * m
    end
   m -= a[0][1]
   a.shift
end

puts ans