[INFO] cloning repository https://github.com/marceline-cramer/program-satthesis
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/marceline-cramer/program-satthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ebbf6ebfa7ff8f74c54fbbf4196c78e227e78121
[INFO] checking marceline-cramer/program-satthesis against master#4b596bbd847672da87763b76171687d3544863c2 for pr-144544
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmarceline-cramer%2Fprogram-satthesis" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_213.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_214.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_215.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_216.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_217.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_218.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_255.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_256.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_257.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_258.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_259.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_26.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_260.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_298.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_299.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_3.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_30.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_300.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_301.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_302.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_303.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_304.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_305.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_306.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_307.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_308.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_309.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_31.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_310.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_311.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_312.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_313.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_314.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_315.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_316.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_317.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_318.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_319.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_32.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_320.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_321.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_322.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_323.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_324.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_325.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_326.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_327.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_328.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_329.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_33.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_330.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_331.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_332.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_333.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_334.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_335.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_336.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_337.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_338.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_339.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_34.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_340.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_341.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_342.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_343.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_344.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_345.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_346.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_347.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_348.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_349.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_35.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_350.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_351.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_352.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_353.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_354.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_355.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_356.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_357.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_358.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_359.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_36.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_360.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_361.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_362.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_363.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_364.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_365.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_366.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_367.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_368.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_369.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_37.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_370.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_371.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_372.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_373.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_374.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_375.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_376.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_377.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_378.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_379.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_38.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_380.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_381.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_382.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_383.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_384.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_385.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_386.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_387.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_388.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_389.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_39.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_390.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_391.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_392.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_393.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_394.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_395.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_396.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_397.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_398.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_399.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_4.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_40.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_400.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_401.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_402.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_403.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_404.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_405.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_406.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_407.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_408.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_409.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_41.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_410.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_411.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_412.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_413.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_414.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_415.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_416.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_417.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_418.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_419.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_42.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_420.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_421.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_422.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_423.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_424.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_425.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_426.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_427.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_428.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_429.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_43.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_430.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_431.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_432.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_433.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_434.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_435.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_436.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_437.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_438.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_439.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_44.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_440.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_441.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_442.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_443.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_444.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_445.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_446.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_447.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_448.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_449.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_45.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_450.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_451.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_452.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_453.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_454.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_455.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_456.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_457.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_458.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_459.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_46.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_460.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_461.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_462.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_463.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_464.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_465.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_466.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_467.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_468.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_469.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_47.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_470.cnf: No space left on device
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_471.cnf
[INFO] [stderr] error: unable to write file benches/problems/random_100/CBS_k3_n100_m449_b90_472.cnf
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_473.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_474.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_475.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_476.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_477.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_478.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_479.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_48.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_480.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_481.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_482.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_483.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_484.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_485.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_486.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_487.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_488.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_489.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_49.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_490.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_491.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_492.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_493.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_494.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_495.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_496.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_497.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_498.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_499.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_5.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_50.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_500.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_501.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_502.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_503.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_504.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_505.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_506.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_507.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_508.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_509.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_51.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_510.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_511.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_512.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_513.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_514.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_515.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_516.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_517.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_518.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_519.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_52.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_520.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_521.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_522.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_523.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_524.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_525.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_526.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_527.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_528.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_529.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_53.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_530.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_531.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_532.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_533.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_534.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_535.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_536.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_537.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_538.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_539.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_54.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_540.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_541.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_542.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_543.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_544.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_545.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_546.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_547.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_548.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_549.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_55.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_550.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_551.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_552.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_553.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_554.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_555.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_556.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_557.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_558.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_559.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_56.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_560.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_561.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_562.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_563.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_564.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_565.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_566.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_567.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_568.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_569.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_57.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_570.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_571.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_572.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_573.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_574.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_575.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_576.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_577.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_578.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_579.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_58.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_580.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_581.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_582.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_583.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_584.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_585.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_586.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_587.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_588.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_589.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_59.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_590.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_591.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_592.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_593.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_594.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_595.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_596.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_597.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_598.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_599.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_6.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_60.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_600.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_601.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_602.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_603.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_604.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_605.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_606.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_607.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_608.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_609.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_61.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_610.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_611.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_612.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_613.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_614.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_615.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_616.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_617.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_618.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_619.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_62.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_620.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_621.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_622.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_623.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_624.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_625.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_626.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_627.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_628.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_629.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_63.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_630.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_631.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_632.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_633.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_634.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_635.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_636.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_637.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_638.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_639.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_64.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_640.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_641.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_642.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_643.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_644.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_645.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_646.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_647.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_648.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_649.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_65.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_650.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_651.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_652.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_653.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_654.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_655.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_656.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_657.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_658.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_659.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_66.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_660.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_661.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_662.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_663.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_664.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_665.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_666.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_667.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_668.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_669.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_67.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_670.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_671.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_672.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_673.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_674.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_675.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_676.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_677.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_678.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_679.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_68.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_680.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_681.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_682.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_683.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_684.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_685.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_686.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_687.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_688.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_689.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_69.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_690.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_691.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_692.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_693.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_694.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_695.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_696.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_697.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_698.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_699.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_7.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_70.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_700.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_701.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_702.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_703.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_704.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_705.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_706.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_707.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_708.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_709.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_71.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_710.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_711.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_712.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_713.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_714.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_715.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_716.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_717.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_718.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_719.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_72.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_720.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_721.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_722.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_723.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_724.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_725.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_726.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_727.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_728.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_729.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_73.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_730.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_731.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_732.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_733.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_734.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_735.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_736.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_737.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_738.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_739.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_74.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_740.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_741.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_742.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_743.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_744.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_745.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_746.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_747.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_748.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_749.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_75.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_750.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_751.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_752.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_753.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_754.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_755.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_756.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_757.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_758.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_759.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_76.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_760.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_761.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_762.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_763.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_764.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_765.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_766.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_767.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_768.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_769.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_77.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_770.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_771.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_772.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_773.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_774.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_775.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_776.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_777.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_778.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_779.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_78.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_780.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_781.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_782.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_783.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_784.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_785.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_786.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_787.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_788.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_789.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_79.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_790.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_791.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_792.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_793.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_794.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_795.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_796.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_797.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_798.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_799.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_8.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_80.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_800.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_801.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_802.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_803.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_804.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_805.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_806.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_807.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_808.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_809.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_81.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_810.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_811.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_812.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_813.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_814.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_815.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_816.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_817.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_818.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_819.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_82.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_820.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_821.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_822.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_823.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_824.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_825.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_826.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_827.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_828.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_829.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_83.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_830.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_831.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_832.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_833.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_834.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_835.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_836.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_837.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_838.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_839.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_84.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_840.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_841.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_842.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_843.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_844.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_845.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_846.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_847.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_848.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_849.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_85.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_850.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_851.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_852.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_853.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_854.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_855.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_856.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_857.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_858.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_859.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_86.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_860.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_861.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_862.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_863.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_864.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_865.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_866.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_867.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_868.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_869.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_87.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_870.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_871.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_872.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_873.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_874.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_875.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_876.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_877.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_878.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_879.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_88.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_880.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_881.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_882.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_883.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_884.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_885.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_886.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_887.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_888.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_889.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_89.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_890.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_891.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_892.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_893.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_894.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_895.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_896.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_897.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_898.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_899.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_9.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_90.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_900.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_901.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_902.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_903.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_904.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_905.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_906.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_907.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_908.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_909.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_91.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_910.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_911.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_912.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_913.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_914.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_915.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_916.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_917.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_918.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_919.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_92.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_920.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_921.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_922.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_923.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_924.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_925.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_926.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_927.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_928.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_929.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_93.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_930.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_931.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_932.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_933.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_934.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_935.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_936.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_937.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_938.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_939.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_94.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_940.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_941.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_942.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_943.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_944.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_945.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_946.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_947.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_948.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_949.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_95.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_950.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_951.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_952.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_953.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_954.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_955.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_956.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_957.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_958.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_959.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_96.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_960.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_961.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_962.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_963.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_964.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_965.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_966.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_967.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_968.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_969.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_97.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_970.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_971.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_972.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_973.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_974.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_975.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_976.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_977.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_978.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_979.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_98.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_981.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_982.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_983.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_984.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_985.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_986.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_987.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_988.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_989.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_99.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_990.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_991.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_992.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_993.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_994.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_995.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_996.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_997.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_998.cnf: No space left on device
[INFO] [stderr] error: unable to create file benches/problems/random_100/CBS_k3_n100_m449_b90_999.cnf: No space left on device
[INFO] [stderr] fatal: cannot create directory at 'benches/problems/random_20': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 


failed to checkout https://github.com/marceline-cramer/program-satthesis

Caused by:
    command failed: exit status: 128