Added collecting of var activity. dminisat removed. Added resizing of dummy_vec.