{
  "budget_seconds": 300.0,
  "campaign_fingerprint": "5d3e2e4e0c5fbcf9c11ef8ae15ee1f13536b81bce31cbebf38ea365949d73e21",
  "method": "Wall-clock time of the first run of this campaign. It is reused for byte-identical output on later runs.",
  "runtime_seconds": 162.639
}