(2,17) (3,19) (5,14) (6,12) (8,18) (10,16) 
nodes: 263  conflicts: 23  modelTime: 677  solveTime: 457  totalTime: 1139  modelSize: 20658  readTime: 5 size: 6