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