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