(2,17) (3,13) (4,14) (6,19) (7,16) (8,20) (9,12) (10,18) 
nodes: 341  conflicts: 25  modelTime: 766  solveTime: 596  totalTime: 1367  modelSize: 20658  readTime: 5 size: 8