[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[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/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 2)
[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 3)
[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 4)
[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 5)
[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 6)
[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 083ded6816848e3b9f1c7fa8f964de9412119f8d
[INFO] checking ricardombiot/3sat_machine_original_rs against master#b56aaec52bc0fa35591a872fb4aac81f606e265c for pr-122661-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i324_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i325_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i326_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i327_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i328_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i329_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i32_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i330_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i331_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i332_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i333_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i334_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i335_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i336_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i337_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i338_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i339_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i33_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i340_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i341_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i342_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i343_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i344_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i345_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i346_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i347_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i348_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i349_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i34_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i350_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i351_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i352_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i353_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i354_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i355_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i356_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i357_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i358_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i359_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i35_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i360_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i361_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i362_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i363_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i364_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i365_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i366_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i367_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i368_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i369_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i36_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i370_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i371_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i372_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i373_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i374_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i375_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i376_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i377_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i378_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i379_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i37_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i380_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i381_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i382_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i383_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i384_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i385_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i386_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i387_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i388_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i389_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i38_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i390_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i391_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i392_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i393_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i394_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i395_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i396_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i397_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i398_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i399_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i39_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i3_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i400_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i401_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i402_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i403_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i404_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i405_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i406_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i407_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i408_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i409_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i40_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i410_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i411_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i412_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i413_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i414_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i415_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i416_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i417_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i418_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i419_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i41_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i420_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i421_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i422_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i423_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i424_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i425_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i426_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i427_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i428_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i429_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i42_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i430_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i431_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i432_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i433_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i434_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i435_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i436_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i437_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i438_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i439_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i43_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i440_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i441_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i442_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i443_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i444_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i445_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i446_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i447_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i448_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i449_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i44_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i450_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i451_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i452_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i453_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i454_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i455_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i456_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i457_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i458_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i459_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i45_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i460_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i461_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i462_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i463_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i464_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i465_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i466_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i467_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i468_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i469_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i46_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i475_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i476_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i477_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i478_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i479_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i47_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i480_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i481_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i482_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i483_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i484_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i485_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i486_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i487_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i488_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i489_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i48_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i490_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i491_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i492_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i493_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i494_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i495_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i496_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i497_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i498_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i499_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i49_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i4_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i500_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i501_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i502_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i503_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i504_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i505_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i506_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i507_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i508_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i509_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i50_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i510_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i511_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i512_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i513_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i514_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i515_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i516_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i517_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i518_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i519_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i51_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i520_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i521_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i522_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i523_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i524_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i525_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i526_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i527_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i528_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i529_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i52_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i530_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i531_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i532_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i533_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i534_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i535_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i536_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i537_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i538_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i539_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i53_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i540_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i541_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i542_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i543_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i544_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i545_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i546_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i547_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i548_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i549_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i54_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i550_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i551_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i552_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i553_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i554_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i555_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i556_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i557_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i558_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i559_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i55_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i560_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i561_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i562_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i563_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i564_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i565_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i566_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i567_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i568_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i569_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i56_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i570_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i571_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i572_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i573_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i574_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i575_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i576_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i577_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i578_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i579_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i57_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i580_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i581_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i582_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i583_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i584_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i585_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i586_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i587_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i588_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i589_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i58_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i590_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs/set1000410_20211209_i591_v4_c10.txt
[INFO] [stderr] fatal: unable to checkout working tree
[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] 


failed to checkout https://github.com/ricardombiot/3sat_machine_original_rs

Caused by:
    command failed: exit status: 128