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