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