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