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