(2,25) (3,19) (4,29) (5,20) (7,28) (8,27) (9,21) (10,22) (11,24) (12,23) (14,16) (15,17) 
nodes: 1320  conflicts: 59  modelTime: 660  solveTime: 1759  totalTime: 2425  modelSize: 41293  readTime: 6 size: 12