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