(2,17) (3,18) (5,15) (6,16) (8,11) (10,19) 
nodes: 221  conflicts: 39  modelTime: 767  solveTime: 329  totalTime: 1102  modelSize: 20646  readTime: 6 size: 6