(1,19) (2,20) (3,11) (4,14) (5,18) (6,12) (7,17) (8,15) (9,13) 
nodes: 476  conflicts: 5  modelTime: 584  solveTime: 630  totalTime: 1219  modelSize: 20658  readTime: 5 size: 9