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