{
  "task": "linnet-trees_n14-materialize",
  "engine": "linnet",
  "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"
  },
  "visible_workers_before": [],
  "loadavg_before": "34.21 33.81 33.43 45/49321 1200956",
  "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/linnet-trees_n14-materialize.dhat.0/valgrind.%p.log",
    "--dhat-out-file=/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-trees_n14-materialize.dhat.0/dhat.%p.json",
    "--num-callers=40",
    "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
    "linnet",
    "trees_n14",
    "materialize"
  ],
  "cwd": "/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-trees_n14-materialize.dhat.0/work",
  "timeout_seconds": 600,
  "profile_layout": {
    "profile": "/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-trees_n14-materialize.dhat.0/dhat.%p.json",
    "log": "/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-trees_n14-materialize.dhat.0/valgrind.%p.log"
  },
  "started_ns": 1791823447867212056,
  "pid": 1200957,
  "finished_ns": 1791823463317135029,
  "returncode": 0,
  "max_rss_kib": 908944,
  "user_seconds": 15.206576,
  "system_seconds": 0.103105,
  "timed_out": false,
  "child_wall_ns": 15449920883,
  "visible_workers_after": [],
  "loadavg_after": "33.77 33.74 33.41 44/49062 1208683",
  "status": "completed",
  "result": {
    "accepted_count": 3159,
    "case": "trees_n14",
    "driver_pid": 1200957,
    "elapsed_ns": 14899496885,
    "emitted_count": 3159,
    "engine": "linnet",
    "engine_parallel": false,
    "materialized_ns": 14881241445,
    "mode": "materialize",
    "observation": {
      "checksum_fnv64_sum": "4a4c35954e8eab86",
      "checksum_fnv64_xor": "a931a37295d29394",
      "edges": 41067,
      "legs": 0,
      "vertices": 44226
    },
    "process_manifest": [],
    "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": 1200957,
      "parent_pid": null,
      "command": [
        "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
        "linnet",
        "trees_n14",
        "materialize"
      ],
      "exit_code": 0,
      "success": true
    }
  ],
  "metrics": {
    "scope": "complete_process_tree",
    "process_count": 1,
    "processes": [
      {
        "pid": 1200957,
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
          "linnet",
          "trees_n14",
          "materialize"
        ],
        "metrics": {
          "allocated_bytes": 2628405,
          "allocated_blocks": 16680,
          "peak_live_bytes": 1811017,
          "peak_live_blocks": 9895,
          "end_live_bytes": 632,
          "end_live_blocks": 4
        }
      }
    ],
    "allocated_bytes": 2628405,
    "allocated_blocks": 16680,
    "peak_scope": "Per-process peaks only; no simultaneous process-tree peak is inferred"
  },
  "raw_sha256": {
    "linnet-trees_n14-materialize.dhat.0/stdout": "1439af3d0441f495b531e8ec1762d6f72fbaebdbaa1410d3080b4ada75a0e4ba",
    "linnet-trees_n14-materialize.dhat.0/dhat.1200957.json": "e43e170ee73d40d5d99ac97c47d0378f46c9b3b54a0bae2f12c159ad37a60579",
    "linnet-trees_n14-materialize.dhat.0/stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "linnet-trees_n14-materialize.dhat.0/valgrind.1200957.log": "6998c52c94ecdb5817e3369ae51cb55c28e2c3f3ebc5b5c820a934968b0935ea",
    "linnet-trees_n14-materialize.dhat.0/work/case.json": "d3385736e63f7fefa62d7729547bc89cddb045edec6782b0a1924a571d35cbd7"
  }
}