(1,27) (2,29) (3,21) (5,20) (6,16) (7,26) (8,22) (9,19) (10,18) (11,24) (12,30) (13,25) (14,17) 
nodes: 2316  conflicts: 42  modelTime: 659  solveTime: 3307  totalTime: 3973  modelSize: 41293  readTime: 7 size: 13