[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 try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i137_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i315_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i316_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i317_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i318_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i319_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i31_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i320_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i321_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i322_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i323_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i324_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i325_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i326_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i327_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i328_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i329_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i32_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i330_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i331_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i332_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i333_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i334_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i555_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i556_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i557_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i558_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i559_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i55_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i606_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i609_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i60_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i610_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i611_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i612_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i613_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i614_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i615_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i616_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i617_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i618_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i619_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i61_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i620_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i621_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i622_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i623_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i624_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i625_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i626_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i627_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i628_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i629_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i62_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i630_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i631_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i632_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i633_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i634_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i635_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i636_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i637_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i638_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i639_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i63_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i640_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i641_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i642_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i643_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i644_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i645_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i646_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i647_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i648_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i649_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i64_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i650_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i651_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i652_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i653_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i654_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i655_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i656_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i657_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i658_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i659_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i65_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i660_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i661_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i662_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i663_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i664_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i665_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i666_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i667_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i668_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i669_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i66_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i670_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i671_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i672_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i673_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i674_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i675_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i676_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i677_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i678_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i679_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i67_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i680_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i681_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i682_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i683_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i684_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i685_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i686_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i687_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i688_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i689_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i68_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i690_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i691_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i692_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i693_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i694_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i695_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i696_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i697_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i698_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i699_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i69_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i6_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i700_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i701_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i702_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i703_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i704_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i705_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i706_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i707_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i708_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i709_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i70_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i710_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i711_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i712_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i713_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i714_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i715_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i716_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i717_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i718_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i719_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i71_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i720_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i721_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i722_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i723_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i724_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i725_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i726_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i727_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i728_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i729_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i72_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i730_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i731_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i732_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i733_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i734_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i735_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i736_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i737_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i738_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i739_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i73_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i740_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i741_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i742_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i743_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i744_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i745_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i746_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i747_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i748_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i749_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i74_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i750_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i751_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i752_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i753_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i754_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i755_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i756_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i757_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i758_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i759_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i75_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i760_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i761_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i762_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i763_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i764_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i765_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i766_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i767_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i768_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i769_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i76_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i770_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i771_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i772_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i773_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i774_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i775_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i776_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i777_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i778_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i779_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i77_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i780_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i781_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i782_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i783_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i784_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i785_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i786_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i787_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i788_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i789_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i78_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i790_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i791_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i792_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i793_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i794_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i795_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i796_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i797_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i798_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i799_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i79_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i7_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i800_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i801_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i802_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i803_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i804_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i805_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i806_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i807_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i808_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i809_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i80_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i810_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i811_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i812_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i813_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i814_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i815_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i816_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i817_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i818_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i819_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i81_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i820_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i821_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i822_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i823_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i824_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i825_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i826_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i827_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i828_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i829_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i82_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i830_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i831_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i832_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i833_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i834_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i835_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i836_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i837_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i838_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i839_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i83_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i840_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i841_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i842_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i843_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i844_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i845_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i846_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i847_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i848_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i849_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i84_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i850_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i851_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i852_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i853_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i854_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i855_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i856_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i857_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i858_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i859_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i85_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i860_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i861_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i862_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i863_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i864_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i865_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i866_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i867_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i868_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i869_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i86_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i870_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i871_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i872_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i873_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i874_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i875_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i876_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i877_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i878_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i879_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i87_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i880_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i881_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i882_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i883_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i884_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i885_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i886_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i887_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i888_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i889_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i88_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i890_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i891_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i892_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i893_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i894_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i895_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i896_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i897_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i898_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i899_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i89_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i8_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i900_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i901_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i902_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i903_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i904_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i905_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i906_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i907_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i908_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i909_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i90_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i910_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i911_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i912_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i913_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i914_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i915_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i916_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i917_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i918_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i919_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i91_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i920_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i921_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i922_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i923_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i924_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i925_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i926_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i927_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i928_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i929_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i92_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i930_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i931_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i932_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i933_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i934_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i935_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i936_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i937_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i938_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i939_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i93_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i940_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i941_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i942_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i943_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i944_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i945_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i946_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i947_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i948_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i949_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i94_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i950_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i951_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i952_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i953_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i954_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i955_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i956_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i957_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i958_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i959_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i95_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i960_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i961_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i962_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i963_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i964_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i965_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i966_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i967_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i968_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i969_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i96_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i970_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i971_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i972_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i973_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i974_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i975_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i976_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i977_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i978_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i979_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i97_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i980_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i981_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i982_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i983_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i984_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i985_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i986_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i987_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i988_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i989_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i98_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i990_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i991_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i992_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i993_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i994_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i995_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i996_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i997_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i998_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i999_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i99_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i9_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/report.txt
[INFO] [stderr] fatal: cannot create directory at 'test_3sat_rs/output_1k_v4_c10/solver_exhaustive': 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 ricardombiot/3sat_machine_original_rs against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i793_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i794_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i795_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i796_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i797_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i798_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i799_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i79_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i7_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i800_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i801_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i802_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i803_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i804_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i805_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i832_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i833_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i834_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i835_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i836_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i837_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i838_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i839_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i83_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i840_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i841_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i842_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i843_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i844_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i845_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i846_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i847_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i848_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i849_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i84_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i850_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i851_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i852_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i853_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i854_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i855_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i856_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i857_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i858_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i859_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i85_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i860_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i861_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i862_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i863_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i864_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i865_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i866_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i867_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i868_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i869_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i86_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i870_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i871_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i872_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i873_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i874_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i875_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i876_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i877_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i878_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i879_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i87_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i880_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i881_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i882_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i883_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i884_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i885_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i886_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i887_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i888_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i889_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i88_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i890_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i891_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i892_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i893_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i894_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i895_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i896_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i897_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i898_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i899_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i89_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i8_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i900_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i901_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i902_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i903_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i904_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i905_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i906_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i907_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i908_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i909_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i90_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i910_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i911_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i912_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i913_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i914_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i915_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i916_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i917_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i918_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i919_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i91_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i920_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i921_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i922_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i923_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i924_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i925_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i926_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i927_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i928_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i929_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i92_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i930_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i931_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i932_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i933_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i934_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i935_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i936_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i937_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i938_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i939_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i93_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i940_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i941_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i942_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i943_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i944_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i945_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i946_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i947_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i948_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i949_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i94_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i950_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i951_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i952_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i953_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i954_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i955_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i956_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i957_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i958_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i959_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i95_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i960_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i961_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i962_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i963_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i964_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i965_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i966_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i967_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i968_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i969_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i96_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i970_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i971_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i972_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i973_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i974_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i975_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i976_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i977_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i978_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i979_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i97_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i980_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i981_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i982_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i983_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i984_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i985_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i986_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i987_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i988_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i989_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i98_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i990_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i991_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i992_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i993_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i994_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i995_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i996_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i997_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i998_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i999_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i99_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i9_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/report.txt
[INFO] [stderr] fatal: cannot create directory at 'test_3sat_rs/output_1k_v4_c10/solver_exhaustive': 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 ricardombiot/3sat_machine_original_rs against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i845_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i846_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i847_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i848_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i849_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i84_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i850_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i851_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i852_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i853_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i854_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i855_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i856_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i857_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i858_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i859_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i85_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i860_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i861_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i862_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i863_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i864_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i865_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i866_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i867_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i868_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i869_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i86_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i870_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i871_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i872_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i873_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i874_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i875_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i876_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i877_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i878_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i879_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i87_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i880_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i881_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i882_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i883_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i884_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i885_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i886_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i887_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i888_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i889_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i88_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i890_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i891_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i892_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i893_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i894_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i895_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i896_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i897_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i898_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i899_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i89_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i8_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i900_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i901_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i902_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i903_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i904_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i905_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i906_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i907_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i908_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i909_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i90_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i910_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i911_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i912_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i913_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i914_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i915_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i916_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i917_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i918_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i919_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i91_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i920_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i921_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i922_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i923_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i924_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i925_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i926_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i927_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i928_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i929_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i92_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i930_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i931_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i932_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i933_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i934_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i935_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i936_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i937_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i938_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i939_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i93_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i940_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i941_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i942_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i943_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i944_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i945_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i946_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i947_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i948_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i949_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i94_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i950_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i951_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i952_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i953_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i954_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i955_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i956_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i957_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i958_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i959_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i95_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i960_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i961_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i962_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i963_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i964_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i965_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i966_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i967_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i968_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i969_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i96_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i970_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i971_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i972_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i973_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i974_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i975_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i976_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i977_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i978_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i979_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i97_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i980_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i981_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i982_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i983_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i984_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i985_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i986_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i987_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i988_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i989_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i98_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i990_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i991_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i992_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i993_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i994_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i995_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i996_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i997_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i998_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i999_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i99_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i9_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/report.txt
[INFO] [stderr] fatal: cannot create directory at 'test_3sat_rs/output_1k_v4_c10/solver_exhaustive': 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 ricardombiot/3sat_machine_original_rs against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i817_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i818_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i819_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i81_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i820_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i821_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i822_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i823_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i824_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i825_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i826_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i827_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i828_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i829_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i82_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i830_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i831_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i832_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i833_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i834_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i835_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i836_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i837_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i838_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i839_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i83_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i840_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i841_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i842_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i843_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i844_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i845_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i846_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i847_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i848_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i849_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i84_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i850_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i851_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i852_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i853_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i854_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i855_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i856_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i857_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i858_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i859_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i85_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i860_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i861_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i862_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i863_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i864_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i865_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i866_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i867_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i868_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i869_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i86_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i870_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i871_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i872_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i873_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i874_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i875_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i876_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i877_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i878_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i879_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i87_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i880_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i881_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i882_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i883_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i884_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i885_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i886_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i887_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i888_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i889_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i88_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i890_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i891_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i892_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i893_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i894_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i895_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i896_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i897_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i898_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i899_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i89_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i8_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i900_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i901_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i902_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i903_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i904_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i905_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i906_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i907_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i908_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i909_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i90_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i910_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i911_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i912_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i913_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i914_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i915_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i916_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i917_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i918_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i919_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i91_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i920_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i921_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i922_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i923_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i924_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i925_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i926_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i927_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i928_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i929_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i92_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i930_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i931_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i932_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i933_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i934_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i935_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i936_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i937_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i938_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i939_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i93_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i940_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i941_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i942_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i943_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i944_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i945_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i946_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i947_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i948_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i949_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i94_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i950_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i951_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i952_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i953_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i954_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i955_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i956_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i957_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i958_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i959_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i95_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i960_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i961_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i962_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i963_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i964_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i965_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i966_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i967_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i968_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i969_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i96_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i970_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i971_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i972_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i973_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i974_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i975_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i976_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i977_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i978_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i979_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i97_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i980_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i981_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i982_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i983_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i984_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i985_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i986_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i987_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i988_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i989_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i98_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i990_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i991_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i992_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i993_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i994_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i995_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i996_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i997_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i998_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i999_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i99_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i9_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/report.txt
[INFO] [stderr] fatal: cannot create directory at 'test_3sat_rs/output_1k_v4_c10/solver_exhaustive': 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 ricardombiot/3sat_machine_original_rs against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i816_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i817_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i818_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i819_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i81_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i820_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i821_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i822_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i823_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i824_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i825_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i826_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i827_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i828_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i829_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i82_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i830_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i831_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i832_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i833_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i834_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i835_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i836_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i837_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i838_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i839_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i83_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i840_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i841_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i842_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i843_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i844_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i845_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i846_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i847_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i848_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i849_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i84_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i850_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i851_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i852_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i853_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i854_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i855_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i856_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i857_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i858_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i859_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i85_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i860_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i861_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i862_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i863_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i864_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i865_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i866_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i867_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i868_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i869_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i86_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i870_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i871_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i872_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i873_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i874_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i875_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i876_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i877_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i878_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i879_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i87_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i880_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i881_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i882_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i883_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i884_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i885_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i886_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i887_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i888_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i889_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i88_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i890_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i891_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i892_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i893_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i894_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i895_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i896_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i897_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i898_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i899_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i89_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i8_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i900_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i901_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i902_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i903_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i904_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i905_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i906_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i907_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i908_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i909_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i90_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i910_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i911_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i912_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i913_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i914_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i915_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i916_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i917_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i918_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i919_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i91_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i920_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i921_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i922_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i923_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i924_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i925_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i926_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i927_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i928_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i929_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i92_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i930_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i931_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i932_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i933_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i934_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i935_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i936_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i937_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i938_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i939_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i93_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i940_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i941_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i942_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i943_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i944_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i945_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i946_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i947_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i948_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i949_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i94_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i950_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i951_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i952_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i953_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i954_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i955_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i956_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i957_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i958_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i959_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i95_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i960_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i961_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i962_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i963_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i964_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i965_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i966_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i967_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i968_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i969_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i96_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i970_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i971_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i972_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i973_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i974_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i975_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i976_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i977_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i978_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i979_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i97_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i980_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i981_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i982_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i983_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i984_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i985_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i986_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i987_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i988_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i989_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i98_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i990_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i991_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i992_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i993_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i994_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i995_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i996_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i997_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i998_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i999_v4_c10.cnf
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i99_v4_c10.cnf
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/instances/set1000410_20211209_i9_v4_c10.cnf: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/report.txt
[INFO] [stderr] fatal: cannot create directory at 'test_3sat_rs/output_1k_v4_c10/solver_exhaustive': 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] 


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

Caused by:
    command failed: exit status: 128
    
    