(1,11) (3,13) (4,16) (6,19) (7,14) (8,17) (10,15) 
nodes: 478  conflicts: 31  modelTime: 682  solveTime: 1014  totalTime: 1701  modelSize: 20646  readTime: 5 size: 7