N, M = gets.split.map(&:to_i)
ab = N.times.map{gets.split.map(&:to_i)}.sort

ans = 0
sum = 0
ab.each do |a, b|
    if sum + b >= M
        ans += a*(M-sum)
        sum = M
        break
    else
        ans += a*b
        sum += b
    end
end
puts ans