(1,28) (2,19) (3,29) (4,18) (5,23) (6,16) (7,22) (8,25) (9,24) (10,20) (12,26) (13,27) (14,21) (15,17) 
nodes: 15794  conflicts: 14  modelTime: 657  solveTime: 49315  totalTime: 49978  modelSize: 41299  readTime: 5 size: 14