awake(v[0]:?)
awake(v[3]:?)
awakeOnInst(v[0]) = 1
accDeg[0]=8 accDeg[1]=8 accDeg[2]=8 accDeg[3]=6 accDeg[4]=2 accDeg[5]=2 accDeg[6]=2 accDeg[7]=2 
awakeOnInst(v[3]) = 1
accDeg[0]=7 accDeg[1]=7 accDeg[2]=5 accDeg[3]=1 accDeg[4]=1 accDeg[5]=1 accDeg[6]=1 accDeg[7]=1 
selected: v[1]:?
awakeOnInst(v[1]) = 1
accDeg[0]=6 accDeg[1]=4 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[6]) = 0
accDeg[0]=5 accDeg[1]=4 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[2]) = 0
accDeg[0]=4 accDeg[1]=3 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[5]) = 0
accDeg[0]=3 accDeg[1]=2 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[4]) = 0
accDeg[0]=2 accDeg[1]=1 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[7]) = 0
accDeg[0]=1 accDeg[1]=1 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[1]) = 0
accDeg[0]=6 accDeg[1]=4 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[4]) = 0
accDeg[0]=5 accDeg[1]=4 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
selected: v[2]:?
awakeOnInst(v[2]) = 1
accDeg[0]=4 accDeg[1]=4 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[7]) = 0
accDeg[0]=3 accDeg[1]=2 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[5]) = 0
accDeg[0]=2 accDeg[1]=1 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[6]) = 1
accDeg[0]=1 accDeg[1]=0 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
awakeOnInst(v[2]) = 0
accDeg[0]=4 accDeg[1]=4 accDeg[2]=0 accDeg[3]=0 accDeg[4]=0 accDeg[5]=0 accDeg[6]=0 accDeg[7]=0 
2 2 15 true
0 3