/*****************************************
备注：
******************************************/
#include<bits/stdc++.h>
using namespace std;
#define int long long
const int N = 100000 + 10;
const int INF = 0x3f3f3f3f;
int a[N],b[N];
int cnt;
int n,m,k;
int sum=0;
void ans()
{
	cnt=0;
	for(int i=1;i<=n;i++)
	{
		if(cnt==k)
		{
			break;
		}
		else
		{
//			cout<<a[i]<<" "<<b[i]<<endl;
			cnt++;
			sum++;
		}
	}
	for(int i=cnt;i<=n;i++)
	{
		if(b[i]==b[i+1])
		{
//			cout<<a[i+1]<<" "<<b[i+1]<<endl;
			sum++;
		}
		else
		{
			break;
		}
	}
}
signed main()
{
	cin>>n>>m;
	k=floor(m*1.5);
	for(int i=1;i<=n;i++)
	{
		cin>>a[i]>>b[i];
	}
	for(int i=1;i<=n;i++)
	{
		for(int j=i;j<=n;j++)
		{
			if(b[i]<b[j])
			{
				swap(b[i],b[j]);
				swap(a[i],a[j]);
			}
		}
	}
	for(int i=1;i<=n;i++)
	{
		if(b[i]==b[i+1])
		{
			if(a[i]>a[i+1])
			{
				swap(a[i],a[i+1]);
			}
		}
	}
	ans();
	cout<<b[k]<<" "<<sum<<endl;
	int cnt=0;
	for(int i=1;i<=n;i++)
	{
		if(cnt==k)
		{
			break;
		}
		else
		{
			cout<<a[i]<<" "<<b[i]<<endl;
			cnt++;
		}
	}
	for(int i=cnt;i<=n;i++)
	{
		if(b[i]==b[i+1])
		{
			cout<<a[i+1]<<" "<<b[i+1]<<endl;
		}
		else
		{
			break;
		}
	}
	return 0;
}