#include <bits/stdc++.h>
using namespace std;
#define a first
#define b second
#define pb push_back
typedef long long llo;
#define endl '\n'

vector<llo> adj[200001];
llo it[200001];
llo par[200001];
pair<llo,llo> ma={-1,-1};
void dfs(llo no,llo par2=-1,llo levv=0){
	par[no]=par2;
	levv+=it[no];
	ma=max(ma,{levv,no});
	for(auto j:adj[no]){
		if(j!=par2){
			dfs(j,no,levv);
		}
	}
}
llo dp[200001][2][2];//start with root
llo dp2[200001][2];//start with direct child or root,end with root
vector<pair<pair<llo,llo>,llo>> adj2[200001][2][2];
vector<pair<pair<llo,llo>,llo>> adj3[200001][2];
void dfs2(llo no,llo par2=-1){
	dp[no][0][0]=it[no];
	adj2[no][0][0].pb({{no,-1},-1});
	pair<llo,llo> ma={0,-1};
	pair<llo,llo> ma2={0,-1};
	dp[no][0][1]=it[no];
	adj2[no][0][1].pb({{no,-1},-1});
	dp[no][1][0]=it[no];
	//dp[no][1][1]=0;
	vector<pair<llo,llo>>  aa;
	vector<pair<llo,llo>>  bb;
	vector<pair<llo,llo>> cc;
	vector<pair<llo,llo>> dd;
	dp2[no][0]=it[no];
	dp2[no][1]=it[no];
	for(auto j:adj[no]){
		if(j!=par2){
			dfs2(j,no);
			dp[no][0][1]+=it[j];
			dp[no][1][0]+=it[j];
		//	dp[no][1][1]+=it[j];
			dp2[no][0]+=it[j];
			dp2[no][1]+=it[j];
			ma=max(ma,{dp[j][1][0]-it[j],j});
			ma2=max(ma2,{dp[j][0][1]-it[j],j});
			//if(no>0){
				aa.pb({dp[j][0][1]-it[j],j});
		//	}
			bb.pb({dp[j][1][0]-it[j],j});
			cc.pb({dp2[j][1]-it[j],j});
			dd.pb({dp2[j][0]-it[j],j});
		}
	}
	aa.pb({0,-1});
	bb.pb({0,-1});
	cc.pb({0,-1});
	dd.pb({0,-1});
	sort(aa.begin(),aa.end());
	sort(bb.begin(),bb.end());
	sort(cc.begin(),cc.end());
	sort(dd.begin(),dd.end());
	
	reverse(aa.begin(),aa.end());
	reverse(bb.begin(),bb.end());
	reverse(cc.begin(),cc.end());
	reverse(dd.begin(),dd.end());
	while(aa.size()>3){
		aa.pop_back();
	}
	while(bb.size()>3){
		bb.pop_back();
	}
	while(cc.size()>3){
		cc.pop_back();
	}
	while(dd.size()>3){
		dd.pop_back();
	}
	llo ma3=0;
	for(auto i:aa){
		for(auto j:bb){
			for(auto k:cc){
				map<llo,llo> ss;
				ss[i.b]=i.a;
				if(ss.find(j.b)!=ss.end()){
					ss[j.b]=max(ss[j.b],j.a);
				}
				else{
					ss[j.b]=j.a;
				}
				if(ss.find(k.b)!=ss.end()){
					ss[k.b]=max(ss[k.b],k.a);
				}
				else{
					ss[k.b]=k.a;
				}
				llo su=0;
				for(auto jj:ss){
					su+=jj.b;
				}
				ma3=max(ma3,su);
			}
		}
	}

	for(auto j:aa){
		for(auto k:dd){
			map<llo,llo> ss;
			ss[j.b]=j.a;
			if(ss.find(k.b)!=ss.end()){
				ss[k.b]=max(ss[k.b],k.a);
			}
			else{
				ss[k.b]=k.a;
			}
			llo su=0;
			for(auto jj:ss){
				su+=jj.b;
			}
			ma3=max(ma3,su);
		}
	}
	llo ma4=0;

	for(auto j:bb){
		for(auto k:cc){
			map<llo,llo> ss;
			ss[j.b]=j.a;
			if(ss.find(k.b)!=ss.end()){
				ss[k.b]=max(ss[k.b],k.a);
			}
			else{
				ss[k.b]=k.a;
			}
			llo su=0;
			for(auto jj:ss){
				su+=jj.b;
			}
			ma4=max(ma4,su);
		}
	}
	dp2[no][1]+=ma4;
	llo st=0;
	//0,1
	//1,0
	//end
	llo x,y,z;
	x=-1;
	y=-1;
	z=-1;
	llo za=0;
	for(auto i:aa){
		for(auto j:bb){
			for(auto k:cc){
				map<llo,pair<llo,llo>> ss;
				ss[i.b]={i.a,0};
				if(ss.find(j.b)!=ss.end()){
					ss[j.b]=max(ss[j.b],{j.a,1});
				}
				else{
					ss[j.b]={j.a,1};
				}
				if(ss.find(k.b)!=ss.end()){
					ss[k.b]=max(ss[k.b],{k.a,2});
				}
				else{
					ss[k.b]={k.a,2};
				}
				llo su=0;
				for(auto jj:ss){
					su+=jj.b.a;
				}
				if(su==ma3 and st==0){
					st=1;
					for(auto jj:ss){
						if(jj.b.b==0){
							x=jj.a;
						}
						if(jj.b.b==1){
							y=jj.a;
						}
						if(jj.b.b==2){
							/*if(dp2[jj.a][1]>dp2[jj.a][0]){
								za=1;
							}*/
							za=1;
							z=jj.a;
						}
					}
				}
			}
		}
	}
	for(auto j:aa){
		for(auto k:dd){
			map<llo,pair<llo,llo>> ss;
			ss[j.b]={j.a,1};
			if(ss.find(k.b)!=ss.end()){
				ss[k.b]=max(ss[k.b],{k.a,2});
			}
			else{
				ss[k.b]={k.a,2};
			}
			llo su=0;
			for(auto jj:ss){
				su+=jj.b.a;
			}
			if(su==ma3 and st==0){
				st=1;
				for(auto jj:ss){
					if(jj.b.b==1){
						x=jj.a;
					}
					if(jj.b.b==2){
						za=0;
						z=jj.a;
					}
				}
			}
		}
	}

	dp2[no][0]+=ma3;
	dp[no][0][1]+=ma.a;
	dp[no][1][0]+=ma2.a;
	if(x>=0){
		adj3[no][0].pb({{x,0},1});
	}
	for(auto j:adj[no]){
		if(j!=par2 and j!=x and j!=y and j!=z){
			adj3[no][0].pb({{j,0},0});
		}
	}
	adj3[no][0].pb({{no,-1},-1});
	if(y>=0){
		adj3[no][0].pb({{y,1},0});
	}
	if(z>=0){
		adj3[no][0].pb({{z,2},za});
	}


	llo st2=0;
	y=-1;
	z=-1;
	za=0;
	ma4=max(ma4,dd[0].a);
	for(auto j:bb){
		for(auto k:cc){
			map<llo,pair<llo,llo>> ss;
			ss[j.b]={j.a,1};
			if(ss.find(k.b)!=ss.end()){
				ss[k.b]=max(ss[k.b],{k.a,2});
			}
			else{
				ss[k.b]={k.a,2};
			}
			llo su=0;
			for(auto jj:ss){
				su+=jj.b.a;
			}
			if(su==ma4 and st2==0){
				st2=1;
				for(auto jj:ss){
					if(jj.b.b==1){
						y=jj.a;
					}
					if(jj.b.b==2){
						za=1;
						z=jj.a;
					}
				}
			}
		}
	}
	if(st2==0){
		adj3[no][1].pb({{no,-1},-1});
		if(dd[0].a>0){
			adj3[no][1].pb({{dd[0].b,2},0});
		}
	}
	else{
		adj3[no][1].pb({{no,-1},-1});
		if(y>=0){
			adj3[no][1].pb({{y,1},0});
		}
		for(auto j:adj[no]){
			if(j!=par2 and j!=y and j!=z){
				adj3[no][1].pb({{j,0},0});
			}
		}
		if(z>=0){
			adj3[no][1].pb({{z,2},za});
		}
	}
	if(ma.b>=0){
		adj2[no][0][1].pb({{ma.b,1},0});
	}
	for(auto j:adj[no]){
		if(j!=par2 and j!=ma.b){
			adj2[no][0][1].pb({{j,0},0});
		}
	}
	for(auto j:adj[no]){
		if(j!=par2 and j!=ma2.b){
			adj2[no][1][0].pb({{j,0},0});
		}
	}
	if(ma2.b>=0){
		adj2[no][1][0].pb({{ma2.b,0},1});
	}
	adj2[no][1][0].pb({{no,-1},-1});
}

vector<llo> fin;
void solve(llo no,llo x=-1,llo y=-1,llo tt=0){
	if(tt==0){
		for(auto j:adj3[no][y]){
			if(j.a.b==-1){
				fin.pb(j.a.a);
			}
			else if(j.a.b==2){
				solve(j.a.a,-1,j.b,0);
			}
			else{
				solve(j.a.a,j.a.b,j.b,1);
			}
		}
	}
	else{
		for(auto j:adj2[no][x][y]){
			if(j.a.b==-1){
				fin.pb(j.a.a);
			}
			else if(j.a.b==2){
				solve(j.a.a,-1,j.b,0);
			}
			else{
				solve(j.a.a,j.a.b,j.b,1);
			}
		}
	}
}
int main(){
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	llo n,k;
	cin>>n>>k;
	for(llo i=0;i<n-1;i++){
		llo aa,bb;
		cin>>aa>>bb;
		aa--;
		bb--;
		adj[aa].pb(bb);
		adj[bb].pb(aa);
	}
	for(llo i=0;i<n;i++){
		cin>>it[i];
	}
	if(k==1){
		dfs(0);
		cout<<ma.a<<endl;
		llo cur=ma.b;
		vector<llo> ans;
		while(cur>=0){
			ans.pb(cur);
			cur=par[cur];
		}
		reverse(ans.begin(),ans.end());
		cout<<ans.size()<<endl;
		for(auto  j:ans){
			cout<<j+1<<" ";
		}
		cout<<endl;
		return 0;
	}

	dfs2(0);

	cout<<dp2[0][1]<<endl;
	solve(0,2,1,0);
	cout<<fin.size()<<endl;
	for(auto j:fin){
		cout<<j+1<<" ";
	}
	cout<<endl;



	return 0;
}