(2,24) (3,27) (4,28) (5,21) (6,22) (8,26) (9,18) (10,17) (11,25) (13,29) (14,19) (15,23) 
nodes: 4158  conflicts: 42  modelTime: 658  solveTime: 6857  totalTime: 7522  modelSize: 41292  readTime: 7 size: 12