(1,20) (2,14) (3,18) (4,12) (5,13) (6,11) (7,17) (8,15) (10,16) 
nodes: 677  conflicts: 8  modelTime: 685  solveTime: 1082  totalTime: 1772  modelSize: 20658  readTime: 5 size: 9