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