(1,16) (2,17) (3,13) (4,15) (5,19) (6,12) (7,11) (9,20) (10,18) 
nodes: 896  conflicts: 15  modelTime: 768  solveTime: 1018  totalTime: 1790  modelSize: 20658  readTime: 4 size: 9