(1,30) (2,20) (3,10) (4,27) (5,21) (6,22) (7,11) (8,14) (9,23) (12,16) (15,25) (17,24) (19,26) (28,29) 
nodes: 11622  conflicts: 53  modelTime: 1713  solveTime: 53598  totalTime: 55330  modelSize: 72266  readTime: 19 size: 14