[engine] Correct synchronous waitpid use.
[misc] Fix process execution utility to exec() straight after fork().
[scheduling] Better process management for solver.