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