(1,29) (2,21) (3,17) (4,22) (5,25) (6,24) (7,16) (8,23) (9,19) (10,18) (11,27) (12,28) (13,20) (15,26) 
nodes: 15598  conflicts: 15  modelTime: 1185  solveTime: 48337  totalTime: 49531  modelSize: 41292  readTime: 9 size: 14