(4,30) (5,16) (7,21) (9,19) (10,25) (11,27) (12,20) (14,22) (15,24) 
nodes: 998  conflicts: 92  modelTime: 673  solveTime: 1712  totalTime: 2392  modelSize: 41293  readTime: 7 size: 9