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