Solution should be:
0:1 Migrate(vm2, n1, n4);
0:1 Migrate(vm3, n2, n4);
1:2 Migrate(vm4, n2, n1);
2:3 Shutdown(n2);