(1,17) (2,15) (3,19) (7,11) (8,20) (9,16) 
nodes: 194  conflicts: 33  modelTime: 686  solveTime: 387  totalTime: 1078  modelSize: 20646  readTime: 5 size: 6