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