CpSolverResponse summary:
status: UNKNOWN
objective: 0
best_bound: 0
integers: 7620
booleans: 8049
conflicts: 468090
branches: 5295321
propagations: 185997686
integer_propagations: 101412164
restarts: 2027
lp_iterations: 0
walltime: 60.0493
usertime: 60.0493
deterministic_time: 215.512
gap_integral: 0
