(1,15) (2,13) (3,14) (4,11) (5,18) (6,16) (7,17) (8,20) (9,12) 
nodes: 517  conflicts: 19  modelTime: 717  solveTime: 931  totalTime: 1653  modelSize: 20658  readTime: 5 size: 9