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