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