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