[INFO] cloning repository https://github.com/shnarazk/SAT-bench
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/SAT-bench" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench'...
[INFO] [stderr] fatal: write error: No space left on device
[INFO] [stderr] fatal: fetch-pack: invalid index-pack output
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[INFO] cloning repository https://github.com/shnarazk/SAT-bench
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/SAT-bench" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench'...
[INFO] [stderr] error: copy-fd: write returned: No space left on device
[INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/hooks/pre-receive.sample' to '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench/hooks/pre-receive.sample': No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 2)
[INFO] cloning repository https://github.com/shnarazk/SAT-bench
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/SAT-bench" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ed9c111a6ef12cf352adc4517bf9af20ced11275
[INFO] checking shnarazk/SAT-bench against try#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-054.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-055.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-056.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-057.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-058.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-059.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-06.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-060.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-061.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-062.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-063.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-064.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-065.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-066.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-067.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-068.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-069.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-07.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-070.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-071.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-072.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-073.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-074.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-075.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-076.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-077.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-078.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-079.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-08.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-080.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-081.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-082.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-083.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-084.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-085.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-086.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-087.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-088.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-089.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-09.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-090.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-091.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-092.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-093.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-094.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-095.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-096.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-097.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-098.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-099.cnf
[INFO] [stderr] fatal: cannot create directory at '3-SAT/UF125': 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 shnarazk/SAT-bench against try#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-052.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-053.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-054.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-055.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-056.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-057.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-058.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-059.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-06.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-060.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-061.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-062.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-063.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-064.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-065.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-066.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-067.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-068.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-069.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-07.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-070.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-071.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-072.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-073.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-074.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-078.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-079.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-08.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-080.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-081.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-082.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-083.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-084.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-085.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-086.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-087.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-088.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-089.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-09.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-090.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-091.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-092.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-093.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-094.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-095.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-096.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-097.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-098.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-020.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-021.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-022.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-023.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-024.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-025.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-026.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-027.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-028.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-029.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-03.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-030.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-031.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-032.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-033.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-034.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-035.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-036.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-037.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-038.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-039.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-04.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-040.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-041.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-042.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-043.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-044.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-045.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-046.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-047.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-048.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-049.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-05.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-050.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-051.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-052.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-053.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-054.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-055.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-056.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-057.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-058.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-059.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-06.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-060.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-061.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-062.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-063.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-064.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-065.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-066.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-067.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-068.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-069.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-07.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-070.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-071.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-072.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-073.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-074.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-075.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-076.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-077.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-078.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-079.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-08.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-080.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-081.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-082.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-083.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-084.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-085.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-086.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-087.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-088.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-089.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-09.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-090.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-091.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-092.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-093.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-094.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-095.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-096.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-097.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-098.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF125/uf125-099.cnf
[INFO] [stderr] fatal: cannot create directory at '3-SAT/UF150': 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 shnarazk/SAT-bench against try#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-068.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-069.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-07.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-070.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-071.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-072.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-073.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-074.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-075.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-076.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-077.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-078.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-079.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-08.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-080.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-081.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-082.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-083.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-084.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-085.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-086.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-087.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-088.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-089.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-09.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-090.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-091.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-092.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-093.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-094.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-095.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-096.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-097.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-098.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-099.cnf
[INFO] [stderr] fatal: cannot create directory at '3-SAT/UF125': 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 shnarazk/SAT-bench against try#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-068.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-069.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-07.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-070.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-071.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-072.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-073.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-074.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-075.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-076.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-077.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-078.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-079.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-08.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-080.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-081.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-082.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-083.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-084.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-085.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-086.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-087.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-088.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-089.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-09.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-090.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-091.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-092.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-093.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-094.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-095.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-096.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-097.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-098.cnf
[INFO] [stderr] error: unable to write file 3-SAT/UF100/uf100-099.cnf
[INFO] [stderr] fatal: cannot create directory at '3-SAT/UF125': 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 shnarazk/SAT-bench against try#099e089ab723e6ee96175f3496051098c60a4cd4 for pr-140208
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2FSAT-bench" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/shnarazk/SAT-bench on toolchain 099e089ab723e6ee96175f3496051098c60a4cd4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/shnarazk/SAT-bench
[INFO] finished tweaking git repo https://github.com/shnarazk/SAT-bench
[INFO] tweaked toml for git repo https://github.com/shnarazk/SAT-bench written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/shnarazk/SAT-bench already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded konst_kernel v0.3.15
[INFO] [stderr]   Downloaded as_variant v1.3.0
[INFO] [stderr]   Downloaded matrix-sdk-store-encryption v0.11.0
[INFO] [stderr]   Downloaded ruma-identifiers-validation v0.10.1
[INFO] [stderr]   Downloaded typewit v1.11.0
[INFO] [stderr]   Downloaded imbl v5.0.0
[INFO] [stderr]   Downloaded growable-bloom-filter v2.1.1
[INFO] [stderr]   Downloaded readlock v0.1.9
[INFO] [stderr]   Downloaded readlock-tokio v0.1.4
[INFO] [stderr]   Downloaded eyeball-im v0.7.0
[INFO] [stderr]   Downloaded ruma-macros v0.15.1
[INFO] [stderr]   Downloaded backon v1.5.0
[INFO] [stderr]   Downloaded deadpool-sqlite v0.10.0
[INFO] [stderr]   Downloaded matrix-sdk-common v0.11.0
[INFO] [stderr]   Downloaded konst v0.3.16
[INFO] [stderr]   Downloaded ruma-events v0.30.2
[INFO] [stderr]   Downloaded ruma-client-api v0.20.2
[INFO] [stderr]   Downloaded imbl-sized-chunks v0.1.3
[INFO] [stderr]   Downloaded matrix-sdk-indexeddb v0.11.0
[INFO] [stderr]   Downloaded indexed_db_futures v0.5.0
[INFO] [stderr]   Downloaded decancer v3.2.8
[INFO] [stderr]   Downloaded ulid v1.2.0
[INFO] [stderr]   Downloaded date_header v1.0.5
[INFO] [stderr]   Downloaded ruma-federation-api v0.11.1
[INFO] [stderr]   Downloaded ruma v0.12.2
[INFO] [stderr]   Downloaded rand_xoshiro v0.7.0
[INFO] [stderr]   Downloaded ruma-common v0.15.2
[INFO] [stderr]   Downloaded matrix-sdk-base v0.11.0
[INFO] [stderr]   Downloaded matrix-sdk-sqlite v0.11.0
[INFO] [stderr]   Downloaded matrix-sdk v0.11.0
[INFO] [stderr]   Downloaded matrix-sdk-crypto v0.11.0
[INFO] [stderr]   Downloaded aquamarine v0.6.0
[INFO] [stderr]   Downloaded vodozemac v0.9.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c6992666f2817665a4ff89628d08b2b12ad57de573847e4683c04aea62938d8e
[INFO] running `Command { std: "docker" "start" "-a" "c6992666f2817665a4ff89628d08b2b12ad57de573847e4683c04aea62938d8e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c6992666f2817665a4ff89628d08b2b12ad57de573847e4683c04aea62938d8e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c6992666f2817665a4ff89628d08b2b12ad57de573847e4683c04aea62938d8e", kill_on_drop: false }`
[INFO] [stdout] c6992666f2817665a4ff89628d08b2b12ad57de573847e4683c04aea62938d8e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+099e089ab723e6ee96175f3496051098c60a4cd4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e3079d74eac6afebcf06b0b58b7dbd3ce88a3300887cac83863085a7d427f7bf
[INFO] running `Command { std: "docker" "start" "-a" "e3079d74eac6afebcf06b0b58b7dbd3ce88a3300887cac83863085a7d427f7bf", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]     Checking writeable v0.5.5
[INFO] [stderr]     Checking litemap v0.7.5
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]     Checking smallvec v1.14.0
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]     Checking icu_locid_transform_data v1.5.0
[INFO] [stderr]    Compiling libc v0.2.170
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]     Checking icu_properties_data v1.5.0
[INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device
[INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device
[INFO] [stderr] error: failed to write `/opt/rustwide/target/debug/build/serde-2ee3262231dc13c9/output`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `libc` (build script)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/099e089ab723e6ee96175f3496051098c60a4cd4/bin/rustc --crate-name build_script_build --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libc-0.2.170/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no --cfg 'feature="default"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("align", "const-extern-fn", "default", "extra_traits", "rustc-dep-of-std", "rustc-std-workspace-core", "std", "use_std"))' -C metadata=a3c00b319447832d -C extra-filename=-652ea1ad24a4837a --out-dir /opt/rustwide/target/debug/build/libc-652ea1ad24a4837a -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow --cap-lints=forbid` (exit status: 101)
[INFO] [stderr] error: could not compile `thiserror` (build script)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/099e089ab723e6ee96175f3496051098c60a4cd4/bin/rustc --crate-name build_script_build --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/thiserror-2.0.12/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no --cfg 'feature="default"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("default", "std"))' -C metadata=fe6ed9c1f98c4739 -C extra-filename=-d4926eb43b38a08f --out-dir /opt/rustwide/target/debug/build/thiserror-d4926eb43b38a08f -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow --cap-lints=forbid` (exit status: 101)
[INFO] [stderr] error: failed to run custom build command for `proc-macro2 v1.0.94`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/proc-macro2-e33d85e77f756bcf/build-script-build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(fuzzing)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(no_is_available)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(no_literal_byte_character)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(no_literal_c_string)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(no_source_text)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(proc_macro_span)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(procmacro2_backtrace)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(procmacro2_nightly_testing)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(procmacro2_semver_exempt)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(randomize_layout)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(span_locations)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(super_unstable)
[INFO] [stderr]   cargo:rustc-check-cfg=cfg(wrap_proc_macro)
[INFO] [stderr]   cargo:rerun-if-changed=build/probe.rs
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   Failed to create /opt/rustwide/target/debug/build/proc-macro2-187fe4abbbc1b8a9/out/probe: No space left on device (os error 28)
[INFO] [stdout] error: error writing dependencies to `/opt/rustwide/target/debug/deps/icu_properties_data-f4ed54f820ba8e18.d`: No space left on device (os error 28)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device
[INFO] [stderr] error: could not compile `autocfg` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/099e089ab723e6ee96175f3496051098c60a4cd4/bin/rustc --crate-name autocfg --edition=2015 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/autocfg-1.4.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=6ee610fba99ef989 -C extra-filename=-edb41dba5c1eb139 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow --cap-lints=forbid` (exit status: 101)
[INFO] [stderr] error: could not compile `icu_properties_data` (lib) due to 1 previous error
[INFO] [stdout] error: couldn't create a temp dir: No space left on device (os error 28) at path "/opt/rustwide/target/debug/deps/rmetaGlMyat"
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hashbrown` (lib) due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "e3079d74eac6afebcf06b0b58b7dbd3ce88a3300887cac83863085a7d427f7bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e3079d74eac6afebcf06b0b58b7dbd3ce88a3300887cac83863085a7d427f7bf", kill_on_drop: false }`
[INFO] [stdout] e3079d74eac6afebcf06b0b58b7dbd3ce88a3300887cac83863085a7d427f7bf