(1,13) (2,18) (3,11) (4,15) (5,17) (7,14) (8,20) (9,16) (10,12) 
nodes: 615  conflicts: 25  modelTime: 482  solveTime: 733  totalTime: 1220  modelSize: 20658  readTime: 5 size: 9