Using more const, including file that is needed to parse
Use namespace for the enum
Fixing indentation
Fixing indentation
1 billion learnt clauses is way over the limit

1 million should be enough
Removing OTF stuff on decisionlevel == 1

It slows down the solver when we do a lot of restarts. Seems nice, but
too expensive
Removing unused config
Adding more tuneable timeouts, making timeouts shorter
Removing unused goto label
Fixing displayed time remaining
Making startup much faster