Use atomic for data accessed from signal handler
Fix solver-c-test