(1,12) (2,15) (4,13) (5,20) (6,16) (7,17) (8,18) (9,14) 
nodes: 758  conflicts: 18  modelTime: 674  solveTime: 1024  totalTime: 1703  modelSize: 20658  readTime: 5 size: 8