(1,16) (2,18) (3,17) (4,15) (5,14) (6,11) (8,19) (9,12) (10,20) 
nodes: 586  conflicts: 17  modelTime: 716  solveTime: 1246  totalTime: 1966  modelSize: 20658  readTime: 4 size: 9