(1,11) (3,19) (4,13) (5,14) (9,17) (10,16) 
nodes: 117  conflicts: 40  modelTime: 715  solveTime: 462  totalTime: 1183  modelSize: 20646  readTime: 5 size: 6