(1,25) (4,26) (5,29) (6,22) (7,21) (8,16) (9,23) (11,20) (12,18) (13,27) (14,28) (15,24) 
nodes: 1608  conflicts: 46  modelTime: 803  solveTime: 1119  totalTime: 1929  modelSize: 41293  readTime: 7 size: 12