(1,17) (3,21) (5,30) (6,14) (8,20) (10,22) (13,27) (15,16) (25,29) 
nodes: 198  conflicts: 134  modelTime: 934  solveTime: 1753  totalTime: 2699  modelSize: 72262  readTime: 12 size: 9