Fix #995: Parallelize Incremental Optimizer
Merge pull request #998 from gzm0/par-optimizer

Fix #995: Parallelize Incremental Optimizer
Fix #999: Facilitate collection of logged running times
Merge pull request #1003 from gzm0/time-log

Fix #999: Facilitate collection of logged running times