(1,25) (2,17) (3,27) (4,21) (5,22) (6,29) (7,28) (10,30) (11,18) (12,24) (13,20) (15,16) 
nodes: 1694  conflicts: 43  modelTime: 660  solveTime: 1612  totalTime: 2278  modelSize: 41293  readTime: 6 size: 12