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