{
  "task": "nauty-cubic_simple_n12-count",
  "engine": "nauty",
  "case": "cubic_simple_n12",
  "tool": "native",
  "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": "169.26 82.35 76.14 62/51420 254478",
  "command": [
    "/run/current-system/sw/bin/taskset",
    "-c",
    "100",
    "/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.native.0/work",
  "timeout_seconds": 60,
  "profile": null,
  "started_ns": 1791808436680101190,
  "pid": 254479,
  "finished_ns": 1791808436689714201,
  "returncode": 0,
  "max_rss_kib": 18552,
  "user_seconds": 0.005998,
  "system_seconds": 0.003021,
  "timed_out": false,
  "child_wall_ns": 9610941,
  "visible_workers_after": [],
  "loadavg_after": "169.26 82.35 76.14 55/51420 254480",
  "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.native.0/work/case.json",
      "--workdir",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.native.0/work",
      "--stdout",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.native.0/stdout",
      "--stderr",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-cubic_simple_n12-count.native.0/stderr",
      "--format",
      "graph6"
    ],
    "returncode": 0
  },
  "result": {
    "engine": "nauty",
    "case": "cubic_simple_n12",
    "mode": "count",
    "count": 85
  },
  "raw_sha256": {
    "nauty-cubic_simple_n12-count.native.0/stdout": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "nauty-cubic_simple_n12-count.native.0/parser.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "nauty-cubic_simple_n12-count.native.0/parser.stdout": "b4299c2d4b475eb32f3db875053de8e3bbc0ffabf2b56d58e7c788a24e2eda94",
    "nauty-cubic_simple_n12-count.native.0/stderr": "267b1217de76aed079e6e3c448d64d9657dd57f8e1fe4fecae10c8b96e552cfc",
    "nauty-cubic_simple_n12-count.native.0/work/case.json": "b9fc430e97797e70edb60b3ece7e18ba343f9ae2a4ba041b86a87ff0d45a40af"
  }
}