{
    "os": "Linux-5.10.135.bsk.6-amd64-x86_64-with-glibc2.31",
    "python": "3.9.2",
    "heartbeatAt": "2024-05-07T01:50:05.016076",
    "startedAt": "2024-05-07T01:49:58.414011",
    "docker": null,
    "cuda": null,
    "args": [
        "--model_name_or_path",
        "/opt/tiger/models/lean4_random_15k_all/checkpoint-236/",
        "--data_dir",
        "../repl/pass_rate_results/lean4_15k_train/lean4_random_15k_allpass10.jsonl",
        "--data_id",
        "lean4test",
        "--target_set",
        "train",
        "--save_dir",
        "/opt/tiger/models/lean4_random_15k_all-sample10-osv-gt2",
        "--generator_id",
        "lean4_random_15k_all",
        "--verifier_id",
        "osv",
        "--dedup",
        "True",
        "--per_problem_sampling_solution",
        "10",
        "--loss_level",
        "token",
        "--loss_on_llm",
        "True",
        "--num_train_epoches",
        "1",
        "--eval_steps",
        "10000",
        "--per_device_train_batch_size",
        "16",
        "--per_device_eval_batch_size",
        "64",
        "--gradient_accumulation_steps",
        "4",
        "--gradient_checkpointing",
        "True",
        "--learning_rate",
        "2e-6",
        "--weight_decay",
        "0",
        "--save_steps",
        "1000",
        "--lr_scheduler_type",
        "linear",
        "--warmup_steps",
        "0",
        "--save_epoches",
        "1",
        "--save_best",
        "False",
        "--save_total_limit",
        "0",
        "--logging_dir",
        "None",
        "--logging_steps",
        "1",
        "--easy",
        "True",
        "--seed",
        "42"
    ],
    "state": "running",
    "program": "/opt/tiger/mariana/auto-info/PSV/train_psv.py",
    "codePath": "auto-info/PSV/train_psv.py",
    "git": {
        "remote": "git@code.byted.org:seed/mariana.git",
        "commit": "ce8cbcbc8313f5085e52656d8bbf2e60e3c0d785"
    },
    "email": "lujianqiao@bytedance.com",
    "root": "/opt/tiger/mariana",
    "host": "n122-143-013",
    "username": "tiger",
    "executable": "/usr/bin/python3",
    "cpu_count": 90,
    "cpu_count_logical": 180,
    "cpu_freq": {
        "current": 2600.0250000000083,
        "min": 0.0,
        "max": 0.0
    },
    "cpu_freq_per_core": [
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        },
        {
            "current": 2600.025,
            "min": 0.0,
            "max": 0.0
        }
    ],
    "disk": {
        "total": 3519.748878479004,
        "used": 296.1867370605469
    },
    "gpu": "NVIDIA H800",
    "gpu_count": 8,
    "gpu_devices": [
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        },
        {
            "name": "NVIDIA H800",
            "memory_total": 85520809984
        }
    ],
    "memory": {
        "total": 2932.9151611328125
    }
}