(1,16) (2,15) (4,12) (5,17) (6,13) (7,18) (8,20) (9,11) (10,19) 
nodes: 385  conflicts: 10  modelTime: 720  solveTime: 726  totalTime: 1451  modelSize: 20658  readTime: 5 size: 9