(1,11) (2,17) (3,18) (4,20) (5,16) (7,14) (8,13) (9,19) (10,15) 
nodes: 520  conflicts: 19  modelTime: 670  solveTime: 608  totalTime: 1283  modelSize: 20658  readTime: 5 size: 9