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