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