- * The main thread should handle his control over to this method to
- * wait for the solver to finish the given task
+ * The main thread should hand his control over to this method to
+ * wait for the solver to finish the given task. The file descriptor
+ * used as input is completely consumed and closed by the method.