(1,15) (2,16) (3,20) (4,19) (5,11) (6,13) (7,17) (9,18) (10,14) 
nodes: 207  conflicts: 20  modelTime: 713  solveTime: 730  totalTime: 1448  modelSize: 20658  readTime: 5 size: 9