2018-06-05 07:42:11,990 - Mock Version: 1.4.9
2018-06-05 07:42:13,099 - Start: dnf install
2018-06-05 07:53:09,453 - Finish: dnf install
2018-06-05 07:53:11,385 - Finish: chroot init
2018-06-05 07:53:12,675 - Finish: run
2018-06-05 07:53:21,850 - Mock Version: 1.4.9
2018-06-05 07:53:26,024 - Finish: chroot init
2018-06-05 07:53:26,065 - Start: build phase for cbmc-5.8-3.fc29.src.rpm
2018-06-05 07:53:26,119 - Start: build setup for cbmc-5.8-3.fc29.src.rpm
2018-06-05 08:17:36,392 - Finish: build setup for cbmc-5.8-3.fc29.src.rpm
2018-06-05 08:17:36,393 - Start: rpmbuild cbmc-5.8-3.fc29.src.rpm
2018-06-05 11:24:11,130 - Finish: rpmbuild cbmc-5.8-3.fc29.src.rpm
2018-06-05 11:24:11,158 - Finish: build phase for cbmc-5.8-3.fc29.src.rpm
2018-06-05 11:24:11,171 - Finish: run