(1,25) (2,18) (3,21) (4,20) (5,26) (6,27) (7,29) (8,19) (10,22) (11,28) (12,17) (13,24) (14,23) (15,16) 
nodes: 10205  conflicts: 37  modelTime: 657  solveTime: 14307  totalTime: 14970  modelSize: 41298  readTime: 6 size: 14