diff --git a/examples/solver.cpp b/examples/solver.cpp
index bb1da3ad..d99570c4 100644
--- a/examples/solver.cpp
+++ b/examples/solver.cpp
@@ -462,6 +462,12 @@ int main(int argc, char *argv[]) {
         return 0;
     }
 
+    for (int i = 0; i < argc; ++i) {
+        if (i) std::cout << " ";
+        std::cout << argv[i];
+    }
+    std::cout << std::endl;
+
     boost::property_tree::ptree prm;
     if (vm.count("prm-file")) {
         read_json(vm["prm-file"].as<string>(), prm);