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