CpSolverResponse summary:
status: OPTIMAL
objective: 0
best_bound: 0
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 0.0573941
usertime: 0.0573942
deterministic_time: 0
gap_integral: 0
solution_fingerprint: 0x3b4d7fc7fca03d75
