(1,20) (2,18) (3,12) (5,14) (6,17) (7,11) (8,15) (9,13) (10,16) 
nodes: 402  conflicts: 9  modelTime: 703  solveTime: 665  totalTime: 1374  modelSize: 20658  readTime: 5 size: 9