[PBQP] Conservativelly allocatable nodes can be spilled and give a better solution