From a38e7218f3f2916e473d0e8cea0a2e66dab08fdb Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Tue, 6 Dec 2016 17:09:05 +0100
Subject: [PATCH] Add number of processes to sample configuration

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 22ad91c..4c4d7e1 100644
--- a/README.md
+++ b/README.md
@@ -27,6 +27,7 @@ declared in this file.
 
 ```toml
 parameters = ["time", "time_ms", "solvetime", "solvetime_ms", "status"]
+processes = 2
 
 [solvers.flatzinc]
 	binary = "flatzinc"