Fixed print-search-space-size output
processing next configuration by getting batch makes search driver happier
working on close that does something useful
merged conflicts, my version patches queries