n, m = gets.split.map(&:to_i)
a_b = n.times.map { gets.split.map(&:to_i) }.sort{ |p, q| p[0] <=> q[0] }
ans = 0
a_b.each do |p, q|
    if q > m
        ans += p * m
        break
    else
        ans += p * q
        m -= q
    end
end
puts ans
