Information about core utilization is now directly retrieved from the
constraint solver. Minor changes and optimizations.