(1,12) (2,17) (3,20) (4,11) (5,13) (6,16) (7,18) (8,15) (9,14) (10,19) 
nodes: 357  conflicts: 2  modelTime: 660  solveTime: 520  totalTime: 1184  modelSize: 20646  readTime: 4 size: 10