(1,18) (3,28) (4,23) (5,29) (6,22) (7,27) (9,16) (10,20) (11,19) (12,25) (13,26) (14,17) (15,21) 
nodes: 2625  conflicts: 54  modelTime: 660  solveTime: 3196  totalTime: 3862  modelSize: 41293  readTime: 6 size: 13