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