(2,19) (3,20) (5,17) (6,14) (7,16) (8,12) (10,18) 
nodes: 236  conflicts: 46  modelTime: 775  solveTime: 364  totalTime: 1145  modelSize: 20646  readTime: 6 size: 7