#include <bits/stdc++.h>
using namespace std;
struct node {
  int a, b;
} a[3003];
int n, v, k, vv, i, t, ans, z;
int max(int a, int b) { return (a > b) ? a : b; }
int min(int a, int b) { return (a > b) ? b : a; }
bool cmp(const node& a, const node& b) { return a.a < b.a; }
int main() {
  scanf("%d%d", &n, &v);
  k = 0;
  for (i = 1; i <= n; i++) {
    scanf("%d%d", &a[i].a, &a[i].b);
    k = max(k, a[i].a);
  }
  sort(a + 1, a + n + 1, cmp);
  t = 1;
  for (i = 1; i <= k + 1; i++) {
    while ((i > a[t].a + 1) && t <= n) t++;
    vv = v;
    while (1) {
      if (i < a[t].a || t > n || (!vv)) break;
      a[t].b -= (z = min(a[t].b, vv));
      ans += z;
      vv -= z;
      if (!a[t].b)
        t++;
      else
        break;
    }
    if (t > n) break;
  }
  printf("%d\n", ans);
  return 0;
}
