(1,22) (2,23) (3,24) (4,16) (5,9) (6,17) (7,21) (8,25) (10,19) (12,18) (13,20) (14,30) (15,26) (28,29) 
nodes: 4582  conflicts: 19  modelTime: 951  solveTime: 25716  totalTime: 26677  modelSize: 72275  readTime: 10 size: 14