(1,15) (2,18) (4,13) (5,11) (6,19) (7,17) (8,12) (9,16) (10,20) 
nodes: 552  conflicts: 17  modelTime: 585  solveTime: 777  totalTime: 1367  modelSize: 20658  readTime: 5 size: 9