(1,28) (2,24) (3,12) (4,14) (5,16) (6,22) (8,10) (9,25) (11,18) (13,20) (15,19) (17,26) (21,23) (27,29) 
nodes: 3387  conflicts: 67  modelTime: 1697  solveTime: 15122  totalTime: 16840  modelSize: 72263  readTime: 21 size: 14