(1,18) (2,19) (3,17) (5,16) (6,14) (7,13) (8,20) (10,12) 
nodes: 350  conflicts: 28  modelTime: 813  solveTime: 554  totalTime: 1373  modelSize: 20646  readTime: 6 size: 8