// Source: https://usaco.guide/general/io

#include <bits/stdc++.h>

#define int long long

using namespace std;

bool cmp_second(const pair<pair<int, int>, int> &a, const pair<pair<int, int>, int> &b) {
	return a.first.second < b.first.second;
}

bool cmp_first(const pair<pair<int, int>, int> &a, const pair<pair<int, int>, int> &b) {
	if (a.first.first == b.first.first) {
		return a.second < b.second;
	}
	
	return a.first.first < b.first.first;
}

pair<bool, int> works(int m, vector<pair<pair<int, int>, int>> &arr, int smax) {
	priority_queue<pair<pair<int, int>, int>, vector<pair<pair<int, int>, int>>, decltype(&cmp_first)> small(cmp_first), big(cmp_first);

	if (smax == 0) {
		return make_pair(true, -1);
	}

	vector<int> dp((int) arr.size());

	int running = 0;

	for (int i = (int) arr.size() - 1; i >= 0; i--) {
		dp[i] = running;
		big.push(arr[i]);
		running += arr[i].first.first;

		while ((int) big.size() > max(0LL, ((i == 0 ? 0 : arr[i - 1].first.second) - m))) {
			running -= big.top().first.first; big.pop();
		}
	}

	int running2 = 0; // less than

	for (int i = 0; i < (int) arr.size(); i++) {
		if ((i + 1 >= m) && (running2 + dp[i] + arr[i].first.first <= smax) && (max(0LL, arr[i].first.second - m) + i < (int) arr.size())) {
			return {true, i};
        }

		small.push(arr[i]);
		running2 += arr[i].first.first;

        while ((int) small.size() >= m) {
			running2 -= small.top().first.first; small.pop();
        }
	}

	return {false, -1};
}

void print_ans(int ans, int m, vector<pair<pair<int, int>, int>> &arr) {
	cout << m << "\n";
	cout << (m + max(0LL, (ans == -1 ? 0 : arr[ans].first.second) - m)) << "\n";

	if ((m + max(0LL, (ans == -1 ? 0 : arr[ans].first.second) - m)) == 0) {
		return;
	}

	cout << arr[ans].second + 1 << " ";

	priority_queue<pair<pair<int, int>, int>, vector<pair<pair<int, int>, int>>, decltype(&cmp_first)> small(cmp_first), big(cmp_first);

	for (int i = 0; i < ans; i++) {
		small.push(arr[i]);

        while ((int) small.size() >= m) {
			small.pop();
        }
	}

	set<int> p;
	
	while (!small.empty()) {
		cout << small.top().second + 1 << " "; small.pop();
	}

	for (int i = (int) arr.size() - 2; i >= ans; i--) { // so i don't have to commit a war crime like in bsearch validation functoin
		big.push(arr[i + 1]);

        while ((int) big.size() > max(0LL, arr[i].second - m)) {
            big.pop();
        }
	}

	while (!big.empty()) {
		cout << big.top().second + 1 << " "; big.pop();
	}

	cout << "\n";
}

signed main() {
	cin.tie(0) -> sync_with_stdio(0);

	int T; cin >> T;

	while (T--) {
		int N, M; cin >> N >> M;

		vector<pair<pair<int, int>, int>> arr(N); // a, b

		for (int i = 0; i < N; i++) {
			cin >> arr[i].first.first >> arr[i].first.second; arr[i].second = i;
		}

		sort(arr.begin(), arr.end(), cmp_second);

		// for (auto p : arr) {
		// 	cout << p.first << " " << p.second << "\n";
		// }

		int l = 0, r = N;

		int ans = -1;

		while (l < r) {
			int m = l + (r - l + 1) / 2;

			auto asdkljasdlfasd = works(m, arr, M);

			if (asdkljasdlfasd.first) {
				l = m; ans = asdkljasdlfasd.second;
			} else {
				r = m - 1;
			}
		}

		print_ans(ans, l, arr);
	}
}