(1,15) (2,12) (5,17) (7,11) (8,19) (10,18) 
nodes: 294  conflicts: 34  modelTime: 768  solveTime: 525  totalTime: 1299  modelSize: 20646  readTime: 6 size: 6