CpSolverResponse summary:
status: UNKNOWN
objective: 0
best_bound: 0
integers: 7868
booleans: 7868
conflicts: 61
branches: 177739
propagations: 2875717
integer_propagations: 3044268
restarts: 1
lp_iterations: 24585
walltime: 60.0089
usertime: 60.0089
deterministic_time: 230.452
gap_integral: 0
