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