[INFO] cloning repository https://github.com/hyblm/upol-vytal [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hyblm/upol-vytal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal'... [INFO] [stderr] fatal: write error: No space left on device [INFO] [stderr] fatal: fetch-pack: invalid index-pack output [WARN] Retrying crate fetch in 3 seconds (attempt 1) [INFO] cloning repository https://github.com/hyblm/upol-vytal [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hyblm/upol-vytal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal'... [INFO] [stderr] fatal: write error: No space left on device [INFO] [stderr] fatal: fetch-pack: invalid index-pack output [WARN] Retrying crate fetch in 3 seconds (attempt 2) [INFO] cloning repository https://github.com/hyblm/upol-vytal [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hyblm/upol-vytal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal'... [INFO] [stderr] error: failed to write new configuration file /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal/config.lock [INFO] [stderr] fatal: could not set 'core.repositoryformatversion' to '0' [WARN] Retrying crate fetch in 3 seconds (attempt 3) [INFO] cloning repository https://github.com/hyblm/upol-vytal [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hyblm/upol-vytal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1247513d95bd7d4c5f989017462b2e4a3e1bb59b [INFO] checking hyblm/upol-vytal against try#de39175d9e0f63ff8967b81f9639ba28d11ae6ef for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/623.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/624.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/625.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/626.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/627.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/628.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/629.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/63.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/630.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/631.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/632.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/633.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/634.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/635.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/636.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/637.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/638.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/64.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/640.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/641.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/642.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/643.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/644.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/645.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/646.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/647.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/648.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/649.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/65.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/650.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/722.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/723.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/724.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/725.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/726.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/727.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/728.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/729.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/73.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/730.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/731.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/732.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/733.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/734.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/735.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/736.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/737.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/738.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/739.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/74.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/740.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/741.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/780.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/781.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/782.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/783.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/784.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/785.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/786.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/787.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/788.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/789.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/79.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/791.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/792.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/793.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/794.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/795.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/796.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/797.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/798.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/799.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/8.cnf [INFO] [stderr] error: unable to write file benchmarks/20vars/sat/809.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/539.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/54.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/540.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/541.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/542.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/543.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/544.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/545.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/546.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/550.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/551.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/552.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/553.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/554.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/555.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/556.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/557.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/558.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/559.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/56.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/560.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/561.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/562.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/563.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/564.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/565.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/566.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/567.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/568.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/569.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/57.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/570.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/571.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/572.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/573.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/574.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/575.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/576.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/577.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/578.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/579.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/58.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/580.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/581.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/582.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/583.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/584.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/585.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/586.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/587.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/588.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/589.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/59.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/590.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/591.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/592.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/593.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/594.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/595.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/596.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/597.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/598.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/599.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/6.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/60.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/600.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/601.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/602.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/603.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/604.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/605.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/606.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/607.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/608.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/609.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/61.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/610.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/611.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/612.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/613.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/614.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/615.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/616.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/617.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/618.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/619.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/62.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/620.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/621.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/622.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/623.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/624.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/625.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/626.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/627.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/628.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/629.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/63.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/630.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/631.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/632.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/633.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/634.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/635.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/636.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/637.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/638.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/639.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/64.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/640.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/641.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/642.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/643.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/644.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/646.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/647.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/648.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/649.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/65.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/650.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/651.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/652.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/653.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/654.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/655.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/656.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/657.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/658.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/659.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/66.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/660.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/661.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/662.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/663.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/664.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/665.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/666.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/667.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/668.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/669.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/67.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/670.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/671.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/672.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/673.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/674.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/675.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/676.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/677.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/678.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/679.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/68.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/680.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/681.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/682.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/683.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/684.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/685.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/686.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/687.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/688.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/689.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/69.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/690.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/691.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/692.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/693.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/694.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/695.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/696.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/697.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/698.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/699.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/7.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/70.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/700.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/701.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/702.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/703.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/704.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/705.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/706.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/707.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/708.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/709.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/71.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/710.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/711.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/712.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/713.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/714.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/715.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/716.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/717.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/718.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/719.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/72.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/720.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/721.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/722.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/723.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/724.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/725.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/726.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/727.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/728.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/729.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/73.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/730.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/731.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/732.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/733.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/734.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/735.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/736.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/737.cnf [INFO] [stderr] Updating files: 71% (3913/5510) error: unable to create file benchmarks/50vars/sat/738.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/739.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/74.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/740.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/741.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/742.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/743.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/744.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/745.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/746.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/747.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/748.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/749.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/75.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/750.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/751.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/752.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/753.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/754.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/755.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/756.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/757.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/758.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/759.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/76.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/760.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/761.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/762.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/763.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/764.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/765.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/766.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/767.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/768.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/769.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/77.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/770.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/771.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/772.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/773.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/774.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/775.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/776.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/777.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/778.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/779.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/78.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/780.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/781.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/782.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/783.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/784.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/785.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/786.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/787.cnf [INFO] [stderr] Updating files: 72% (3968/5510) error: unable to create file benchmarks/50vars/sat/788.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/789.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/79.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/790.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/791.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/792.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/793.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/794.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/795.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/796.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/797.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/798.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/799.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/8.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/80.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/800.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/801.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/802.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/803.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/804.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/805.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/806.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/807.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/808.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/809.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/81.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/810.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/811.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/812.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/813.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/814.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/815.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/816.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/817.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/818.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/819.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/82.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/820.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/821.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/822.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/823.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/824.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/825.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/826.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/827.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/828.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/829.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/83.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/830.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/831.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/832.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/833.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/834.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/835.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/836.cnf [INFO] [stderr] Updating files: 73% (4023/5510) error: unable to write file benchmarks/50vars/sat/837.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/838.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/839.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/84.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/840.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/841.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/842.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/843.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/844.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/845.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/846.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/847.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/848.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/849.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/85.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/850.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/851.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/852.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/853.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/854.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/855.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/856.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/857.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/858.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/859.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/86.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/860.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/861.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/862.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/863.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/864.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/865.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/866.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/867.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/868.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/869.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/87.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/870.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/871.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/872.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/873.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/874.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/875.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/876.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/877.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/878.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/879.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/88.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/880.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/881.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/882.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/883.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/884.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/885.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/886.cnf: No space left on device [INFO] [stderr] Updating files: 74% (4078/5510) error: unable to create file benchmarks/50vars/sat/887.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/888.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/889.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/89.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/890.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/891.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/892.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/893.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/894.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/895.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/896.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/897.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/898.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/899.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/9.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/90.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/900.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/901.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/902.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/903.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/904.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/905.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/906.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/907.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/908.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/909.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/91.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/910.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/911.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/912.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/913.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/914.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/915.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/916.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/917.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/918.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/919.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/92.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/sat/920.cnf: No space left on device [INFO] [stderr] Updating files: 75% (4133/5510) error: unable to write file benchmarks/50vars/sat/937.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/938.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/939.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/94.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/940.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/941.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/942.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/943.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/944.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/945.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/946.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/947.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/948.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/949.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/95.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/950.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/951.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/952.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/953.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/954.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/955.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/956.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/957.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/958.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/959.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/96.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/960.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/961.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/962.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/963.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/964.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/965.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/966.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/967.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/968.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/969.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/97.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/970.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/971.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/sat/972.cnf [INFO] [stderr] Updating files: 76% (4188/5510) error: unable to write file benchmarks/50vars/unsat/125.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/126.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/127.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/128.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/129.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/13.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/130.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/131.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/132.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/133.cnf [INFO] [stderr] Updating files: 77% (4243/5510) error: unable to write file benchmarks/50vars/unsat/134.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/135.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/136.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/137.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/138.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/139.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/14.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/140.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/141.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/142.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/143.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/144.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/145.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/146.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/147.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/148.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/149.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/15.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/150.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/151.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/152.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/153.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/154.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/155.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/156.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/157.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/158.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/159.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/16.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/160.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/161.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/162.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/163.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/164.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/165.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/166.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/167.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/168.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/169.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/17.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/170.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/171.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/172.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/173.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/174.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/175.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/176.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/177.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/178.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/179.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/18.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/180.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/181.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/182.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/183.cnf [INFO] [stderr] Updating files: 78% (4298/5510) error: unable to write file benchmarks/50vars/unsat/184.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/185.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/186.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/187.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/188.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/189.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/19.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/190.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/191.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/192.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/193.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/194.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/195.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/196.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/197.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/198.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/199.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/2.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/20.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/200.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/201.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/202.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/203.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/204.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/205.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/206.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/207.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/208.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/209.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/21.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/210.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/211.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/212.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/213.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/214.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/215.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/216.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/217.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/218.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/219.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/22.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/220.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/221.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/222.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/223.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/224.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/225.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/226.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/227.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/228.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/229.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/23.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/230.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/231.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/232.cnf [INFO] [stderr] Updating files: 79% (4353/5510) error: unable to write file benchmarks/50vars/unsat/233.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/234.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/235.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/236.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/237.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/238.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/239.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/24.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/240.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/241.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/242.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/243.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/244.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/245.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/246.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/247.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/248.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/249.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/25.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/250.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/251.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/252.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/253.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/254.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/255.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/256.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/257.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/258.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/259.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/26.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/260.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/261.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/262.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/263.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/264.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/265.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/266.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/267.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/268.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/269.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/27.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/270.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/271.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/272.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/273.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/274.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/275.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/276.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/277.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/278.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/279.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/28.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/280.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/281.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/282.cnf [INFO] [stderr] Updating files: 80% (4408/5510) error: unable to write file benchmarks/50vars/unsat/283.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/284.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/285.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/286.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/287.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/288.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/289.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/29.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/290.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/291.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/292.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/293.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/294.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/295.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/296.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/297.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/298.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/299.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/3.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/30.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/300.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/301.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/302.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/303.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/304.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/305.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/306.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/307.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/308.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/309.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/31.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/310.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/311.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/312.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/313.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/314.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/315.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/316.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/317.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/318.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/319.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/32.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/320.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/321.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/322.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/323.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/324.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/325.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/326.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/327.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/328.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/329.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/33.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/330.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/331.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/332.cnf: No space left on device [INFO] [stderr] Updating files: 81% (4464/5510) error: unable to create file benchmarks/50vars/unsat/333.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/334.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/335.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/336.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/337.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/338.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/339.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/34.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/340.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/341.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/342.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/343.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/344.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/345.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/346.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/347.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/348.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/349.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/35.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/350.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/351.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/352.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/353.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/354.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/355.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/356.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/357.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/358.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/359.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/36.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/360.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/361.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/362.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/363.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/364.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/365.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/366.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/367.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/368.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/369.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/37.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/370.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/371.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/372.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/373.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/374.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/375.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/376.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/377.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/378.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/379.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/38.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/380.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/381.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/382.cnf: No space left on device [INFO] [stderr] Updating files: 82% (4519/5510) error: unable to create file benchmarks/50vars/unsat/383.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/384.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/385.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/386.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/387.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/388.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/389.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/39.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/390.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/391.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/392.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/393.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/394.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/395.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/396.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/397.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/398.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/399.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/4.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/40.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/400.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/401.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/402.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/403.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/404.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/405.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/406.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/407.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/408.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/409.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/41.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/410.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/411.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/412.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/413.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/414.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/415.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/416.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/417.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/418.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/419.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/42.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/420.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/421.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/422.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/423.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/424.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/425.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/426.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/427.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/428.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/429.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/43.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/430.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/431.cnf: No space left on device [INFO] [stderr] Updating files: 83% (4574/5510) error: unable to create file benchmarks/50vars/unsat/432.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/433.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/434.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/435.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/436.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/437.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/438.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/439.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/44.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/440.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/441.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/442.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/443.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/444.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/445.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/446.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/447.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/448.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/449.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/45.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/450.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/451.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/452.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/453.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/454.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/455.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/456.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/457.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/458.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/459.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/46.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/460.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/461.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/462.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/463.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/464.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/465.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/466.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/467.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/468.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/469.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/47.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/470.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/471.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/472.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/473.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/474.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/475.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/476.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/477.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/478.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/479.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/48.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/480.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/481.cnf: No space left on device [INFO] [stderr] Updating files: 84% (4629/5510) error: unable to create file benchmarks/50vars/unsat/482.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/483.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/484.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/485.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/486.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/487.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/488.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/489.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/49.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/490.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/491.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/492.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/493.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/494.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/495.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/496.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/497.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/498.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/499.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/5.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/50.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/500.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/501.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/502.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/503.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/504.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/505.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/506.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/507.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/508.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/509.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/51.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/510.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/511.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/512.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/513.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/514.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/515.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/516.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/517.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/518.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/519.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/52.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/520.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/521.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/522.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/523.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/524.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/525.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/526.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/527.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/528.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/529.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/53.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/530.cnf: No space left on device [INFO] [stderr] Updating files: 85% (4684/5510) error: unable to create file benchmarks/50vars/unsat/531.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/532.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/533.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/534.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/535.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/536.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/537.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/538.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/539.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/54.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/540.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/541.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/542.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/543.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/544.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/545.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/546.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/547.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/548.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/549.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/55.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/550.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/551.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/552.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/553.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/554.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/555.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/556.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/557.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/558.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/559.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/56.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/560.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/561.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/562.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/563.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/564.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/565.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/566.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/567.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/568.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/569.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/57.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/570.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/571.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/572.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/573.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/574.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/575.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/576.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/577.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/578.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/579.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/58.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/580.cnf: No space left on device [INFO] [stderr] Updating files: 86% (4739/5510) error: unable to create file benchmarks/50vars/unsat/581.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/582.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/583.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/584.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/585.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/586.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/587.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/588.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/589.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/59.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/590.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/591.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/592.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/593.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/594.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/595.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/596.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/597.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/598.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/599.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/6.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/60.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/600.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/601.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/602.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/603.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/604.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/605.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/606.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/607.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/608.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/609.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/61.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/610.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/611.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/612.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/613.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/614.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/615.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/616.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/617.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/618.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/619.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/62.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/620.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/621.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/622.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/623.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/624.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/625.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/626.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/627.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/628.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/629.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/63.cnf: No space left on device [INFO] [stderr] Updating files: 87% (4794/5510) error: unable to create file benchmarks/50vars/unsat/630.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/631.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/632.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/633.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/634.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/635.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/636.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/637.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/638.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/639.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/64.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/640.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/641.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/642.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/643.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/644.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/645.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/646.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/647.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/648.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/649.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/65.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/650.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/651.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/652.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/653.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/654.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/655.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/656.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/657.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/658.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/659.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/66.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/661.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/662.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/663.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/664.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/665.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/666.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/667.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/668.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/669.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/67.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/670.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/671.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/672.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/673.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/674.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/675.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/676.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/677.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/678.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/679.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/68.cnf [INFO] [stderr] Updating files: 88% (4849/5510) error: unable to write file benchmarks/50vars/unsat/680.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/681.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/682.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/683.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/684.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/685.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/686.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/687.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/688.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/689.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/69.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/690.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/691.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/692.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/693.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/694.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/695.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/696.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/697.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/698.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/699.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/7.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/70.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/700.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/701.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/702.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/703.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/704.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/705.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/706.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/707.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/708.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/709.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/71.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/710.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/711.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/712.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/713.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/714.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/715.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/716.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/717.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/718.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/719.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/72.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/720.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/721.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/722.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/723.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/724.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/725.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/726.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/727.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/728.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/729.cnf [INFO] [stderr] Updating files: 89% (4904/5510) error: unable to write file benchmarks/50vars/unsat/73.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/730.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/731.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/732.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/733.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/734.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/735.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/736.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/737.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/738.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/739.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/74.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/740.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/741.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/742.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/743.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/744.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/745.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/746.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/747.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/748.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/749.cnf [INFO] [stderr] Updating files: 90% (4959/5510) Updating files: 91% (5015/5510) Updating files: 92% (5070/5510) Updating files: 93% (5125/5510) Updating files: 94% (5180/5510) Updating files: 95% (5235/5510) error: unable to write file benchmarks/coloring/100vertices/sat/flat100-7.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-70.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-71.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-72.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-73.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-74.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-75.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-76.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-77.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-78.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-79.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-8.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-80.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-81.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-82.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-83.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-84.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-85.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-86.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-87.cnf [INFO] [stderr] Updating files: 96% (5290/5510) error: unable to write file benchmarks/coloring/100vertices/sat/flat100-88.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-89.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-9.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-90.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-91.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-92.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-93.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-94.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-95.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-96.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-97.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-98.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-99.cnf [INFO] [stderr] fatal: cannot create directory at 'benchmarks/coloring/200vertices': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking hyblm/upol-vytal against try#de39175d9e0f63ff8967b81f9639ba28d11ae6ef for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-48.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-49.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-63.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-64.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-65.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-66.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-67.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-68.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-69.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-7.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-70.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-71.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-72.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-73.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-74.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-75.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-76.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-77.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-78.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-79.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-8.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-80.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-81.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-82.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-83.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-84.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-85.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-86.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-87.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-88.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-89.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-9.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-90.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-91.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-92.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-93.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-94.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-95.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-96.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-97.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-98.cnf [INFO] [stderr] error: unable to write file benchmarks/coloring/100vertices/sat/flat100-99.cnf [INFO] [stderr] fatal: cannot create directory at 'benchmarks/coloring/200vertices': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking hyblm/upol-vytal against try#de39175d9e0f63ff8967b81f9639ba28d11ae6ef for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/90.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/900.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/901.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/902.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/903.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/904.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/905.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/906.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/907.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/908.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/909.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/91.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/910.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/911.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/912.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/913.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/914.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/915.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/916.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/917.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/918.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/919.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/92.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/920.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/921.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/922.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/923.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/924.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/925.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/926.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/927.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/928.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/929.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/93.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/930.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/931.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/932.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/933.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/934.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/935.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/936.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/937.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/938.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/939.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/94.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/940.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/941.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/942.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/943.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/944.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/945.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/946.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/947.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/948.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/949.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/95.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/950.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/951.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/952.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/953.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/954.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/955.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/956.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/957.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/958.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/959.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/96.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/960.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/961.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/962.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/963.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/964.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/965.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/966.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/967.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/968.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/969.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/97.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/970.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/971.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/972.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/973.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/974.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/975.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/976.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/977.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/978.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/979.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/98.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/980.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/981.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/982.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/983.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/984.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/985.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/986.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/987.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/988.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/989.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/99.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/990.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/991.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/992.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/993.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/994.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/995.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/996.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/997.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/998.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/999.cnf [INFO] [stderr] fatal: cannot create directory at 'benchmarks/coloring': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking hyblm/upol-vytal against try#de39175d9e0f63ff8967b81f9639ba28d11ae6ef for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/145.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/146.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/147.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/148.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/149.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/15.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/150.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/151.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/152.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/153.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/154.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/155.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/156.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/157.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/158.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/171.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/172.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/173.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/174.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/175.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/176.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/177.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/178.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/179.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/18.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/180.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/181.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/182.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/183.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/184.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/185.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/186.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/187.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/188.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/189.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/19.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/190.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/191.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/192.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/193.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/194.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/195.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/196.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/197.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/198.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/199.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/2.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/20.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/200.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/201.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/202.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/203.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/204.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/205.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/206.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/207.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/219.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/22.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/220.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/221.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/222.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/223.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/224.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/225.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/226.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/227.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/228.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/229.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/23.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/230.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/231.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/232.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/233.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/234.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/235.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/236.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/363.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/372.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/373.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/48.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/51.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/513.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/514.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/518.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/52.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/520.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/521.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/522.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/523.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/524.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/525.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/526.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/527.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/528.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/529.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/53.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/530.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/531.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/532.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/533.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/534.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/535.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/536.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/537.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/538.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/539.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/54.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/540.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/541.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/542.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/543.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/544.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/545.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/546.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/547.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/548.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/549.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/55.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/550.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/551.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/552.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/553.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/554.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/555.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/556.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/557.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/558.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/559.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/56.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/560.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/561.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/562.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/563.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/564.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/565.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/566.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/567.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/568.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/569.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/57.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/570.cnf [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/571.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/572.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/573.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/574.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/575.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/576.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/577.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/578.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/579.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/58.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/580.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/581.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/582.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/583.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/584.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/585.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/586.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/587.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/588.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/589.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/59.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/590.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/591.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/592.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/593.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/594.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/595.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/596.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/597.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/598.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/599.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/6.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/60.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/600.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/601.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/602.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/603.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/604.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/605.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/606.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/607.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/608.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/609.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/61.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/610.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/611.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/612.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/613.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/614.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/615.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/616.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/617.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/618.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/619.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/62.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/620.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/621.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/622.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/623.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/624.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/625.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/626.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/627.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/628.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/629.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/63.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/630.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/631.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/632.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/633.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/634.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/635.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/636.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/637.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/638.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/639.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/64.cnf: No space left on device [INFO] [stderr] error: unable to create file benchmarks/50vars/unsat/640.cnf: No space left on device [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/673.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/674.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/676.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/677.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/678.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/679.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/68.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/680.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/681.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/682.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/683.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/684.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/685.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/686.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/687.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/688.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/689.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/69.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/690.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/691.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/692.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/693.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/694.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/695.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/696.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/697.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/698.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/699.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/7.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/70.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/700.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/701.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/702.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/703.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/704.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/705.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/706.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/707.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/708.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/709.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/71.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/710.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/711.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/712.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/713.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/714.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/715.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/716.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/717.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/718.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/719.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/72.cnf [INFO] [stderr] Updating files: 89% (4922/5510) error: unable to write file benchmarks/50vars/unsat/774.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/775.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/776.cnf [INFO] [stderr] Updating files: 90% (4959/5510) error: unable to write file benchmarks/50vars/unsat/790.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/791.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/792.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/794.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/795.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/796.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/797.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/798.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/799.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/8.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/80.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/800.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/801.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/802.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/803.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/804.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/805.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/806.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/807.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/808.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/809.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/81.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/810.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/811.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/812.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/813.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/814.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/815.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/816.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/817.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/818.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/819.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/82.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/820.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/821.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/822.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/823.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/824.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/825.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/826.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/827.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/828.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/829.cnf [INFO] [stderr] Updating files: 91% (5015/5510) error: unable to write file benchmarks/50vars/unsat/83.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/830.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/831.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/832.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/833.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/834.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/835.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/836.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/837.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/838.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/839.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/84.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/840.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/841.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/842.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/843.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/844.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/845.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/846.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/847.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/848.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/849.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/85.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/850.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/851.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/852.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/853.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/854.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/855.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/856.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/857.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/858.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/859.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/86.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/860.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/861.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/862.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/863.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/864.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/865.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/866.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/867.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/868.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/869.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/87.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/870.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/871.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/872.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/873.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/874.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/875.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/876.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/877.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/878.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/879.cnf [INFO] [stderr] Updating files: 92% (5070/5510) error: unable to write file benchmarks/50vars/unsat/88.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/880.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/881.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/882.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/883.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/884.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/885.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/886.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/887.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/888.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/889.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/89.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/890.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/891.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/892.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/893.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/894.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/895.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/896.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/897.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/898.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/899.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/9.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/90.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/900.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/901.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/902.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/903.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/904.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/905.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/906.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/907.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/908.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/909.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/91.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/910.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/911.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/912.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/913.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/914.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/915.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/916.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/917.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/918.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/919.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/92.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/920.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/921.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/922.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/923.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/924.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/925.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/926.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/927.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/928.cnf [INFO] [stderr] Updating files: 93% (5125/5510) error: unable to write file benchmarks/50vars/unsat/929.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/93.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/930.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/931.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/932.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/933.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/934.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/935.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/936.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/937.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/938.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/939.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/94.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/940.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/941.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/942.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/943.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/944.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/945.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/946.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/947.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/948.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/949.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/95.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/950.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/951.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/952.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/953.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/954.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/955.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/956.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/957.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/958.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/959.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/96.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/960.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/961.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/962.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/963.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/964.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/965.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/966.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/967.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/968.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/969.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/97.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/970.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/971.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/972.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/973.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/974.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/975.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/976.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/977.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/978.cnf [INFO] [stderr] Updating files: 94% (5180/5510) error: unable to write file benchmarks/50vars/unsat/979.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/98.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/980.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/981.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/982.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/983.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/984.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/985.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/986.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/987.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/988.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/989.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/99.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/990.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/991.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/992.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/993.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/994.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/995.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/996.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/997.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/998.cnf [INFO] [stderr] error: unable to write file benchmarks/50vars/unsat/999.cnf [INFO] [stderr] fatal: cannot create directory at 'benchmarks/coloring': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking hyblm/upol-vytal against try#de39175d9e0f63ff8967b81f9639ba28d11ae6ef for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmarks/200vars/sat/96.cnf [INFO] [stderr] error: unable to write file benchmarks/200vars/sat/97.cnf [INFO] [stderr] error: unable to write file benchmarks/200vars/sat/98.cnf [INFO] [stderr] error: unable to write file benchmarks/200vars/sat/99.cnf [INFO] [stderr] fatal: cannot create directory at 'benchmarks/200vars/unsat': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] ExecutionFailed(ExitStatus(unix_wait_status(32768))) failed to checkout https://github.com/hyblm/upol-vytal