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