From a46e5d70d5652d7e71396c5e57f0ecdf443e1f45 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Thu, 17 Jun 2021 17:24:53 +1000
Subject: [PATCH] Fix chuffed restarting script (Output and timing flags have
 changed)

---
 run_restart_chuffed.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_restart_chuffed.sh b/run_restart_chuffed.sh
index d5185ab..5c7ab56 100755
--- a/run_restart_chuffed.sh
+++ b/run_restart_chuffed.sh
@@ -18,7 +18,7 @@ for data in ./${folder}/*.dzn; do
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
 		minizinc --solver mzn-fzn -c -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol
-		${solver} -a --time-out ${timeout_sec} --restart constant --restart-scale 250 -s --verbosity 2 --rnd-seed $i --restart-base 250 ${model}.fzn &>/dev/null | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.${i}.sol
+		${solver} -a --time-out ${timeout_sec}000 --restart constant --restart-scale 250 -s --rnd-seed ${i} --restart-base 250 ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.${i}.sol
 	done
 	rm -f ${model}.fzn ${model}.ozn
 	echo ""