[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis/objects/pack: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 2)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 3)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 4)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 5)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 6)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 7)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 8)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 9)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 10)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 11)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 12)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 13)
[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ebbf6ebfa7ff8f74c54fbbf4196c78e227e78121
[INFO] checking marceline-cramer/program-satthesis against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_105.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_106.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_107.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_108.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_109.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_11.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_110.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_111.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_112.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_113.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_114.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_115.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_116.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_117.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_118.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_119.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_12.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_120.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_121.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_122.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_123.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_124.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_125.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_126.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_127.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_128.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_129.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_13.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_130.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_131.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_132.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_133.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_134.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_135.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_136.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_137.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_138.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_139.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_14.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_140.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_141.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_142.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_143.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_144.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_145.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_146.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_147.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_148.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_149.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_15.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_150.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_151.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_152.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_153.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_154.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_155.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_156.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_157.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_158.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_159.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_16.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_160.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_161.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_162.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_163.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_164.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_165.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_166.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_167.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_168.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_169.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_17.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_170.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_171.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_172.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_173.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_174.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_175.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_176.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_177.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_178.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_179.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_18.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_180.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_181.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_182.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_183.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_184.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_185.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_186.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_187.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_188.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_189.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_19.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_190.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_191.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_192.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_193.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_194.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_195.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_196.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_197.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_198.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_199.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_2.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_20.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_200.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_201.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_202.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_203.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_204.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_205.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_206.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_207.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_208.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_209.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_21.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_210.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_211.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_212.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_213.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_214.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_215.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_216.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_217.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_218.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_219.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_22.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_220.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_221.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_222.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_223.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_224.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_225.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_226.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_227.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_228.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_229.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_23.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_230.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_231.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_232.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_233.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_234.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_235.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_236.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_237.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_238.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_239.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_24.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_240.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_241.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_242.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_243.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_244.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_245.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_246.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_247.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_248.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_249.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_25.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_250.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_251.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_252.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_253.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_254.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_255.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_256.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_257.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_258.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_259.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_26.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_260.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_261.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_262.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_263.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_264.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_265.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_266.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_267.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_268.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_269.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_27.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_270.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_271.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_272.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_273.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_274.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_275.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_276.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_277.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_278.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_279.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_28.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_280.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_281.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_282.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_283.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_284.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_285.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_286.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_287.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_288.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_289.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_29.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_290.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_291.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_292.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_293.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_294.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_295.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_296.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_297.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_298.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_299.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_3.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_30.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_300.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_301.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_302.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_303.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_304.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_305.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_306.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_307.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_308.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_309.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_31.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_310.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_311.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_312.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_313.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_314.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_315.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_316.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_317.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_318.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_319.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_32.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_320.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_321.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_322.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_323.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_324.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_325.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_326.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_327.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_328.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_329.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_33.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_330.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_331.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_332.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_333.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_334.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_335.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_336.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_337.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_338.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_339.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_34.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_340.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_341.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_342.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_343.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_344.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_345.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_346.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_347.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_348.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_349.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_35.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_350.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_351.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_352.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_353.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_354.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_355.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_356.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_357.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_358.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_359.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_36.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_360.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_361.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_362.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_363.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_364.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_365.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_366.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_367.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_368.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_369.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_37.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_370.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_371.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_372.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_373.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_374.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_375.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_376.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_377.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_378.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_379.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_38.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_380.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_381.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_382.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_383.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_384.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_385.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_386.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_387.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_388.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_389.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_39.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_390.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_391.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_392.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_393.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_394.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_395.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_396.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_397.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_398.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_435.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_44.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_440.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_441.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_442.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0571.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0572.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0573.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0574.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0575.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0576.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0577.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0578.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0579.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-058.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0580.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0581.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0582.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0583.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0584.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0585.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0586.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0587.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0588.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0589.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-059.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0590.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0591.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0592.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0593.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0594.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0595.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0596.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0597.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0598.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0599.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-06.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-060.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0600.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0601.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0602.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0603.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0604.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0605.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0606.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0607.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0608.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0609.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-061.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0610.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0611.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0612.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0613.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0614.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0615.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0616.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0617.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0618.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0619.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-062.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0620.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0621.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0622.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0623.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0624.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0625.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0626.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0627.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0628.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0629.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-063.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0630.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0631.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0632.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0633.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0634.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0635.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0636.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0637.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0638.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0639.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-064.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0640.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0641.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0642.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0643.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0644.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0645.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0646.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0647.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0648.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0649.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-065.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0650.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0651.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0652.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0653.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0654.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0655.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0656.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0657.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0658.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0659.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-066.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0660.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0661.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0662.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0663.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0664.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0665.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0666.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0667.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0668.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0669.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-067.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0670.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0671.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0672.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0673.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0674.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0675.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0676.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0677.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0678.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0679.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-068.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0680.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0681.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0682.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0683.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0684.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0685.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0686.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0687.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0688.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0689.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-069.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0690.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0691.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0692.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0693.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0694.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0695.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0696.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0697.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0698.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0699.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-07.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-070.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0700.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0701.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0702.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0703.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0704.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0705.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0706.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0707.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0708.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0709.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-071.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0710.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0711.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0712.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0713.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0714.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0715.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0716.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0717.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0718.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0719.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-072.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0720.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0721.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0722.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0723.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0724.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0725.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0726.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0727.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0728.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0729.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-073.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0730.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0731.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0732.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0733.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0734.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0735.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0736.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0737.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0738.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0739.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-074.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0740.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0741.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0742.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0743.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0744.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0745.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0746.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0747.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0748.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0749.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-075.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0750.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0751.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0752.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0753.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0754.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0755.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0756.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0757.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0758.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0759.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-076.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0760.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0761.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0762.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0763.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0764.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0765.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0766.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0767.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0768.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0769.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-077.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0770.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0771.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0772.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0773.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0774.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0775.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0776.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0777.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0778.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0779.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-078.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0780.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0781.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0782.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0783.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0784.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0785.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0786.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0787.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0788.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0789.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-079.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0790.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0791.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0792.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0793.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0794.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0795.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0796.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0797.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0798.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0799.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-08.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-080.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0800.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0801.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0802.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0803.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0804.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0805.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0806.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0807.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0808.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0809.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-081.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0810.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0811.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0812.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0813.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0814.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0815.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0816.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0817.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0818.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0819.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-082.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0820.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0821.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0822.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0823.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0824.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0825.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0826.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0827.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0828.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0829.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-083.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0830.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0831.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0832.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0833.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0834.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0835.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0836.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0837.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0838.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0839.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-084.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0840.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0841.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0842.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0843.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0844.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0845.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0846.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0847.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0848.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0849.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-085.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0850.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0851.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0852.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0853.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0854.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0855.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0856.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0857.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0858.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0859.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-086.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0860.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0861.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_20/uf20-0862.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0863.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0864.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0865.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0866.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0867.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0868.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0869.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-087.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0870.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0871.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0872.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0873.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0874.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0875.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0876.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0877.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0878.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0879.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-088.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0880.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0881.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0882.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0883.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0884.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0885.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0886.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0887.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0888.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0889.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-089.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0890.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0891.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0892.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0893.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0894.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0895.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0896.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0897.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0898.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0899.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-09.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-090.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0900.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0901.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0902.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0903.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0904.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0905.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0906.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0907.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0908.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0909.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-091.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0910.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0911.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0912.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0913.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0914.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0915.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0916.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0917.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0918.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0919.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-092.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0920.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0921.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0922.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0923.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0924.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0925.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0926.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0927.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0928.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0929.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-093.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0930.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0931.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0932.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0933.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0934.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0935.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0936.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0937.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0938.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0939.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-094.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0940.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0941.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0942.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0943.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0944.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0945.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0946.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0947.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0948.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0949.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-095.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0950.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0951.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0952.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0953.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0954.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0955.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0956.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0957.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0958.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0959.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-096.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0960.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0961.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0962.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0963.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0964.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0965.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0966.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0967.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0968.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0969.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-097.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0970.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0971.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0972.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0973.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0974.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0975.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0976.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0977.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0978.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0979.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-098.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0981.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0982.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0983.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0984.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0985.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0986.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0987.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0988.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0989.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-099.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0990.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0991.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0992.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0993.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0994.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0995.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0996.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0997.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0998.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_20/uf20-0999.cnf: No space left on device
[INFO] [stderr] fatal: cannot create directory at 'benches/problems/random_250': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking marceline-cramer/program-satthesis against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_894.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_895.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_941.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_942.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_943.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_944.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_945.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_946.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_947.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_948.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_949.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_95.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_950.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_951.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_952.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_953.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_954.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_955.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_956.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_957.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_958.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_959.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_96.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_960.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_961.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_962.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_963.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_964.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_965.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_966.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_967.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_968.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_969.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_97.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_970.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_971.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_972.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_973.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_974.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_975.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_976.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_977.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_978.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_979.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_98.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_980.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_981.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_982.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_983.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_984.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_985.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_986.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_987.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_988.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_989.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_99.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_990.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_991.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_992.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_993.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_994.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_995.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_996.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_997.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_998.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benches/problems/random_20': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking marceline-cramer/program-satthesis against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_938.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_939.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_94.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_940.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_941.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_942.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_943.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_944.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_945.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_946.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_947.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_948.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_949.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_95.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_950.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_951.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_952.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_953.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_954.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_955.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_956.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_957.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_958.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_959.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_96.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_960.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_961.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_962.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_963.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_964.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_965.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_966.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_967.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_968.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_969.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_97.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_970.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_971.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_972.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_973.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_974.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_975.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_976.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_977.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_978.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_979.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_98.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_980.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_981.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_982.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_983.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_984.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_985.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_986.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_987.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_988.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_989.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_99.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_990.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_991.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_992.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_993.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_994.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_995.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_996.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_997.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_998.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benches/problems/random_20': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking marceline-cramer/program-satthesis against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_876.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_877.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_878.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_879.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_88.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_880.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_881.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_882.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_883.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_884.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_885.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_886.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_887.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_888.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_889.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_89.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_890.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_891.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_892.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_893.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_894.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_895.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_896.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_897.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_898.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_899.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_9.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_90.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_900.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_901.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_902.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_903.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_904.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_905.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_906.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_982.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_983.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_984.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_985.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_986.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_987.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_988.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_989.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_99.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_990.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_991.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_992.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_993.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_994.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_995.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_996.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_997.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_998.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benches/problems/random_20': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking marceline-cramer/program-satthesis against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_950.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_951.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_952.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_953.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_954.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_955.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_956.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_957.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_958.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_959.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_96.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_960.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_961.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_962.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_963.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_964.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_965.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_966.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_967.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_968.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_969.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_97.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_970.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_971.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_972.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_973.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_974.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_975.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_976.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_977.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_978.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_979.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_98.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_980.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_981.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_982.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_983.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_984.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_985.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_986.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_987.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_988.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_989.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_99.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_990.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_991.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_992.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_993.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_994.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_995.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_996.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_997.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_998.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benches/problems/random_20': 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/marceline-cramer/program-satthesis

Caused by:
    command failed: exit status: 128