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