{
  "task": "nauty-cubic_simple_n12-count",
  "engine": "nauty",
  "case": "cubic_simple_n12",
  "tool": "dhat",
  "repeat": 0,
  "cpus": [
    100
  ],
  "task_environment": {
    "RAYON_NUM_THREADS": "1",
    "BENCH_THREADS": "1",
    "BENCH_CASE_FILE": "case.json",
    "RUST_LOG": "off",
    "LC_ALL": "C",
    "INSTA_UPDATE": "no"
  },
  "visible_workers_before": [],
  "loadavg_before": "67.56 70.54 84.34 40/50307 586696",
  "command": [
    "/run/current-system/sw/bin/taskset",
    "-c",
    "100",
    "/nix/store/mf7rzpknxwg0q1wf0nm8gfzikapg00h1-valgrind-3.27.1/bin/valgrind",
    "--tool=dhat",
    "--dhat-out-file=/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/dhat.json",
    "--num-callers=40",
    "/nix/store/pmavpfqfa6s1w44ysg4037yy48ckns5m-nauty-2.9.3/bin/geng",
    "-c",
    "-d3",
    "-D3",
    "-u",
    "12"
  ],
  "cwd": "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/work",
  "timeout_seconds": 600,
  "profile": "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/dhat.json",
  "started_ns": 1791809434044099000,
  "pid": 586697,
  "finished_ns": 1791809434455730706,
  "returncode": 0,
  "max_rss_kib": 914744,
  "user_seconds": 0.37876499999999996,
  "system_seconds": 0.028783999999999997,
  "timed_out": false,
  "child_wall_ns": 411629827,
  "visible_workers_after": [],
  "loadavg_after": "67.56 70.54 84.34 34/50296 586836",
  "status": "completed",
  "parser": {
    "command": [
      "/nix/store/hwxyyva16ymysk5i1jwpx307gdlimiqm-python3-3.13.14/bin/python3",
      "/tmp/feynkit-generator-comparison-evidence/external/adapter-v2.py",
      "parse",
      "--engine",
      "nauty",
      "--mode",
      "count",
      "--case-file",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/work/case.json",
      "--workdir",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/work",
      "--stdout",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/stdout",
      "--stderr",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.dhat.0/stderr",
      "--format",
      "graph6"
    ],
    "returncode": 0
  },
  "result": {
    "engine": "nauty",
    "case": "cubic_simple_n12",
    "mode": "count",
    "count": 85
  },
  "metrics": {
    "allocated_bytes": 25880,
    "allocated_blocks": 44,
    "peak_live_bytes": 25880,
    "peak_live_blocks": 44,
    "end_live_bytes": 25880,
    "end_live_blocks": 44
  },
  "raw_sha256": {
    "nauty-cubic_simple_n12-count.dhat.0/parser.stdout": "b4299c2d4b475eb32f3db875053de8e3bbc0ffabf2b56d58e7c788a24e2eda94",
    "nauty-cubic_simple_n12-count.dhat.0/stderr": "8076441694c51472f01b1f253e293589830d9718c86dd987aa3b1258a9fbbf7d",
    "nauty-cubic_simple_n12-count.dhat.0/stdout": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "nauty-cubic_simple_n12-count.dhat.0/dhat.json": "57b74aab0adbc905186ba86ff8ef4d3e3ebe227d86d4a4476fa1de582cabe47a",
    "nauty-cubic_simple_n12-count.dhat.0/parser.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "nauty-cubic_simple_n12-count.dhat.0/work/case.json": "b9fc430e97797e70edb60b3ece7e18ba343f9ae2a4ba041b86a87ff0d45a40af"
  }
}