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