(1,13) (2,18) (4,20) (7,15) (8,16) 
nodes: 216  conflicts: 33  modelTime: 670  solveTime: 316  totalTime: 991  modelSize: 20646  readTime: 5 size: 5