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