2018-02-21 13:32:50,732 - Mock Version: 1.3.4
2018-02-21 13:32:50,841 - Start: dnf install
2018-02-21 13:33:39,387 - Finish: dnf install
2018-02-21 13:33:39,576 - Finish: chroot init
2018-02-21 13:33:39,648 - Finish: run
2018-02-21 13:33:41,727 - Mock Version: 1.3.4
2018-02-21 13:33:42,076 - Finish: chroot init
2018-02-21 13:33:42,078 - Start: build phase for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:33:42,082 - Start: build setup for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:36:10,148 - Finish: build setup for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:36:10,148 - Start: rpmbuild cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:57:18,179 - Finish: rpmbuild cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:57:18,183 - Finish: build phase for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:57:18,184 - Finish: run