# 栄養ドリンクにレーティング上昇効果があると聞いた高橋くんは、
# M 本の栄養ドリンクを買い集めることにしました。
# 栄養ドリンクが売られている店は N 軒あり、
# i 軒目の店では 1 本 Ai 円の栄養ドリンクを Bi 本まで買うことができます。
# 最小で何円あれば M 本の栄養ドリンクを買い集めることができるでしょうか。
# なお、与えられる入力では、十分なお金があれば
# M 本の栄養ドリンクを買い集められることが保証されます。

# 栄養ドリンクが売られている店の軒数、必要な栄養ドリンクの本数を取得
line_1 = gets.chomp.split
n = line_1[0].to_i
m = line_1[1].to_i

# その店での栄養ドリンクの値段、買うことのできる本数を格納する配列を宣言
a = Array.new
b = Array.new

# それぞれの店における情報を取得
n.times do
  line = gets.chomp.split
  a << line[0].to_i
  b << line[1].to_i
end

# 何回目のループか数える変数を宣言
counter = 0

# 必要なお金はいくらか格納する変数を宣言
money = 0

# 栄養ドリンクを必要な本数買い集める
loop do
  # その店の栄養ドリンクの値段を取得
  price = a.sort[counter]
  
  # その店で買うことのできる栄養ドリンクの本数を取得
  limit = b[a.find_index(price)]
  
  # 買うことができるだけ栄養ドリンクを買う
  limit.times do
    m -= 1
    if m >= 0
      money += price
    else
      break
    end
  end
  
  # 必要な本数買うことができたか判定
  if m >= 0
    counter += 1
  else
    break
  end
end

# 結果を出力
puts money