openmp: use raw's run_with_time
openmp: use raw's run_with_time

Like previous commit.


Former-commit-id: f593d4ce064f55f8888132aee6bcb8d19e693ee6
Former-commit-id: 5a317483786a3ac06e70e64d9bd81deeae08045f [formerly 54c73a25a43f2353e81212025ff15318f4a04011] [formerly 29603af92f4fb756e018907aadf53e3c2b1abe28 [formerly ed9df303d635a8ef519e45c13bfce95d797dc142]]
Former-commit-id: 673da1d05d1d83968a474cb41cfbac7e6bb9e5c5 [formerly 9cbb6185def4ba5c6eed23bb76a09c07e9402753]
Former-commit-id: 069308be57a0fd9d51c4df1e75a7c9d053376909
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild