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