(1,20) (2,18) (3,22) (4,27) (5,25) (6,19) (7,17) (8,21) (9,28) (10,16) (11,24) (13,30) (14,29) (15,26) 
nodes: 923  conflicts: 51  modelTime: 656  solveTime: 1177  totalTime: 1840  modelSize: 41293  readTime: 7 size: 14