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