{
  "task": "nauty-trees_n14-count",
  "engine": "nauty",
  "case": "trees_n14",
  "tool": "native",
  "repeat": 5,
  "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": "195.45 93.20 79.80 419/51264 258400",
  "command": [
    "/run/current-system/sw/bin/taskset",
    "-c",
    "100",
    "/nix/store/pmavpfqfa6s1w44ysg4037yy48ckns5m-nauty-2.9.3/bin/gentreeg",
    "-u",
    "14"
  ],
  "cwd": "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-trees_n14-count.native.5/work",
  "timeout_seconds": 60,
  "profile": null,
  "started_ns": 1791808456561421073,
  "pid": 258401,
  "finished_ns": 1791808456565347266,
  "returncode": 0,
  "max_rss_kib": 18552,
  "user_seconds": 0.001029,
  "system_seconds": 0.00207,
  "timed_out": false,
  "child_wall_ns": 3923943,
  "visible_workers_after": [],
  "loadavg_after": "195.45 93.20 79.80 434/51269 258408",
  "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-trees_n14-count.native.5/work/case.json",
      "--workdir",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-trees_n14-count.native.5/work",
      "--stdout",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-trees_n14-count.native.5/stdout",
      "--stderr",
      "/tmp/feynkit-generator-comparison-evidence/final-baseline/nauty-trees_n14-count.native.5/stderr",
      "--format",
      "sparse6"
    ],
    "returncode": 0
  },
  "result": {
    "engine": "nauty",
    "case": "trees_n14",
    "mode": "count",
    "count": 3159
  },
  "raw_sha256": {
    "nauty-trees_n14-count.native.5/stdout": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "nauty-trees_n14-count.native.5/parser.stdout": "1b9c91bd61f71f997dd60a75721329d8ea228719dcef9c60dfb654de53f650df",
    "nauty-trees_n14-count.native.5/parser.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "nauty-trees_n14-count.native.5/stderr": "f0c90110640096b9f15246a43fd45f787a2fe495352da3737775f0869fa7cc0f",
    "nauty-trees_n14-count.native.5/work/case.json": "d3385736e63f7fefa62d7729547bc89cddb045edec6782b0a1924a571d35cbd7"
  }
}