(1,22) (2,24) (3,21) (4,16) (5,28) (7,30) (8,20) (9,29) (10,27) (11,18) (12,19) (13,25) (14,17) (15,23) 
nodes: 10568  conflicts: 15  modelTime: 657  solveTime: 26655  totalTime: 27317  modelSize: 41293  readTime: 5 size: 14