(1,17) (2,18) (3,19) (4,13) (6,11) (7,14) (8,20) (9,12) (10,15) 
nodes: 210  conflicts: 13  modelTime: 665  solveTime: 413  totalTime: 1084  modelSize: 20646  readTime: 5 size: 9