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