(1,11) (2,15) (4,13) (5,17) (6,16) (7,19) (8,18) 
nodes: 229  conflicts: 32  modelTime: 689  solveTime: 295  totalTime: 989  modelSize: 20646  readTime: 5 size: 7