(1,13) (2,14) (3,17) (4,18) (5,20) (7,12) (8,11) (9,19) (10,15) 
nodes: 894  conflicts: 10  modelTime: 674  solveTime: 868  totalTime: 1547  modelSize: 20646  readTime: 5 size: 9