(3,22) (5,17) (6,21) (7,19) (8,30) (9,26) (10,28) (11,25) (13,27) (14,18) (15,29) 
nodes: 911  conflicts: 73  modelTime: 672  solveTime: 1248  totalTime: 1927  modelSize: 41300  readTime: 7 size: 11