backjumps: 4763
baseMem: 0.0
boolVariables: 8524
configuration: Chuffed
data_file: data/prize/25-5-5-7.dzn
eliminatedImplications: 24
evaluatedHalfReifiedConstraints: 96
evaluatedReifiedConstraints: 397
failures: 49207
flatBoolConstraints: 118
flatBoolVars: 467
flatIntConstraints: 569
flatIntVars: 149
flatTime: 0.052821
initTime: 0.014
intVars: 175
method: maximize
model: data/prize/prize_orig.mzn
nSolutions: 144
nodes: 56134
nogoods: 49207
objective: 44
optTime: 4.464
paths: 0
peakDepth: 25
peakMem: 0.0
problem: prize
propagations: 35222971
propagators: 1053
randomSeed: 1615429461
restarts: 144
solveTime: 5.69
status: OPTIMAL_SOLUTION
time: 5.866628214716911
trailMem: 0.42
variables: 8701