(2,19) (3,13) (4,18) (5,17) (6,20) (7,12) 
nodes: 112  conflicts: 38  modelTime: 688  solveTime: 318  totalTime: 1012  modelSize: 20646  readTime: 6 size: 6