(2,17) (3,14) (4,15) (5,13) (6,12) (7,11) (8,19) 
nodes: 248  conflicts: 32  modelTime: 642  solveTime: 368  totalTime: 1016  modelSize: 20646  readTime: 6 size: 7