We aim to compare different designs of a carsharing system with only one-way trips, only round trips and a system with mixed trips. We have the demand based on a multi-agent simulation model MATSim for Stockholm city. We test the designs using mathematical optimization. The size of the input files requires more than the local servers we have for solving with CPLEX. Hence, we would like to use CPLEX based on ampl on the tetralith server.