(3,12) (4,14) (5,15) (6,20) (7,11) (9,13) (10,16) 
nodes: 248  conflicts: 23  modelTime: 706  solveTime: 601  totalTime: 1312  modelSize: 20646  readTime: 5 size: 7