[INFO] cloning repository https://github.com/trombiano1/psobench
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/trombiano1/psobench" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 492159f28971bbf8fc0bb58365402cb0011df6ac
[INFO] checking trombiano1/psobench against master#8387315ab3c26a57a1f53a90f188f0bc88514bca for pr-124605
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D10.txt
[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] 
[ERROR] this task or one of its parent failed!
[ERROR] failed to checkout https://github.com/trombiano1/psobench
[ERROR] caused by: command failed: exit status: 128
[ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.
[INFO] checking trombiano1/psobench against try#fcc50f77e1a14e407d895972348a0ff09eafc210 for pr-124605
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_15_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_15_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_15_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_1.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_11.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_12.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_13.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_14.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_15.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_16.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_17.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_18.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_19.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_21.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_22.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_23.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_24.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_25.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_26.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_27.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_28.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_29.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_3.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_4.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_5.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_6.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_7.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_8.txt
[INFO] [stderr] error: unable to create file src/cec17/input_data/shift_data_9.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D50.txt: No space left on device
[INFO] [stderr] error: unable to write file src/functions.rs
[INFO] [stderr] error: unable to write file src/grid_search.rs
[INFO] [stderr] error: unable to write file src/main.rs
[INFO] [stderr] fatal: cannot create directory at 'src/optimizers': 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 trombiano1/psobench against try#fcc50f77e1a14e407d895972348a0ff09eafc210 for pr-124605
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_15_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_15_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_15_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_16_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_1.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_11.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_12.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_13.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_14.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_15.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_16.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_17.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_18.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_19.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_21.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_22.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_23.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_24.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_25.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_26.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_27.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_28.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_29.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_3.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_4.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_5.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_6.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_7.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_8.txt
[INFO] [stderr] error: unable to create file src/cec17/input_data/shift_data_9.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_12_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_13_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_14_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_15_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_16_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_17_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_18_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_19_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_1_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_20_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_21_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_22_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_23_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_24_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_25_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_26_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_27_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_28_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_29_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_2_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_30_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_3_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_4_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_5_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_6_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_7_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D50.txt: No space left on device
[INFO] [stderr] error: unable to write file src/functions.rs
[INFO] [stderr] error: unable to write file src/grid_search.rs
[INFO] [stderr] error: unable to write file src/main.rs
[INFO] [stderr] fatal: cannot create directory at 'src/optimizers': 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 trombiano1/psobench against try#fcc50f77e1a14e407d895972348a0ff09eafc210 for pr-124605
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] error: failed to write new configuration file /workspace/builds/worker-6-tc2/source/.git/config.lock
[INFO] [stderr] fatal: could not set 'remote.origin.fetch' to '+refs/heads/*:refs/remotes/origin/*'
[INFO] [stderr] fatal: the remote end hung up unexpectedly
[INFO] checking trombiano1/psobench against try#fcc50f77e1a14e407d895972348a0ff09eafc210 for pr-124605
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] error: copy-fd: write returned: No space left on device
[INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/hooks/post-update.sample' to '/workspace/builds/worker-6-tc2/source/.git/hooks/post-update.sample': No space left on device
[INFO] checking trombiano1/psobench against try#fcc50f77e1a14e407d895972348a0ff09eafc210 for pr-124605
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] error: copy-fd: write returned: No space left on device
[INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/hooks/update.sample' to '/workspace/builds/worker-6-tc2/source/.git/hooks/update.sample': No space left on device
[ERROR] this task or one of its parent failed!
[ERROR] failed to checkout https://github.com/trombiano1/psobench
[ERROR] caused by: command failed: exit status: 128
[ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.