function Main(input){
    input = input.split("\n");
    var mem = input[0].split(" ").map(Number);
    input.shift();
    var tag = mem[1];
    for(var i=0;i<input.length;i++){
      input[i] = input[i].split(" ").map(Number);
    }
    input = input.sort(function(a,b){return a[0]-b[0];});
    var sum = 0;
    var ans = 0;
    for(i=0;true;i++){
      if(sum+input[i][1]<tag){
        sum += input[i][1];
        ans += input[i][0]*input[i][1];
      }else{
        ans += (tag-sum)*input[i][0];
        break;
      }
    }
   console.log(ans);
  }Main(require("fs").readFileSync("/dev/stdin", "utf8").trim());