diff --git a/ci/bench-icount.sh b/ci/bench-icount.sh
index 1d7d23dc..6d92b50a 100755
--- a/ci/bench-icount.sh
+++ b/ci/bench-icount.sh
@@ -10,6 +10,10 @@ if [ -z "$target" ]; then
     target="$host_target"
 fi
 
+# Print machine information
+uname -a
+lscpu || true
+
 gungraun_home="gungraun-home"
 
 # Use the arch as a tag to disambiguate artifacts