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