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