(2,13) (3,19) (4,12) (6,17) (7,14) (9,20) (10,15) 
nodes: 184  conflicts: 33  modelTime: 689  solveTime: 472  totalTime: 1167  modelSize: 20646  readTime: 6 size: 7