{
  "task": "linnet-phi3_vacuum_l5-materialize",
  "engine": "linnet",
  "case": "phi3_vacuum_l5",
  "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": "33.77 33.74 33.41 31/48949 1209082",
  "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-phi3_vacuum_l5-materialize.dhat.0/valgrind.%p.log",
    "--dhat-out-file=/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-phi3_vacuum_l5-materialize.dhat.0/dhat.%p.json",
    "--num-callers=40",
    "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
    "linnet",
    "phi3_vacuum_l5",
    "materialize"
  ],
  "cwd": "/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-phi3_vacuum_l5-materialize.dhat.0/work",
  "timeout_seconds": 600,
  "profile_layout": {
    "profile": "/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-phi3_vacuum_l5-materialize.dhat.0/dhat.%p.json",
    "log": "/tmp/feynkit-materialized-comparison-evidence/final-primary/linnet-phi3_vacuum_l5-materialize.dhat.0/valgrind.%p.log"
  },
  "started_ns": 1791823465225845144,
  "pid": 1209083,
  "finished_ns": 1791823465928684463,
  "returncode": 0,
  "max_rss_kib": 908944,
  "user_seconds": 0.603183,
  "system_seconds": 0.079455,
  "timed_out": false,
  "child_wall_ns": 702837339,
  "visible_workers_after": [],
  "loadavg_after": "33.77 33.74 33.41 25/48935 1209240",
  "status": "completed",
  "result": {
    "accepted_count": 71,
    "case": "phi3_vacuum_l5",
    "driver_pid": 1209083,
    "elapsed_ns": 144358071,
    "emitted_count": 71,
    "engine": "linnet",
    "engine_parallel": false,
    "materialized_ns": 134603884,
    "mode": "materialize",
    "observation": {
      "checksum_fnv64_sum": "714991ce188c7380",
      "checksum_fnv64_xor": "582c644558fcb908",
      "edges": 852,
      "legs": 0,
      "vertices": 568
    },
    "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": "128",
      "numerator": "565"
    },
    "worker_threads": 1
  },
  "processes": [
    {
      "pid": 1209083,
      "parent_pid": null,
      "command": [
        "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
        "linnet",
        "phi3_vacuum_l5",
        "materialize"
      ],
      "exit_code": 0,
      "success": true
    }
  ],
  "metrics": {
    "scope": "complete_process_tree",
    "process_count": 1,
    "processes": [
      {
        "pid": 1209083,
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
          "linnet",
          "phi3_vacuum_l5",
          "materialize"
        ],
        "metrics": {
          "allocated_bytes": 121727,
          "allocated_blocks": 722,
          "peak_live_bytes": 67166,
          "peak_live_blocks": 413,
          "end_live_bytes": 632,
          "end_live_blocks": 4
        }
      }
    ],
    "allocated_bytes": 121727,
    "allocated_blocks": 722,
    "peak_scope": "Per-process peaks only; no simultaneous process-tree peak is inferred"
  },
  "raw_sha256": {
    "linnet-phi3_vacuum_l5-materialize.dhat.0/stdout": "e312d643f71dbd8eb197699cb714116713d05bde81ba984b712c4b148e88890c",
    "linnet-phi3_vacuum_l5-materialize.dhat.0/dhat.1209083.json": "3d91aa7a7d09a1d50a5db7dd0d18c4037d892ba6b8bed83949aaf68bd97ab664",
    "linnet-phi3_vacuum_l5-materialize.dhat.0/stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "linnet-phi3_vacuum_l5-materialize.dhat.0/valgrind.1209083.log": "f7cb5fef06a85be752aae8cba63143134355190322845cf63de8bc42e68badc3",
    "linnet-phi3_vacuum_l5-materialize.dhat.0/work/case.json": "0c63386b87d0c12ba63b5a59b02cbc404f742b57535ec4813659bf252343d7e9"
  }
}