Execution trace json