Problem:
Score : 500 points

Problem Statement

You are given a tree with N vertices 1,2,\ldots,N, and positive integers c_1,c_2,\ldots,c_N.
The i-th edge in the tree (1 \leq i \leq N-1) connects Vertex a_i and Vertex b_i.

We will write a positive integer on each vertex in T and calculate our score as follows:

On each edge, write the smaller of the integers written on the two endpoints.

Let our score be the sum of the integers written on all the edges.

Find the maximum possible score when we write each of c_1,c_2,\ldots,c_N on one vertex in T, and show one way to achieve it. If an integer occurs multiple times in c_1,c_2,\ldots,c_N, we must use it that number of times.

Constraints

1 \leq N \leq 10000

1 \leq a_i,b_i \leq N

1 \leq c_i \leq 10^5

The given graph is a tree.

Input

Input is given from Standard Input in the following format:

N
a_1 b_1
:
a_{N-1} b_{N-1}
c_1 \ldots c_N

Output

Use the following format:

M
d_1 \ldots d_N

where M is the maximum possible score, and d_i is the integer to write on Vertex i.
d_1,d_2,\ldots,d_N must be a permutation of c_1,c_2,\ldots,c_N.
If there are multiple ways to achieve the maximum score, any of them will be accepted.

Sample Input 1

5
1 2
2 3
3 4
4 5
1 2 3 4 5

Sample Output 1

10
1 2 3 4 5

If we write 1,2,3,4,5 on Vertex 1,2,3,4,5, respectively, the integers written on the four edges will be 1,2,3,4, for the score of 10. This is the maximum possible score.

Sample Input 2

5
1 2
1 3
1 4
1 5
3141 59 26 53 59

Sample Output 2

197
59 26 3141 59 53

c_1,c_2,\ldots,c_N may not be pairwise distinct.

Solution in Go (1.6) (judge verdict: Accepted)

package main

import (
	"container/heap"
	"sort"
	"bufio"
	"fmt"
	"os"
	"strconv"
)

var sc, wr = bufio.NewScanner(os.Stdin), bufio.NewWriter(os.Stdout)

func scanString() string { sc.Scan(); return sc.Text() }
func scanInt() int { a,_ := strconv.Atoi(scanString()); return a }
func scanInt64() int64 { a,_ := strconv.ParseInt(scanString(),10,64); return a }
func scanFloat64() float64 { a,_ := strconv.ParseFloat(scanString(),64); return a }

func scanInts(n int) []int {
	res := make([]int, n); for i := 0; i < n; i++ { res[i] = scanInt() }; return res
}

func abs(a int) int { if a<0 { return -a }; return a }
func min(a,b int) int { if a<b { return a }; return b }
func max(a,b int) int { if a>b { return a }; return b }

//•*¨*•.¸¸♪Main•*¨*•.¸¸♪(　-ω-)ノ　(　・ω・)

func main() {
	sc.Split(bufio.ScanWords)
	sc.Buffer(make([]byte, 10000), 1000000)

	n := scanInt()

	t := make([][]int, n)

	for i := 0; i < n-1; i++ {
		a := scanInt()-1
		b := scanInt()-1
		t[a] = append(t[a], b)
		t[b] = append(t[b], a)
	}

	c := scanInts(n)
	sort.Ints(c)

	cnt := &verts{}
	heap.Init(cnt)
	ec := make([]int, n)

	for i := 0; i < n; i++ {
		ec[i] = len(t[i])
		heap.Push(cnt, vert{i,ec[i]})
	}

	done := make([]bool, n)
	d := make([]int, n)
	m := 0

	for i := 0; i < n; i++ {
		next := -1
		for cnt.Len() != 0 {
			v := heap.Pop(cnt).(vert)
			if !done[v.num] {
				next = v.num
				break
			}
		}

		d[next] = c[i]
		done[next] = true
		m += c[i]*ec[next]

		for _, e := range t[next] {
			ec[e]--
			heap.Push(cnt, vert{e, ec[e]})
		}
	}

	fmt.Println(m)

	for i, e := range d {
		fmt.Fprint(wr, e)
		if i != len(d)-1 { fmt.Fprint(wr, " ") }
	}
	fmt.Fprintln(wr)
	wr.Flush()
}

type vert struct {
	num int
	cnt int
}

type verts []vert

func (a verts) Len() int           { return len(a) }
func (a verts) Swap(i, j int)      { a[i], a[j] = a[j], a[i] }
func (a verts) Less(i, j int) bool { return a[i].cnt < a[j].cnt }

func (a *verts) Push(x interface{}) {
	*a = append(*a, x.(vert))
}

func (a *verts) Pop() interface{} {
	old := *a
	n := len(old)
	x := old[n-1]
	*a = old[0:n-1]

	return x
}