(1,17) (2,13) (4,18) (5,14) (6,12) (7,20) (8,15) (9,19) 
nodes: 316  conflicts: 18  modelTime: 718  solveTime: 672  totalTime: 1395  modelSize: 20658  readTime: 4 size: 8