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