(1,16) (2,23) (3,21) (4,19) (5,27) (6,25) (7,24) (8,26) (9,17) (10,22) (12,28) (13,18) (14,29) (15,20) 
nodes: 4116  conflicts: 35  modelTime: 659  solveTime: 6869  totalTime: 7534  modelSize: 41298  readTime: 6 size: 14