(3,12) (5,11) (6,14) (7,16) (8,15) (9,20) 
nodes: 129  conflicts: 31  modelTime: 771  solveTime: 335  totalTime: 1111  modelSize: 20646  readTime: 5 size: 6