我从Linux的time命令中得到了一个结果。 real 119m10.626s user 133m0.952s sys 20m32.155s 根据我搜索到的信息显示,用户+系统时间应该小于实际时间,但在这种情况下并不是这样。有人知道原因吗?