(1,24) (2,30) (3,20) (4,16) (5,19) (6,22) (7,18) (8,21) (9,27) (10,25) (12,28) (13,26) (14,29) (15,23) 
nodes: 1105  conflicts: 28  modelTime: 657  solveTime: 1037  totalTime: 1701  modelSize: 41293  readTime: 7 size: 14