(1,17) (2,14) (5,20) (8,12) (9,15) (10,19) 
nodes: 258  conflicts: 40  modelTime: 668  solveTime: 359  totalTime: 1032  modelSize: 20646  readTime: 5 size: 6