{
  "task": "nauty-trees_n14-materialize",
  "engine": "nauty",
  "case": "trees_n14",
  "tool": "dhat",
  "repeat": 0,
  "cpus": [
    100
  ],
  "task_environment": {
    "BENCH_CASE_FILE": "case.json",
    "BENCH_THREADS": "1",
    "RAYON_NUM_THREADS": "1",
    "RUST_LOG": "off",
    "LC_ALL": "C",
    "INSTA_UPDATE": "no",
    "BENCH_EXTERNAL_CONFIG": "external-launch.json"
  },
  "visible_workers_before": [],
  "loadavg_before": "33.77 33.74 33.41 32/48947 1208857",
  "command": [
    "/run/current-system/sw/bin/taskset",
    "-c",
    "100",
    "/nix/store/mf7rzpknxwg0q1wf0nm8gfzikapg00h1-valgrind-3.27.1/bin/valgrind",
    "--tool=dhat",
    "--trace-children=yes",
    "--log-file=/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-trees_n14-materialize.dhat.0/valgrind.%p.log",
    "--dhat-out-file=/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-trees_n14-materialize.dhat.0/dhat.%p.json",
    "--num-callers=40",
    "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
    "nauty",
    "trees_n14",
    "materialize"
  ],
  "cwd": "/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-trees_n14-materialize.dhat.0/work",
  "timeout_seconds": 600,
  "profile_layout": {
    "profile": "/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-trees_n14-materialize.dhat.0/dhat.%p.json",
    "log": "/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-trees_n14-materialize.dhat.0/valgrind.%p.log"
  },
  "started_ns": 1791823463689499648,
  "pid": 1208858,
  "finished_ns": 1791823464896020255,
  "returncode": 0,
  "max_rss_kib": 908944,
  "user_seconds": 1.095501,
  "system_seconds": 0.10152,
  "timed_out": false,
  "child_wall_ns": 1206518587,
  "visible_workers_after": [],
  "loadavg_after": "33.77 33.74 33.41 46/48947 1209073",
  "status": "completed",
  "result": {
    "accepted_count": 3159,
    "case": "trees_n14",
    "driver_pid": 1208858,
    "elapsed_ns": 663064693,
    "emitted_count": 3159,
    "engine": "nauty",
    "engine_parallel": false,
    "materialized_ns": 646981486,
    "mode": "materialize",
    "observation": {
      "checksum_fnv64_sum": "1fd33f7f737a9084",
      "checksum_fnv64_xor": "14e9d662f9318518",
      "edges": 41067,
      "legs": 0,
      "vertices": 44226
    },
    "process_manifest": [
      {
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/external/gentreeg-materialized",
          "14"
        ],
        "exit_code": 0,
        "parent_pid": 1208858,
        "pid": 1209023,
        "success": true
      }
    ],
    "scope": "operation timer excludes selected-case JSON parsing and final record destruction (both included in whole-process metrics); includes request compilation, complete native generation and symmetry factors, owned neutral incidence/rule/leg materialization, all-field observation, exact sum of inverse automorphism orders; retained records drop before process exit; no timed canonicalization or JSONL serialization",
    "status": "ok",
    "sum_inverse_aut": {
      "denominator": "868725",
      "numerator": "564950498"
    },
    "worker_threads": 1
  },
  "processes": [
    {
      "pid": 1208858,
      "parent_pid": null,
      "command": [
        "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
        "nauty",
        "trees_n14",
        "materialize"
      ],
      "exit_code": 0,
      "success": true
    },
    {
      "command": [
        "/tmp/feynkit-materialized-comparison-evidence/external/gentreeg-materialized",
        "14"
      ],
      "exit_code": 0,
      "parent_pid": 1208858,
      "pid": 1209023,
      "success": true
    }
  ],
  "metrics": {
    "scope": "complete_process_tree",
    "process_count": 2,
    "processes": [
      {
        "pid": 1208858,
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
          "nauty",
          "trees_n14",
          "materialize"
        ],
        "metrics": {
          "allocated_bytes": 3957923,
          "allocated_blocks": 22357,
          "peak_live_bytes": 1978270,
          "peak_live_blocks": 9534,
          "end_live_bytes": 544,
          "end_live_blocks": 1
        }
      },
      {
        "pid": 1209023,
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/external/gentreeg-materialized",
          "14"
        ],
        "metrics": {
          "allocated_bytes": 4096,
          "allocated_blocks": 1,
          "peak_live_bytes": 4096,
          "peak_live_blocks": 1,
          "end_live_bytes": 0,
          "end_live_blocks": 0
        }
      }
    ],
    "allocated_bytes": 3962019,
    "allocated_blocks": 22358,
    "peak_scope": "Per-process peaks only; no simultaneous process-tree peak is inferred"
  },
  "raw_sha256": {
    "nauty-trees_n14-materialize.dhat.0/stdout": "6ffdad68db6cb3ce07b56aef64a50947ce034b0698f66ba16c6cf38bf5c26db0",
    "nauty-trees_n14-materialize.dhat.0/dhat.1209023.json": "1b96d95a365eec1605ced387710dfd28890c2570ad354ef94215fd508b6f81a8",
    "nauty-trees_n14-materialize.dhat.0/valgrind.1209023.log": "ef7968bec7d7d602cf13256cfd010a291f16876ffef4c7af36a6424ae8b7cd54",
    "nauty-trees_n14-materialize.dhat.0/stderr": "922214039cacca4d7d3eb90bca290f1ea531f566b64c0f767d6ac35a541ba7f5",
    "nauty-trees_n14-materialize.dhat.0/dhat.1208858.json": "b00c2099d326fc8f023e88bd37de449e23ed0dd0fb919001c8d10c92bace3639",
    "nauty-trees_n14-materialize.dhat.0/valgrind.1208858.log": "41268a8f65e050b78adc48e8fe95a408013d80ae1a3807d152eeb34562f5cc78",
    "nauty-trees_n14-materialize.dhat.0/work/case.json": "d3385736e63f7fefa62d7729547bc89cddb045edec6782b0a1924a571d35cbd7",
    "nauty-trees_n14-materialize.dhat.0/work/external-launch.json": "175eedd3a96e8bbbd7ebac7adea97bcf8c6085b6fea76a015002e04620ab0f48"
  }
}