0 0.045860 0.045578 0.000000 3712 scoped_resource C++-Souffle _bin/cxx-opt/mycpp/examples/scoped_resource.mycpp-souffle _test/tasks/benchmark/scoped_resource.mycpp-souffle.opt.task.txt