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