(1,18) (3,11) (4,12) (5,15) (6,17) (7,20) (8,14) (9,13) 
nodes: 265  conflicts: 19  modelTime: 762  solveTime: 546  totalTime: 1313  modelSize: 20658  readTime: 5 size: 8