(1,19) (2,25) (3,22) (4,16) (5,14) (6,28) (7,17) (8,20) (9,24) (10,21) (11,27) (12,15) (18,30) (26,29) 
nodes: 8509  conflicts: 47  modelTime: 1798  solveTime: 46603  totalTime: 48421  modelSize: 72263  readTime: 20 size: 14