[INFO] cloning repository https://github.com/zi7feng/Parallel-SAT-Solver [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/zi7feng/Parallel-SAT-Solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] f89497489ac7e17412647e489859cf826d9ed260 [INFO] checking zi7feng/Parallel-SAT-Solver against try#cd420d8bda33494ba3cc45048d5f067484a32b94 for pr-140209-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmark/15.cnf [INFO] [stderr] error: unable to write file benchmark/16.cnf [INFO] [stderr] error: unable to write file benchmark/17.cnf [INFO] [stderr] error: unable to write file benchmark/18.cnf [INFO] [stderr] error: unable to write file benchmark/19.cnf [INFO] [stderr] error: unable to write file benchmark/2.cnf [INFO] [stderr] error: unable to write file benchmark/20.cnf [INFO] [stderr] error: unable to write file benchmark/21.cnf [INFO] [stderr] error: unable to write file benchmark/22.cnf [INFO] [stderr] error: unable to write file benchmark/23.cnf [INFO] [stderr] error: unable to write file benchmark/24.cnf [INFO] [stderr] error: unable to write file benchmark/25.cnf [INFO] [stderr] error: unable to write file benchmark/26.cnf [INFO] [stderr] error: unable to write file benchmark/27.cnf [INFO] [stderr] error: unable to write file benchmark/28.cnf [INFO] [stderr] error: unable to write file benchmark/29.cnf [INFO] [stderr] error: unable to write file benchmark/3.cnf [INFO] [stderr] error: unable to write file benchmark/30.cnf [INFO] [stderr] error: unable to write file benchmark/31.cnf [INFO] [stderr] error: unable to write file benchmark/32.cnf [INFO] [stderr] error: unable to write file benchmark/33.cnf [INFO] [stderr] error: unable to write file benchmark/34.cnf [INFO] [stderr] error: unable to write file benchmark/35.cnf [INFO] [stderr] error: unable to write file benchmark/36.cnf [INFO] [stderr] error: unable to write file benchmark/37.cnf [INFO] [stderr] error: unable to write file benchmark/38.cnf [INFO] [stderr] error: unable to write file benchmark/39.cnf [INFO] [stderr] error: unable to write file benchmark/4.cnf [INFO] [stderr] error: unable to write file benchmark/40.cnf [INFO] [stderr] error: unable to write file benchmark/41.cnf [INFO] [stderr] error: unable to write file benchmark/42.cnf [INFO] [stderr] error: unable to write file benchmark/43.cnf [INFO] [stderr] error: unable to write file benchmark/44.cnf [INFO] [stderr] error: unable to write file benchmark/45.cnf [INFO] [stderr] error: unable to write file benchmark/46.cnf [INFO] [stderr] error: unable to write file benchmark/47.cnf [INFO] [stderr] error: unable to write file benchmark/48.cnf [INFO] [stderr] error: unable to write file benchmark/49.cnf [INFO] [stderr] error: unable to write file benchmark/5.cnf [INFO] [stderr] error: unable to write file benchmark/50.cnf [INFO] [stderr] error: unable to write file benchmark/51.cnf [INFO] [stderr] error: unable to write file benchmark/52.cnf [INFO] [stderr] error: unable to write file benchmark/53.cnf [INFO] [stderr] error: unable to write file benchmark/54.cnf [INFO] [stderr] error: unable to write file benchmark/55.cnf [INFO] [stderr] error: unable to write file benchmark/56.cnf [INFO] [stderr] error: unable to write file benchmark/57.cnf [INFO] [stderr] fatal: unable to checkout working tree [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking zi7feng/Parallel-SAT-Solver against try#cd420d8bda33494ba3cc45048d5f067484a32b94 for pr-140209-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmark/44.cnf [INFO] [stderr] error: unable to write file benchmark/45.cnf [INFO] [stderr] error: unable to write file benchmark/46.cnf [INFO] [stderr] error: unable to write file benchmark/47.cnf [INFO] [stderr] error: unable to write file benchmark/48.cnf [INFO] [stderr] error: unable to write file benchmark/49.cnf [INFO] [stderr] error: unable to write file benchmark/5.cnf [INFO] [stderr] error: unable to write file benchmark/50.cnf [INFO] [stderr] error: unable to write file benchmark/51.cnf [INFO] [stderr] error: unable to write file benchmark/52.cnf [INFO] [stderr] error: unable to write file benchmark/53.cnf [INFO] [stderr] error: unable to write file benchmark/54.cnf [INFO] [stderr] error: unable to write file benchmark/55.cnf [INFO] [stderr] error: unable to write file benchmark/56.cnf [INFO] [stderr] error: unable to write file benchmark/57.cnf [INFO] [stderr] error: unable to write file benchmark/58.cnf [INFO] [stderr] error: unable to write file benchmark/59.cnf [INFO] [stderr] error: unable to write file benchmark/6.cnf [INFO] [stderr] error: unable to write file benchmark/60.cnf [INFO] [stderr] error: unable to write file benchmark/61.cnf [INFO] [stderr] error: unable to write file benchmark/62.cnf [INFO] [stderr] error: unable to write file benchmark/63.cnf [INFO] [stderr] error: unable to write file benchmark/64.cnf [INFO] [stderr] error: unable to write file benchmark/65.cnf [INFO] [stderr] error: unable to write file benchmark/66.cnf [INFO] [stderr] error: unable to write file benchmark/67.cnf [INFO] [stderr] error: unable to write file benchmark/68.cnf [INFO] [stderr] error: unable to write file benchmark/69.cnf [INFO] [stderr] error: unable to write file benchmark/7.cnf [INFO] [stderr] error: unable to write file benchmark/70.cnf [INFO] [stderr] error: unable to write file benchmark/8.cnf [INFO] [stderr] error: unable to write file benchmark/9.cnf [INFO] [stderr] fatal: cannot create directory at 'src': 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 zi7feng/Parallel-SAT-Solver against try#cd420d8bda33494ba3cc45048d5f067484a32b94 for pr-140209-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmark/61.cnf [INFO] [stderr] error: unable to write file benchmark/62.cnf [INFO] [stderr] error: unable to write file benchmark/63.cnf [INFO] [stderr] error: unable to write file benchmark/64.cnf [INFO] [stderr] error: unable to write file benchmark/65.cnf [INFO] [stderr] error: unable to write file benchmark/66.cnf [INFO] [stderr] error: unable to write file benchmark/67.cnf [INFO] [stderr] error: unable to write file benchmark/68.cnf [INFO] [stderr] error: unable to write file benchmark/69.cnf [INFO] [stderr] error: unable to write file benchmark/7.cnf [INFO] [stderr] error: unable to write file benchmark/70.cnf [INFO] [stderr] error: unable to write file benchmark/8.cnf [INFO] [stderr] error: unable to write file benchmark/9.cnf [INFO] [stderr] fatal: cannot create directory at 'src': 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 zi7feng/Parallel-SAT-Solver against try#cd420d8bda33494ba3cc45048d5f067484a32b94 for pr-140209-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmark/36.cnf [INFO] [stderr] error: unable to write file benchmark/37.cnf [INFO] [stderr] error: unable to write file benchmark/38.cnf [INFO] [stderr] error: unable to write file benchmark/39.cnf [INFO] [stderr] error: unable to write file benchmark/4.cnf [INFO] [stderr] error: unable to write file benchmark/40.cnf [INFO] [stderr] error: unable to write file benchmark/41.cnf [INFO] [stderr] error: unable to write file benchmark/42.cnf [INFO] [stderr] error: unable to write file benchmark/43.cnf [INFO] [stderr] error: unable to write file benchmark/44.cnf [INFO] [stderr] error: unable to write file benchmark/45.cnf [INFO] [stderr] error: unable to write file benchmark/56.cnf [INFO] [stderr] error: unable to write file benchmark/57.cnf [INFO] [stderr] error: unable to write file benchmark/58.cnf [INFO] [stderr] error: unable to write file benchmark/59.cnf [INFO] [stderr] error: unable to write file benchmark/6.cnf [INFO] [stderr] error: unable to write file benchmark/60.cnf [INFO] [stderr] error: unable to write file benchmark/61.cnf [INFO] [stderr] error: unable to write file benchmark/62.cnf [INFO] [stderr] error: unable to write file benchmark/63.cnf [INFO] [stderr] error: unable to write file benchmark/64.cnf [INFO] [stderr] error: unable to write file benchmark/65.cnf [INFO] [stderr] error: unable to write file benchmark/66.cnf [INFO] [stderr] error: unable to write file benchmark/67.cnf [INFO] [stderr] error: unable to write file benchmark/68.cnf [INFO] [stderr] error: unable to write file benchmark/69.cnf [INFO] [stderr] error: unable to write file benchmark/7.cnf [INFO] [stderr] error: unable to write file benchmark/70.cnf [INFO] [stderr] error: unable to write file benchmark/8.cnf [INFO] [stderr] error: unable to write file benchmark/9.cnf [INFO] [stderr] fatal: cannot create directory at 'src': 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 zi7feng/Parallel-SAT-Solver against try#cd420d8bda33494ba3cc45048d5f067484a32b94 for pr-140209-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzi7feng%2FParallel-SAT-Solver" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file benchmark/5.cnf [INFO] [stderr] error: unable to write file benchmark/50.cnf [INFO] [stderr] error: unable to write file benchmark/51.cnf [INFO] [stderr] error: unable to write file benchmark/52.cnf [INFO] [stderr] error: unable to write file benchmark/53.cnf [INFO] [stderr] error: unable to write file benchmark/54.cnf [INFO] [stderr] error: unable to write file benchmark/55.cnf [INFO] [stderr] error: unable to write file benchmark/56.cnf [INFO] [stderr] error: unable to write file benchmark/57.cnf [INFO] [stderr] error: unable to write file benchmark/58.cnf [INFO] [stderr] error: unable to write file benchmark/59.cnf [INFO] [stderr] error: unable to write file benchmark/6.cnf [INFO] [stderr] error: unable to write file benchmark/60.cnf [INFO] [stderr] error: unable to write file benchmark/61.cnf [INFO] [stderr] error: unable to write file benchmark/62.cnf [INFO] [stderr] error: unable to write file benchmark/63.cnf [INFO] [stderr] error: unable to write file benchmark/64.cnf [INFO] [stderr] error: unable to write file benchmark/65.cnf [INFO] [stderr] error: unable to write file benchmark/66.cnf [INFO] [stderr] error: unable to write file benchmark/67.cnf [INFO] [stderr] error: unable to write file benchmark/68.cnf [INFO] [stderr] error: unable to write file benchmark/69.cnf [INFO] [stderr] error: unable to write file benchmark/7.cnf [INFO] [stderr] error: unable to write file benchmark/70.cnf [INFO] [stderr] error: unable to write file benchmark/8.cnf [INFO] [stderr] error: unable to write file benchmark/9.cnf [INFO] [stderr] fatal: cannot create directory at 'src': 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/zi7feng/Parallel-SAT-Solver Caused by: command failed: exit status: 128