(1,13) (2,17) (4,11) (5,18) (6,15) (7,20) (8,19) (10,16) 
nodes: 481  conflicts: 18  modelTime: 768  solveTime: 616  totalTime: 1388  modelSize: 20658  readTime: 4 size: 8