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