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