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