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