(3,16) (4,25) (5,22) (6,30) (8,28) (9,23) (10,27) (11,21) (15,18) 
nodes: 1211  conflicts: 83  modelTime: 665  solveTime: 1865  totalTime: 2537  modelSize: 41300  readTime: 7 size: 9