{
  "task": "nauty-cubic_simple_n12-materialize",
  "engine": "nauty",
  "case": "cubic_simple_n12",
  "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": "34.21 33.81 33.43 42/49339 1200775",
  "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-cubic_simple_n12-materialize.dhat.0/valgrind.%p.log",
    "--dhat-out-file=/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-cubic_simple_n12-materialize.dhat.0/dhat.%p.json",
    "--num-callers=40",
    "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
    "nauty",
    "cubic_simple_n12",
    "materialize"
  ],
  "cwd": "/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-cubic_simple_n12-materialize.dhat.0/work",
  "timeout_seconds": 600,
  "profile_layout": {
    "profile": "/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-cubic_simple_n12-materialize.dhat.0/dhat.%p.json",
    "log": "/tmp/feynkit-materialized-comparison-evidence/final-primary/nauty-cubic_simple_n12-materialize.dhat.0/valgrind.%p.log"
  },
  "started_ns": 1791823446526093508,
  "pid": 1200776,
  "finished_ns": 1791823447538584945,
  "returncode": 0,
  "max_rss_kib": 908944,
  "user_seconds": 0.900747,
  "system_seconds": 0.10332899999999999,
  "timed_out": false,
  "child_wall_ns": 1012489017,
  "visible_workers_after": [],
  "loadavg_after": "34.21 33.81 33.43 25/49320 1200942",
  "status": "completed",
  "result": {
    "accepted_count": 85,
    "case": "cubic_simple_n12",
    "driver_pid": 1200776,
    "elapsed_ns": 472304338,
    "emitted_count": 85,
    "engine": "nauty",
    "engine_parallel": false,
    "materialized_ns": 461907701,
    "mode": "materialize",
    "observation": {
      "checksum_fnv64_sum": "502447855f1a7411",
      "checksum_fnv64_xor": "4d5e91341437d51f",
      "edges": 1530,
      "legs": 0,
      "vertices": 1020
    },
    "process_manifest": [
      {
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/external/geng-materialized",
          "-c",
          "-d3",
          "-D3",
          "-l",
          "12"
        ],
        "exit_code": 0,
        "parent_pid": 1200776,
        "pid": 1200802,
        "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": "192",
      "numerator": "4627"
    },
    "worker_threads": 1
  },
  "processes": [
    {
      "pid": 1200776,
      "parent_pid": null,
      "command": [
        "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
        "nauty",
        "cubic_simple_n12",
        "materialize"
      ],
      "exit_code": 0,
      "success": true
    },
    {
      "command": [
        "/tmp/feynkit-materialized-comparison-evidence/external/geng-materialized",
        "-c",
        "-d3",
        "-D3",
        "-l",
        "12"
      ],
      "exit_code": 0,
      "parent_pid": 1200776,
      "pid": 1200802,
      "success": true
    }
  ],
  "metrics": {
    "scope": "complete_process_tree",
    "process_count": 2,
    "processes": [
      {
        "pid": 1200776,
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/rust/attempts/002/graph-comparison-0483661f9057",
          "nauty",
          "cubic_simple_n12",
          "materialize"
        ],
        "metrics": {
          "allocated_bytes": 211556,
          "allocated_blocks": 826,
          "peak_live_bytes": 96871,
          "peak_live_blocks": 292,
          "end_live_bytes": 544,
          "end_live_blocks": 1
        }
      },
      {
        "pid": 1200802,
        "command": [
          "/tmp/feynkit-materialized-comparison-evidence/external/geng-materialized",
          "-c",
          "-d3",
          "-D3",
          "-l",
          "12"
        ],
        "metrics": {
          "allocated_bytes": 29976,
          "allocated_blocks": 45,
          "peak_live_bytes": 29976,
          "peak_live_blocks": 45,
          "end_live_bytes": 25880,
          "end_live_blocks": 44
        }
      }
    ],
    "allocated_bytes": 241532,
    "allocated_blocks": 871,
    "peak_scope": "Per-process peaks only; no simultaneous process-tree peak is inferred"
  },
  "raw_sha256": {
    "nauty-cubic_simple_n12-materialize.dhat.0/dhat.1200802.json": "9fa05bbfdb2cc87217b2482fb277ea247b82c0efe17144575b1d5ec05eb970d3",
    "nauty-cubic_simple_n12-materialize.dhat.0/stderr": "538355f67be6c051fdc5c0f29b10f82ad06adc0d2ae8c163b43ceaf4a4aebba8",
    "nauty-cubic_simple_n12-materialize.dhat.0/stdout": "7633d130b8d2d78cc68b0289d62f3d4f018f0cd5924ac772cdb73329ff96bace",
    "nauty-cubic_simple_n12-materialize.dhat.0/valgrind.1200802.log": "5f3c910ec261cd64e9822a8470c0b11db719198f83f495f06e02035b6d7af271",
    "nauty-cubic_simple_n12-materialize.dhat.0/valgrind.1200776.log": "1f3a0af3deef3e83e68438f7393048aaf5c4402309e4510ef2ffcaa71ef52d58",
    "nauty-cubic_simple_n12-materialize.dhat.0/dhat.1200776.json": "e1c234889dccf9190786500df4e87da5690b8da0f20d146f4640ef042dea5ef3",
    "nauty-cubic_simple_n12-materialize.dhat.0/work/case.json": "b9fc430e97797e70edb60b3ece7e18ba343f9ae2a4ba041b86a87ff0d45a40af",
    "nauty-cubic_simple_n12-materialize.dhat.0/work/external-launch.json": "d2286888991742c9eaaea79db7a78986963cbd6ac431d892b3ff4af33b6230ef"
  }
}