CI builds now 64 bits

8 jobs for build-solving_may_2020_ci_issues in 7 minutes and 34 seconds (queued for 1 second)