Sri Lanka's 42 all out, bowled out by South Africa in just 13.5 overs, marks their lowest Test total and the ninth lowest overall, with Marco Jansen taking a career-best 7/13.