(3,11) (4,12) (6,19) (7,13) (8,14) (9,18) (10,20) 
nodes: 270  conflicts: 33  modelTime: 689  solveTime: 388  totalTime: 1082  modelSize: 20646  readTime: 5 size: 7