(N,M)=gets.split.map(&:to_i)
p ARGF.map{|s| s.split.map(&:to_i)}.sort_by(&:first).map {|e,n|
    c=M
    if c==0 then
        0
    elsif c <n then
        M=0
        e*c
    else
        M-=n
        e*n
    end
}.reduce(:+)