(1,13) (2,11) (3,16) (4,14) (5,18) (6,20) (7,17) (8,19) (10,12) 
nodes: 234  conflicts: 2  modelTime: 763  solveTime: 471  totalTime: 1238  modelSize: 20646  readTime: 4 size: 9