(2,19) (3,17) (5,15) (6,18) (7,14) (8,20) (9,13) (10,16) 
nodes: 214  conflicts: 18  modelTime: 754  solveTime: 468  totalTime: 1227  modelSize: 20658  readTime: 5 size: 8