GitLab

Timeout is reported on some overloaded machines with 10 minutes time
limitation.
Signed-off-by: Xin Zhao <xinzhao3@illinois.edu>