[INFO] cloning repository https://github.com/ricardombiot/3sat_machine_original_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ricardombiot/3sat_machine_original_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fricardombiot%2F3sat_machine_original_rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 083ded6816848e3b9f1c7fa8f964de9412119f8d
[INFO] checking ricardombiot/3sat_machine_original_rs against master#5a45ab9738330fb317d49e3594c2db5248b1e971 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-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i202_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i203_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i204_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i205_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i206_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i207_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i208_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i209_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i20_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i210_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i211_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i212_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i213_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i214_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i215_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i216_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i217_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i218_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i219_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i21_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i220_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i221_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i222_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i223_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i224_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i225_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i226_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i227_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i228_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i229_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i22_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i230_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i231_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i232_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i233_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i234_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i235_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i236_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i237_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i238_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i239_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i23_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i240_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i241_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i242_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i243_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i244_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i245_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i246_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i247_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i248_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i249_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i24_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i250_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i251_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i252_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i253_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i254_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i255_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i256_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i257_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i258_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i259_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i25_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i260_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i261_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i262_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i263_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i264_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i265_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i266_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i267_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i268_v4_c10.txt
[INFO] [stderr] error: unable to write file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i269_v4_c10.txt
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i26_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i270_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i271_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i272_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i273_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i274_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i275_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i276_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i277_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i278_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i279_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i27_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i280_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i281_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i282_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i283_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i284_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i285_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i286_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i287_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i288_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i289_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i28_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i290_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i291_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i292_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i293_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i294_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i295_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i296_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i297_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i298_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i299_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i29_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i2_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i300_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i301_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i302_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i303_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i304_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i305_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i306_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i307_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i308_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i309_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i30_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i310_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i311_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i312_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i313_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i314_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i315_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i316_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i317_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i318_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i319_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i31_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i320_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i321_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i322_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i323_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i324_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i325_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i326_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i327_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i328_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i329_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i32_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i330_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i331_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i332_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i333_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i334_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i335_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i336_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i337_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i338_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i339_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i33_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i340_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i341_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i342_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i343_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i344_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i345_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i346_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i347_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i348_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i349_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i34_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i350_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i351_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i352_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i353_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i354_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i355_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i356_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i357_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i358_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i359_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i35_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i360_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i361_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i362_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i363_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i364_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i365_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i366_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i367_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i368_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i369_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i36_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i370_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i371_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i372_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i373_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i374_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i375_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i376_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i377_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i378_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i379_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i37_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i380_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i381_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i382_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i383_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i384_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i385_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i386_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i387_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i388_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i389_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i38_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i390_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i391_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i392_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i393_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i394_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i395_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i396_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i397_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i398_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i399_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i39_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i3_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i400_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i401_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i402_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i403_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i404_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i405_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i406_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i407_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i408_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i409_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i40_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i410_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i411_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i412_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i413_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i414_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i415_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i416_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i417_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i418_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i419_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i41_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i420_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i421_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i422_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i423_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i424_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i425_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i426_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i427_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i428_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i429_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i42_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i430_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i431_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i432_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i433_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i434_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i435_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i436_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i437_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i438_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i439_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i43_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i440_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i441_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i442_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i443_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i444_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i445_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i446_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i447_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i448_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i449_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i44_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i450_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i451_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i452_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i453_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i454_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i455_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i456_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i457_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i458_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i459_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i45_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i460_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i461_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i462_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i463_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i464_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i465_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i466_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i467_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i468_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i469_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i46_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i470_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i471_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i472_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i473_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i474_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i475_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i476_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i477_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i478_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i479_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i47_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i480_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i481_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i482_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i483_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i484_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i485_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i486_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i487_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i488_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i489_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i48_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i490_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i491_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i492_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i493_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i494_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i495_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i496_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i497_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i498_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i499_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i49_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i4_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i500_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i501_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i502_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i503_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i504_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i505_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i506_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i507_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i508_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i509_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i50_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i510_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i511_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i512_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i513_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i514_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i515_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i516_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i517_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i518_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i519_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i51_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i520_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i521_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i522_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i523_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i524_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i525_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i526_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i527_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i528_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i529_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i52_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i530_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i531_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i532_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i533_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i534_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i535_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i536_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i537_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i538_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i539_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i53_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i540_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i541_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i542_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i543_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i544_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i545_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i546_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i547_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i548_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i549_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i54_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i550_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i551_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i552_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i553_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i554_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i555_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i556_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i557_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i558_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i559_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i55_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i560_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i561_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i562_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i563_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i564_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i565_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i566_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i567_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i568_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i569_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i56_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i570_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i571_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i572_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i573_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i574_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i575_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i576_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i577_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i578_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i579_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i57_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i580_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i581_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i582_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i583_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i584_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i585_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i586_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i587_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i588_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i589_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i58_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i590_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i591_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i592_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i593_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i594_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i595_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i596_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i597_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i598_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i599_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i59_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i5_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i600_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i601_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i602_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i603_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i604_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i605_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i606_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i607_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i608_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i609_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i60_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i610_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i611_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i612_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i613_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i614_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i615_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i616_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i617_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i618_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i619_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i61_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i620_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i621_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i622_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i623_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i624_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i625_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i626_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i627_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i628_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i629_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i62_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i630_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i631_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i632_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i633_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i634_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i635_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i636_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i637_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i638_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i639_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i63_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i640_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i641_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i642_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i643_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i644_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i645_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i646_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i647_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i648_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i649_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i64_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i650_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i651_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i652_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i653_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i654_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i655_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i656_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i657_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i658_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i659_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i65_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i660_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i661_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i662_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i663_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i664_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i665_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i666_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i667_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i668_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i669_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i66_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i670_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i671_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i672_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i673_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i674_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i675_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i676_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i677_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i678_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i679_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i67_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i680_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i681_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i682_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i683_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i684_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i685_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i686_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i687_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i688_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i689_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i68_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i690_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i691_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i692_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i693_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i694_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i695_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i696_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i697_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i698_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i699_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i69_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i6_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i700_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i701_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i702_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i703_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i704_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i705_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i706_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i707_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i708_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i709_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i70_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i710_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i711_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i712_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i713_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i714_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i715_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i716_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i717_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i718_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i719_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i71_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i720_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i721_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i722_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i723_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i724_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i725_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i726_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i727_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i728_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i729_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i72_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i730_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i731_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i732_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i733_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i734_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i735_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i736_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i737_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i738_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i739_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i73_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i740_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i741_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i742_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i743_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i744_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i745_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i746_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i747_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i748_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i749_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i74_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i750_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i751_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i752_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i753_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i754_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i755_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i756_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i757_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i758_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i759_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i75_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i760_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i761_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i762_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i763_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i764_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i765_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i766_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i767_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i768_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i769_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i76_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i770_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i771_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i772_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i773_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i774_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i775_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i776_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i777_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i778_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i779_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i77_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i780_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i781_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i782_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i783_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i784_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i785_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i786_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i787_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i788_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i789_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i78_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i790_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i791_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i792_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i793_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i794_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i795_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i796_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i797_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i798_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i799_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i79_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i7_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i800_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i801_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i802_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i803_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i804_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i805_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i806_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i807_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i808_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i809_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i80_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i810_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i811_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i812_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i813_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i814_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i815_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i816_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i817_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i818_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i819_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i81_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i820_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i821_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i822_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i823_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i824_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i825_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i826_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i827_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i828_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i829_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i82_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i830_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i831_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i832_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i833_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i834_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i835_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i836_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i837_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i838_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i839_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i83_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i840_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i841_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i842_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i843_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i844_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i845_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i846_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i847_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i848_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i849_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i84_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i850_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i851_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i852_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i853_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i854_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i855_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i856_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i857_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i858_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i859_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i85_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i860_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i861_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i862_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i863_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i864_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i865_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i866_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i867_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i868_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i869_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i86_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i870_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i871_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i872_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i873_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i874_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i875_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i876_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i877_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i878_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i879_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i87_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i880_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i881_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i882_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i883_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i884_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i885_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i886_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i887_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i888_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i889_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i88_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i890_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i891_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i892_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i893_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i894_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i895_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i896_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i897_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i898_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i899_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i89_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i8_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i900_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i901_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i902_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i903_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i904_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i905_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i906_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i907_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i908_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i909_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i90_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i910_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i911_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i912_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i913_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i914_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i915_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i916_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i917_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i918_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i919_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i91_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i920_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i921_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i922_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i923_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i924_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i925_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i926_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i927_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i928_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i929_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i92_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i930_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i931_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i932_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i933_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i934_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i935_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i936_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i937_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i938_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i939_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i93_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i940_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i941_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i942_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i943_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i944_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i945_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i946_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i947_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i948_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i949_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i94_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i950_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i951_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i952_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i953_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i954_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i955_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i956_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i957_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i958_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i959_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i95_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i960_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i961_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i962_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i963_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i964_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i965_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i966_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i967_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i968_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i969_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i96_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i970_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i971_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i972_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i973_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i974_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i975_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i976_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i977_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i978_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i979_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i97_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i980_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i981_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i982_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i983_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i984_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i985_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i986_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i987_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i988_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i989_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i98_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i990_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i991_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i992_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i993_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i994_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i995_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i996_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i997_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i998_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i999_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i99_v4_c10.txt: No space left on device
[INFO] [stderr] error: unable to create file test_3sat_rs/output_1k_v4_c10/solver_exhaustive/set1000410_20211209_i9_v4_c10.txt: No space left on device
[INFO] [stderr] fatal: cannot create directory at 'test_3sat_rs/output_1k_v4_c10/solver_sat_machine_rs': 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
    
    