2018-07-23 20:53:23,732 - Mock Version: 1.4.9
2018-07-23 20:53:24,895 - Start: dnf install
2018-07-23 21:02:04,981 - Finish: dnf install
2018-07-23 21:02:06,679 - Finish: chroot init
2018-07-23 21:02:07,879 - Finish: run
2018-07-23 21:02:17,560 - Mock Version: 1.4.9
2018-07-23 21:02:20,934 - Finish: chroot init
2018-07-23 21:02:20,970 - Start: build phase for cbmc-5.9-2.fc29.src.rpm
2018-07-23 21:02:21,029 - Start: build setup for cbmc-5.9-2.fc29.src.rpm
2018-07-23 21:11:59,311 - Finish: build setup for cbmc-5.9-2.fc29.src.rpm
2018-07-23 21:11:59,312 - Start: rpmbuild cbmc-5.9-2.fc29.src.rpm
2018-07-23 23:48:33,501 - Finish: rpmbuild cbmc-5.9-2.fc29.src.rpm
2018-07-23 23:48:33,528 - Finish: build phase for cbmc-5.9-2.fc29.src.rpm
2018-07-23 23:48:33,541 - Finish: run