(3,14) (4,18) (5,19) (7,15) (8,20) (9,13) (10,16) 
nodes: 199  conflicts: 38  modelTime: 684  solveTime: 404  totalTime: 1094  modelSize: 20646  readTime: 6 size: 7