(1,16) (2,14) (3,17) (5,11) (6,18) (7,20) (8,12) (9,19) 
nodes: 123  conflicts: 21  modelTime: 765  solveTime: 340  totalTime: 1110  modelSize: 20646  readTime: 5 size: 8