ReForm, DOcloud: Added job stop criteria based on parsing the log output from...
ReForm, DOcloud: Added job stop criteria based on parsing the log output from CPLEX supplied by the DOcloud REST API. Because this is controlled on the client (and not on the server), the results can change due to synchronization differences, i.e., in many cases exact test results would be difficult to reproduce. The stopping criteria are as follows: 1. 15 sec on stalled jobs after the last new integer solution is found 2. 5 min on stalled jobs with no solutions found [git-p4: depot-paths = "//ReForm/ReForm/main/CoMISo/": change = 11992]