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