(2,26) (3,25) (4,17) (5,28) (6,22) (7,27) (9,19) (10,16) (12,29) (13,21) (14,23) (15,18) 
nodes: 2672  conflicts: 44  modelTime: 800  solveTime: 3407  totalTime: 4215  modelSize: 41293  readTime: 7 size: 12