#include <bits/stdc++.h>
using namespace std;
struct node {
  int a, b;
  node() { a = b = 0; }
} node[10005];
int main() {
  int n, v;
  cin >> n >> v;
  for (int i = 0; i < n; i++) {
    int a, b;
    cin >> a >> b;
    node[a].a += b;
  }
  int ans = 0;
  for (int i = 1; i <= 3001; i++) {
    int vv = v;
    if (vv < node[i].b) {
      ans += vv;
      node[i + 1].b += node[i].a;
    } else {
      ans += node[i].b;
      vv -= node[i].b;
      if (vv >= node[i].a) {
        ans += node[i].a;
      } else {
        ans += vv;
        node[i + 1].b += node[i].a - vv;
      }
    }
  }
  cout << ans;
}
