(1,18) (2,22) (3,21) (4,23) (5,26) (6,20) (7,16) (8,28) (9,17) (10,24) (11,29) (12,27) (14,19) (15,25) 
nodes: 9637  conflicts: 25  modelTime: 986  solveTime: 30923  totalTime: 31918  modelSize: 41293  readTime: 9 size: 14