(1,28) (2,22) (3,15) (4,21) (5,11) (6,29) (7,8) (9,16) (10,26) (13,23) (14,24) (17,25) (18,20) (19,30) 
nodes: 5274  conflicts: 79  modelTime: 1615  solveTime: 18558  totalTime: 20191  modelSize: 72263  readTime: 18 size: 14