(4,25) (5,21) (6,20) (7,29) (9,17) (10,19) (11,27) (12,16) (14,18) 
nodes: 746  conflicts: 107  modelTime: 671  solveTime: 720  totalTime: 1398  modelSize: 41301  readTime: 7 size: 9