2018-02-21 13:32:51,955 - Mock Version: 1.3.4
2018-02-21 13:32:52,366 - Start: dnf install
2018-02-21 13:34:52,459 - Finish: dnf install
2018-02-21 13:34:53,316 - Finish: chroot init
2018-02-21 13:34:53,528 - Finish: run
2018-02-21 13:34:56,969 - Mock Version: 1.3.4
2018-02-21 13:34:58,413 - Finish: chroot init
2018-02-21 13:34:58,424 - Start: build phase for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:34:58,443 - Start: build setup for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:41:17,680 - Finish: build setup for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:41:17,681 - Start: rpmbuild cbmc-5.8-2.fc28.src.rpm
2018-02-21 14:25:46,871 - Finish: rpmbuild cbmc-5.8-2.fc28.src.rpm
2018-02-21 14:25:46,881 - Finish: build phase for cbmc-5.8-2.fc28.src.rpm
2018-02-21 14:25:46,886 - Finish: run