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