cloud-sat/aws-batch-comp-infrastructure-sample/docker/runner/input.json

{
 "formula_file": "/rundir/hard1.cnf",
 "worker_node_ips": ["leader", "worker"],
 "timeout_seconds": "1000",
 "formula_language": "",
 "solver_argument_list": [""]
}