Use only 2 cores for 2 or 3 servers

App/teems.cpp

@@ -290,11 +290,9 @@ int main(int argc, char **argv)
     // Start threads to handle the async io handlers
     boost::thread t0([&]{io_context.run();});
     boost::thread t1([&]{io_context.run();});
-    boost::thread t2([&]{io_context.run();});
     io_context.run();
     t0.join();
     t1.join();
-    t2.join();
 
     // All done
     ecall_close();

gen_manifest.py

@@ -61,8 +61,8 @@ def generate_manifest(N, M, T, B, PRIVATE_ROUTE = True, priv_out=1, priv_in=1, p
 
     # For small numbers of servers, use extra cores to handle
     # communication (but not computation)
-    if M < 4 and T < 4:
-        T = 4
+    if M < 4 and T < 2:
+        T = 2
 
     for s in range(1, M+1):
         numa_end = numa_start + T -1