(1,24) (2,29) (3,22) (4,26) (5,19) (6,27) (9,23) (10,21) (11,18) (12,17) (13,20) (14,25) (15,16) 
nodes: 15763  conflicts: 50  modelTime: 657  solveTime: 24891  totalTime: 25554  modelSize: 41298  readTime: 6 size: 13