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