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