(1,12) (2,19) (3,11) (4,15) (5,18) (6,13) (7,14) (8,17) 
nodes: 133  conflicts: 27  modelTime: 682  solveTime: 289  totalTime: 977  modelSize: 20646  readTime: 6 size: 8