(3,16) (4,30) (7,23) (9,24) (11,21) (12,25) (13,17) (14,19) (15,20) 
nodes: 573  conflicts: 84  modelTime: 668  solveTime: 667  totalTime: 1342  modelSize: 41300  readTime: 7 size: 9