(1,17) (2,16) (3,13) (4,14) (5,11) (6,19) (7,15) (8,18) (9,20) (10,12) 
nodes: 308  conflicts: 8  modelTime: 664  solveTime: 457  totalTime: 1126  modelSize: 20658  readTime: 5 size: 10