(1,29) (2,22) (3,24) (4,13) (5,17) (6,23) (8,12) (9,27) (10,21) (11,25) (14,28) (15,18) (16,20) (19,30) 
nodes: 20096  conflicts: 27  modelTime: 1705  solveTime: 110603  totalTime: 112328  modelSize: 72263  readTime: 19 size: 14